人工智能谓词演算(PPT 32页)

主要内容
第2讲  基于谓词逻辑的机器推理
第一节   一阶谓词逻辑
第二节   归结演绎推理
第三节   归结原理的应用
归结举例
第四节   Horn子句与Prolog程序设计

..............................

上一篇：人工智能课件之知识表示方法(PPT 228页)

下一篇：人工智能技术在轧制中的应用(DOC 20页)

Python学习总结(DOC 34页)

算法的评估与比较(PPT 54页)

机器学习经典算法培训教材(PPT 45页)

机器人的智能化技术(ppt 44页)

人工智能讲座(PPT 29页)

科学计算与数据处理(PPT 73页)