人工智能——一种现代方法

2.5 小结 参考文献与历史的注释 习题 第二部分 问题求解 第3章 用搜索法对问题求解 3.1 问题求解智能体 3.1.1 定义明确的问题及解 3.1.2 把问题形式化 3.2 问题实例 3.2.1 玩具问题 3.2.2 现实世界问题 3.3 对解的搜索 3.4 无信息的搜索策略 3.4.1 广度优先搜索 3.4.2 代价一致搜索 3.4.3 深度优先搜索 3.4.4 深度有限搜索 3.4.5 迭代深入深度优先搜索 3.4.6 双向搜索 3.4.7 无信息搜索策略的比较 3.5 避免重复状态 3.6 使用不完全信息的搜索 3.6.1 无传感问题 3.6.2 偶发性问题 3.7 小结 参考文献与历史的注释 习题 第4章 有信息的搜索和探索 7.3 逻辑 7.4 命题逻辑：一种非常简单的逻辑 7.4.1 语法 7.4.2 语义 7.4.3 一个简单的知识库 7.4.4 推理 7.4.5 等价、合法性和可满足性 7.5 命题逻辑的推理模式 7.5.1 归结 7.5.2 合取范式 7.5.3 归结算法 7.5.4 归结的完备性 7.5.5 前向和反向链接 7.6 有效的命题推理 7.6.1 一个完备的回溯搜索 7.6.2 局部搜索算法 7.6.3 困难的满足性问题 7.7 基于命题逻辑的智能体 7.7.1 用逻辑推理寻找陷阱和wumpus 7.7.2 记录位置和方向 7.7.3 基于电路的智能体 7.7.4 比较 7.8 小结 参考文献与历史的注释 习题 第8章 一阶逻辑 8.1 表示方法的回顾 8.2 一阶逻辑的语法和语义 10.3.3 解决表示框架问题 10.3.4 解决推理框架问题 10.3.5 时间和事件演算 10.3.6 一般化事件 10.3.7 过程 10.3.8 区间 10.3.9 流和对象 10.4 精神事件和精神对象 10.4.1 关于信度的形式理论 10.4.2 知识和信度 10.4.3 知识、时间和行动 10.5 因特网购物世界 10.6 类别的推理系统 10.6.1 语义网络 10.6.2 描述逻辑 10.7 缺省信息推理 10.7.1 开放世界和封闭世界 10.7.2 失败否定式和稳定模型语义 10.7.3 界限和缺省逻辑 10.8 真值维护系统 10.9 小结 参考文献与历史的注释 习题 第四部分 规划 第11章 规划 11.1 规划问题 11.1.1 规划问题语言 11.1.2 表达能力和延伸 ......