《面向知识表示与推理的自然语言逻辑》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:鞠实儿等著
  • 出 版 社:北京:经济科学出版社
  • 出版年份:2009
  • ISBN:9787505876002
  • 页数:383 页
图书介绍:本书以知识表示与推理为应用牵引,以非经典逻辑(包括哲学逻辑和语言逻辑)为理论驱动,针对自然语言的内涵性、模糊性、交互性、形态性和多样性,分别构造了若干自然语言逻辑系统,包括:语境内涵逻辑、模糊量词逻辑、带群体知识的公开宣告逻辑、时态句型逻辑以及汉语灵活语序逻辑和汉语致使句逻辑,对现有的许多逻辑理论成果,如超内涵逻辑、自然逻辑、动态认知逻辑、多模态范畴逻辑和Lambek演算等进行了修正、拓展和改进,为今后的自然语言逻辑研究指明了新的方向。

第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