人工智能-谓词逻辑(PPT 43页)

主要内容
谓词逻辑基础
谓词逻辑归结原理
例：将下式化为Skolem标准形：
谓词逻辑归结原理
置换的合成
归结原理
例题“快乐学生”问题
归结过程的控制策略

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

上一篇：人工智能搜索问题(PPT 102页)

下一篇：人工智能习题课(PPT 44页)

人工智能及专家系统之人工智能概述(PPT 85页)

Python程序实例解析(PDF 48页)

人工智能与深度学习教材(PPT 55页)

中国人工智能应用市场研究报告(PDF 42页)

人工智能寻路算法及其在游戏中的应用研究(PDF 67页)

人工智能之模糊逻辑系统(PPT 85页)