28、逻辑智能体与一阶逻辑：从基础到应用

逻辑智能体与一阶逻辑：从基础到应用

1. 逻辑智能体基础

智能体在做出良好决策时需要关于世界的知识。这些知识以知识表示语言中的句子形式存储在知识库中。基于知识的智能体由知识库和推理机制组成，其工作方式是将关于世界的句子存储在知识库中，利用推理机制推断新句子，并根据这些句子决定采取何种行动。

表示语言由语法和语义定义。语法规定句子的结构，语义定义每个句子在每个可能世界或模型中的真值。句子之间的蕴含关系对理解推理至关重要。若在所有α为真的世界中β也为真，则称句子α蕴含另一个句子β。等价定义包括句子α ⇒β的有效性以及句子α∧¬β的不可满足性。

推理是从旧句子推导出新句子的过程。可靠的推理算法仅推导出被蕴含的句子，完备的算法能推导出所有被蕴含的句子。命题逻辑是一种简单的语言，由命题符号和逻辑连接词组成，可处理已知为真、已知为假或完全未知的命题。

以下是命题逻辑相关要点总结：
- 智能体需世界知识做决策。
- 知识以句子形式存于知识库。
- 基于知识的智能体含知识库和推理机制。
- 表示语言由语法和语义定义。
- 蕴含关系是推理核心。
- 推理分可靠和完备算法。
- 命题逻辑处理命题真假。

2. 命题逻辑推理算法

给定固定的命题词汇表，可能的模型集是有限的，因此可以通过枚举模型来检查蕴含关系。命题逻辑的高效模型检查推理算法包括回溯和局部搜索方法，通常能快速解决大型问题。

推理规则是可靠推理的模式，可用于寻找证明。归结规则为以合取范式表示的知识库提供了完备的推理算法。前向链接和后向链接是针对霍恩形式知识库的自然推理算法。