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

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

>>阅读原文<<