命题逻辑
基于知识库的Agent(KBA)


其中Tell用于将语句添加到知识库中,Ask用于判断这条语句是否成立
逻辑/命题逻辑的语法、语义
模型,有效性,可满足性
模型可以理解成一个定义出来的“世界”,在这个世界里有许多定义好的规则,若某条语句能够适应这个世界的规则(为真),那么这个世界可以称为这个语句的模型。
若一个知识库的所有语句都能够适应某个世界的规则,那么我们称这个世界为这个知识库的模型
蕴涵与逻辑等价

注意无法证明并不意味着
可能M(KB)与M(α)相交,此时就不能推出后者
小结
- 模型
- 有效性
- 可满足性
- 蕴涵
- 逻辑等价
- 蕴涵的等价形式
- 逻辑推理
- 推理算法的可靠性
- 推理算法的完备性