人工智能导论实训 第七章 逻辑Agent

任务描述

本关任务：学习了解逻辑 Agent 相关知识并完成习题。

相关知识

为了完成本关任务，你需要掌握：1. 基于知识的Agent；2. 逻辑；3. 命题逻辑以及定理证明；4. 模型检验。

基于知识的Agent

基于知识 Agent 的核心部件是 知识库（KB）。知识库是一个语句集合，这些语句用知识表示语言表达，还表示了关于世界的某些断言。

知识库的添加：Tell

知识库的查询：Ask

Agent要能够：

表示状态，行动等等
引入新的感知信息
更新世界的表示
推导世界的潜在属性
推导正确的行为
逻辑
逻辑是一种用来表示信息的正式语言，该语言能够推导出一定的结论。

语法是用来定义语言中句子的规范准则，语义用来定义句子的含义，也定义了每个句子在可能世界中的真值。

命题逻辑以及定理证明

命题逻辑是一种 最简单的逻辑。命题逻辑的语法定义合法语句。

原子语句：由单个命题词组成，每个命题词代表一个为真或者假的命题。

e.g. Q，R，W1，3和north

永真命题True

永假命题False

证明分为两类：

推理规则：从旧的语句中产生新的语句。证明等于一系列推理规则的应用，通常需要将语句转成范式。

模型检查：真值表枚举，在模型空间中进行启发式的搜索。

模型检验

两个著名的命题逻辑推理算法：

DPLL 算法（Davis，Putnam，Logemann，Loveland）

不完整的局部搜索算法：WalkSAT algorithm

开始你的任务吧，祝你成功！