**章 引言 / 11.1研究背景 / 11.2研究目標 / 51.3研究現狀 / 71.4研究貢獻與結構安排 / 142.1 中世紀知識邏輯研究中的“理解” / 172.2 “理解”的哲學理論 / 212.3 人工智能研究中的“理解”/ 293.1 問題簡介 / 333.2 初步工作 / 373.3 “理解為何”的邏輯構架 / 423.4 公理化以及可靠性、完全性證明 / 523.5 系統 SUY 的模塊化語義 / 633.6 “理解為何”的概念譜系 / 70**章 引言 / 11.1研究背景 / 11.2研究目標 / 51.3研究現狀 / 71.4研究貢獻與結構安排 / 14 第二章 “理解”的理論 / 172.1 中世紀知識邏輯研究中的“理解” / 172.2 “理解”的哲學理論 / 212.3 人工智能研究中的“理解”/ 29 第三章 “理解為何”的邏輯 / 333.1 問題簡介 / 333.2 初步工作 / 373.3 “理解為何”的邏輯構架 / 423.4 公理化以及可靠性、完全性證明 / 523.5 系統 SUY 的模塊化語義 / 633.6 “理解為何”的概念譜系 / 703.7 結語以及未來工作 / 96 第四章 “理解現象”的邏輯 / 984.1 問題簡介 / 984.2 “理解現象”的邏輯架構 / 1074.3 公理化 / 1164.4 從模態邏輯到 SOSU 的嵌入 / 1224.5 完全性與可判定性 / 1254.6 討論以及與相關邏輯的比較 /1354.7 結語以及未來工作 / 144 第五章 比較與展望 / 1465.1 比較“理解為何”的邏輯與“理解現象”的邏輯 / 1465.2 理解語言 / 152 第六章 總結 / 163 參考文獻 / 167 后 記/ 179