命题逻辑
基于知识库的Agent(KBA)![](https://img-blog.csdnimg.cn/direct/74316b58eb7640979ee5d89d393473ab.png)
![](https://img-blog.csdnimg.cn/direct/1797a1cdeffa420a9d0076c9ee1040e3.png)
![](https://img-blog.csdnimg.cn/direct/f93cf3d301914c28b92e7264a6e85569.png)
其中Tell用于将语句添加到知识库中,Ask用于判断这条语句是否成立
逻辑/命题逻辑的语法、语义
模型,有效性,可满足性![](https://img-blog.csdnimg.cn/direct/cba3610b47a64d6a9ea5f1d937648d5a.png)
模型可以理解成一个定义出来的“世界”,在这个世界里有许多定义好的规则,若某条语句能够适应这个世界的规则(为真),那么这个世界可以称为这个语句的模型。
若一个知识库的所有语句都能够适应某个世界的规则,那么我们称这个世界为这个知识库的模型
蕴涵与逻辑等价![](https://img-blog.csdnimg.cn/direct/b75162e4ec4e4fec91e545f007d310e3.png)
![](https://img-blog.csdnimg.cn/direct/9018c370d2604f04930c19f1a0842d33.png)
注意无法证明并不意味着
可能M(KB)与M(α)相交,此时就不能推出后者
小结
- 模型
- 有效性
- 可满足性
- 蕴涵
- 逻辑等价
- 蕴涵的等价形式
- 逻辑推理
- 推理算法的可靠性
- 推理算法的完备性