人工智能第七章——命题逻辑（待补充）

摘要 本文旨在讲清楚： 1）KBA（knowledge based agent）与逻辑 2）模型，有效性，可满足性，蕴含，推理过程 3）如何证明KB蕴含a（模型检验，逻辑等价，推理规则） 前言 基于知识的Agent。第3,4章中的问题求解Agent有局限性，而且法法灵活性。 第6章介绍了用变量赋值表示状态的思想，这是朝向正确方向的一步，使得Agent的部分工作可以独立于领域，并允许更有效的算法。

>>阅读原文<<