经典人工智能技术—推理与搜索(PPT 77页)

主要内容
引言——经典人工智能
5.1自动推理证明
5.1.1 机器真的能够自动推理吗？
自动推理示例：5个房间问题
自动推理示例
5.1.2 自动推理证明的发展史
自动证明的发展
自动证明的发展—王浩
属于中国的自动证明方法—吴方法
如何实现自动推理证明？
推理示例—马普尔小姐探案
谁是马克谁是约尔？
马普尔小姐的推理过程
推理的一般形式
符号与形式语言
5.1.3  谓词逻辑
推理是如何进行的？
5.1.4 消解原理（归结原理）
什么叫消解
含变量的消解
置换与合一
化子句集
消解式的定义
怎么利用消解原理进行证明？
消解反演示例—“激动人心的生活”问题
消解原理的局限性
5.2  问题求解与图搜索策略
5.2.1  问题求解—什么是问题求解
问题示例
5.2.2  问题表示——状态空间图
状态转换
状态及其表示
状态的转换
传教士野人问题状态空间图
5.2.3  解的搜索
图的搜索过程
图的一般搜索策略
盲目搜索
是什么影响了搜索的效率？
启发式搜索
估价函数
A算法
A*算法
利用A*算法求解八数码问题
估价函数对算法的影响
估价函数对算法的影响示例
例：路径规划

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