第七章 邏輯Agent

基於知識的Agent 由知識庫和推理機制組成. 兩大操作:TELL(告訴), ASK(詢問). 都可能涉及推理, 即從原有語句推導出新語句. Wumpus世界 邏輯 語法給出了合法語句的規範, "x+y=4"合法, "x4y+="不合法. 語義定義了每個語句在每個可能世界的真值, "x+y=4"在x=2, y=2的世界裏爲真. 模型是可能世界的數學抽象. 語句α在模型m裏爲真, 稱m滿足α, m爲

>>阅读原文<<