命题逻辑

基于知识库的Agent(KBA)

其中Tell用于将语句添加到知识库中，Ask用于判断这条语句是否成立

逻辑/命题逻辑的语法、语义

模型，有效性，可满足性

模型可以理解成一个定义出来的“世界”，在这个世界里有许多定义好的规则，若某条语句能够适应这个世界的规则(为真），那么这个世界可以称为这个语句的模型。

若一个知识库的所有语句都能够适应某个世界的规则，那么我们称这个世界为这个知识库的模型

蕴涵与逻辑等价

注意无法证明并不意味着

可能M(KB)与M(α)相交，此时就不能推出后者

小结

• 模型
• 有效性
• 可满足性
• 蕴涵
• 逻辑等价
• 蕴涵的等价形式
• 逻辑推理
• 推理算法的可靠性
• 推理算法的完备性