人工智慧下冊

模態邏輯11?2 知道邏輯12?2 信念邏輯12?4

作品目錄

第三部分 非經典邏輯和非經典推理
第十一章 模態邏輯及其套用
11?1 模態邏輯
11?2 時序邏輯
11?3 基於區間的時間推理
習題
第十二章 知道邏輯和信念邏輯
12?1 知道邏輯
12?2 群體知道邏輯
12?3 信念邏輯
12?4 顯式信念和隱式信念
12?5 信念和意識
習題
第十三章 定性推理
13?1 定性演算
13?2 基於狀態的推理
13?3 定