基于知识的Agent
基于知识的Agent的核心部件是知识库(KB)，知识库是一个语句集合，这些语句用知识表示语言表达，表示了关于世界的某些断言
当某些语句是直接给定的而不是推理的叫做公理，由公理推导出来的叫做定理。
知识库的两个基本操作： Tell(将新语句添加到知识库) 和 Ask(查询目前所知的内容)
逻辑
模型检验： 通过枚举所有可能为真的模型来检验KB为真的情况下α都为真
命题逻辑
语法
命题逻辑的语法定义合法语句，原子语句由单个命题词组成，每个命题词代表一个或为真或为假的命题，一般用大写字母表示命题词，如：P,Q,R
有两个命题词有固定的含义： TRUE是永真命题， FALSE是永假命题
复合句由简单语句用括号和逻辑连接词构成
语义
模型
蕴含
逻辑等价
证明方法
- 模型检验
- 逻辑等价
- 推理规则
一条语句是不可满足的即这条语句等价于false : (如果证明这条语句是不可满足的就是证明这条语句是false)
一条语句是可满足的即这条语句等价于true
模型检验
模型检验说白了就是穷举法，列各个变量的真值表，看这条语句的true 和 false
逻辑等价
推理规则
利用旧的语句推出新的语句
形式化为一个搜索问题
子句与CNF
子句： 就是所有变量之间全为析取关系
CNF: 主合取范式
归结原则
实例
HORN子句与限定字句
