第一章 引言 / 1
1.1研究背景 / 1
1.2研究目标 / 5
1.3研究现状 / 7
1.4研究贡献与结构安排 / 14
第二章 “理解”的理论 / 17
2.1 中世纪知识逻辑研究中的“理解” / 17
2.2 “理解”的哲学理论 / 21
2.3 人工智能研究中的“理解”/ 29
第三章 “理解为何”的逻辑 / 33
3.1 问题简介 / 33
3.2 初步工作 / 37
3.3 “理解为何”的逻辑构架 / 42
3.4 公理化以及可靠性、完全性证明 / 52
3.5 系统 SUY 的模块化语义 / 63
3.6 “理解为何”的概念谱系 / 70
3.7 结语以及未来工作 / 96
第四章 “理解现象”的逻辑 / 98
4.1 问题简介 / 98
4.2 “理解现象”的逻辑架构 / 107
4.3 公理化 / 116
4.4 从模态逻辑到 SOSU 的嵌入 / 122
4.5 完全性与可判定性 / 125
4.6 讨论以及与相关逻辑的比较 /135
4.7 结语以及未来工作 / 144
第五章 比较与展望 / 146
5.1 比较“理解为何”的逻辑与“理解现象”的逻辑 / 146
5.2 理解语言 / 152
第六章 总结 / 163
参考文献 / 167
后 记/ 179