人工智能：一種現代方法學習筆記（第七章）——邏輯Agent

基於知識的Agent 基於知識的Agent的核心部件是知識庫(KB)，知識庫是一個語句集合，這些語句用知識表示語言表達，表示了關於世界的某些斷言 當某些語句是直接給定的而不是推理的叫做公理，由公理推導出來的叫做定理。 知識庫的兩個基本操作： Tell(將新語句添加到知識庫) 和 Ask(查詢目前所知的內容) 邏輯 模型檢驗： 通過枚舉所有可能爲真的模型來檢驗KB爲真的情況下α都爲真 命題邏輯 語法

>>阅读原文<<