《人工智能 一种现代方法》第三版 第7章 逻辑 Agent 笔记摘录

本文主要是介绍《人工智能 一种现代方法》第三版 第7章 逻辑 Agent 笔记摘录，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

                            第7章 逻辑 Agent

 

• 基于只是的Agent
  1. 基于知识的Agent的核心部件事知识库（KB）

• Wumpus世界：P200 很好理解，不做笔记
• 逻辑
  1. 知识库由语句构成：根据表示预言的语法来表达这些语句，语法是为所有合法语句给出规范。
  2. 语言的语义：定义每个语句再每个可能世界的真值。
  3. 用术语模型取代“可能世界”：“m是a的一个模型”表示语句a在模型m中为真。
  4. 逻辑蕴含关系：某语句逻辑上跟随另一个语句，用数学符号表示为：

1. 1. 推理

• 命题逻辑：一种简单逻辑
  1. 语法

1. 1. 优先级 ：
   2. 语义：
      1. 原子语句

1. 1. 1. 复合语句

1. 1. 1. 真值表

• 命题逻辑定理证明
  1. 逻辑等价

1. 1. 有效性、满足性
      1. 有效性：一个语句有效，如果在所有模型中它都为真。
      2. 如果一个语句在某些模型中为真，那么这个句子是可满足的。

 

1. 1. 推导和证明
      1. 假言推理规则

1. 1. 1. 消去合取词：即可以从合取式推导初任何合取子句：

1. 1. 归纳证明
      1. 归并
      2. 合并范式：以子句的合取式表达的语句成为合取范式或者CNF

1. 1. 1. 归结算法
         1. 归结的完备性

1. 1. 1. Horn子句和限定子句

1. 1. 1. 1. 只包含限定子句的知识库很有意义，理由如下
            1. 每个限定子句都可以写成蕴含式，他的前提为正文字的合取式，结论为单个正文字。
            2. 使用Horn子句的推理可以使用前向连接和后向连接算法。
            3. 用Horn子句判定蕴含需要的事件和数据库大小呈线性关系。、
         2. 前向链接

1. 1. 1. 1. 反向链接

• 有效的命题逻辑模型检验（跳过，二次再看）
  1. 本节讨论基于模型检验的命题推理的两类有效算法：
     1. 基于回溯搜索的
     2. 基于爬山法的
• 基于命题逻辑的Agent
  1. 世界的当前状态
     1. 时序性变量、非时序性变量
  2. 逻辑状态评估
• 本章小结

这篇关于《人工智能 一种现代方法》第三版 第7章 逻辑 Agent 笔记摘录的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---