人工智能消解原理实验报告

一实验目的及原理算法 目的：经过编程实现对子句的消解，进一步理解含有参数的子句如何使用消解规则，掌握子句消解的原理和规则。编程 原理：令L1，L2为两任意原子公式；L1和L2具备相同的谓词符号，但通常具备不一样的变量。已知两子句L1∨α和～L2∨β,若是L1和L2具备最通常合一σ，那么经过消解能够从这两个父辈子句推导出一个新子句(α∨β)σ。数组 二.实验难点数据结构 1.如何寻找最通常的合一者σ

>>阅读原文<<