人工智能第七章——命題邏輯（待補充）

摘要 本文旨在講清楚： 1）KBA（knowledge based agent）與邏輯 2）模型，有效性，可滿足性，蘊含，推理過程 3）如何證明KB蘊含a（模型檢驗，邏輯等價，推理規則） 前言 基於知識的Agent。第3,4章中的問題求解Agent有侷限性，而且法法靈活性。 第6章介紹了用變量賦值表示狀態的思想，這是朝向正確方向的一步，使得Agent的部分工作可以獨立於領域，並允許更有效的算法。

>>阅读原文<<