人工智能演绎推理

去蕴含();Р2.把非移到仅靠谓词的位置;Р3.重新命名变元名;Р4.消去存在;Р5.将全称量词向左靠;Р6.转化成子句集(是合取的形式);Р7.去全称量词;Р8.对变元更名,是不同子句中的变元名不同;Р9.消去合取词;Р最终得到的子句集如下:Р(1)boss(wang , zhang).Р (2)workmate(liu,wang).Р(3).Р(4)Р应用归结原理进行归结Р------(1)(3)归结Р Р Р 最终归结为:. Р------(4)(5)归结Р 最终归结为:Р(7)-------(2)(6)归结Р 最终归结为:Р由ANSWER(zhang)可得出:小刘的上司是张先生。Р代码: Р /* 2_11.pro */ Р traceР DOMAINSР name=symbolР PREDICATESР boss(name,name).Р workmate(name,name)Р GOALР boss(liu,Y), write("Y=",Y).Р CLAUSESР boss(wang,zhang).Р workmate(liu,wang).Р boss(liu,Y):-workmate(liu,X),boss(X,Y).Р编译运行之后结果如下所示:Р Р三、总结与收获 Р     通过本次实验,我对人工智能也有了一定的认识,从一开始觉得这课时那么的神奇,到现在我的神秘感也慢慢的消失了。我觉得人工智能这么学科是一个富有挑战力的学科,里面我们要学习的东西太多太多,也只有弄懂这些基础的东西,才能在以后这课的学习中跟的上进度。起始所谓的人工智能也就是让机器人拥有像我们人一样的推理能力,但是要想让机器人跟我们人一样要有思维能力,那可是相当的难。估计这方面也是人工智能的一个发展方向。因为那样的人工智能才是真正的人工智能。在这门课上学到的东西也会给我以后的工作和学习有很大的。