5.3应用归结原理求取问题答案(1) 例5.23 已知： （1）如果x和y是同班同学，则x的老师也是y的老师。 （2）王先生是小李的老师。 （3）小李和小张是同班同学。 问：小张的老师是谁？ 解 首先定义如下谓词： T(x,y)表示x是y的老师 C(x,y)表示x与y是同班同学。 已知条件可以表示成如下谓词公式： F1： x yz(C(x,y)  T(z,x) T(z,y)) F2: T(Wang,Li) F3: C(Li,Zhang)

加深对归结原理进行定理证明过程的理解，掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节，进一步了解实 现机器自动定理证明的步骤。 采用C++

人工智能知识表示方法谓词逻辑

谓词逻辑与归结原理.ppt

人工智能课件：第三章 谓词逻辑与搜索原理.pdf

改正了上一版的逻辑错误 输入样例： On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y))

结合课本习题3.23解答，通过编制一个程序执行，归结得到结果！

On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y)) input1内容

人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。

人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。 我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。 至于代码，想要的可以联系我。 这里给出一个测试用例吧： ;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证：李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)) (\x)(Read(x)→Smart(x)) Read(Li)∧~Poor(Li) (\x)(happy(x)→Exciting(x)) Exciting(Li) ;目标公式直接放最后一行即可，无需加~