第1章逻辑、自然语言与KRR 1
1.1 自然语言的内涵性与KRR 1
1.2 自然语言的模糊性与KRR 3
1.3 自然语言的交互性与KRR 5
1.4 自然语言的形态性与KRR 6
1.5 自然语言的多样性与KRR 8
1.6 本书结构——从KRR到LNL 11
第2章类型逻辑与Lambek演算 13
2.1 范畴语法 14
2.2 类型逻辑 17
2.3 Lambek演算的代数模型 21
2.4 Lambek演算的证明论性质 23
2.5 Lambek演算与结构规则 26
第3章面向自然语言内涵性的LNL:语境内涵逻辑 29
3.1 导言 30
3.2 内涵逻辑及其问题 33
3.3 超内涵逻辑及其问题 45
3.4 语境内涵逻辑Ⅰ:基于可能世界语义 62
3.5 语境内涵逻辑Ⅱ:基于邻域语义 77
3.6 语境内涵逻辑Ⅲ:基于代数语义 97
3.7 语境内涵语义Ⅰ:基于博弈语义 116
3.8 语境内涵语义Ⅱ:基于更新-局部模型语义 123
第4章面向自然语言模糊性的LNL:模糊量词逻辑 135
4.1 导言 135
4.2 模糊量词的语义 138
4.3 模糊量词的性质 160
4.4 模糊量词推理 177
4.5 基于Lambek演算的模糊量词自然逻辑推理系统FQNL 187
4.6 FQNL系统OC的判定算法 205
第5章 面向自然语言交互性的LNL:带群体知识的公开宣告逻辑 215
5.1 导言 215
5.2 语言交流与动态认知逻辑模型 224
5.3 公开宣告逻辑PAL 234
5.4 群体知识 242
5.5 静态认知逻辑S5Bm(RC,D,E) 255
5.6 带有群体知识的公开宣告逻辑PAL(RC,D,E) 266
5.7 应用分析 274
第6章面向自然语言形态性的LNL:时态句型的Lambek演算 283
6.1 导言 284
6.2 并发的Lambek时态演算系统 287
6.3 模态Lambek时态演算系统 300
第7章面向汉语的LNL 316
7.1 导言 316
7.2 形式语义学对汉语句法语义的关注 321
7.3 面向汉语灵活语序和致使语义的LNL 326
附录1 广义量词理论 341
附录2 模糊集理论及模糊逻辑 349
附录3 类型论与λ-演算 359
参考文献 365
后记 383