自然语言信息处理的逻辑语义学研究

邹崇理 （1953—）教授，四川成都人。中国社会科学院研究生院哲学博士。现任中国社会科学院哲学研究所研究员，中国社会科学院研究生院教授，博士生导师，湘潭大学和四川大学特聘教授。中国逻辑学会会长，国家社科基金哲学学科评审专家、享受国务院特殊津贴专家。中国人民大学复印报刊资料《逻辑》编委会主任，《逻辑学研究》编委会副主任。主要研究方向为自然语言逻辑和哲学逻辑。著有《逻辑、语言和蒙太格语法》《自然语言逻辑研究》《逻辑、语言和信息》和《范畴类型逻辑》等专著；在Springer出版社的国际逻辑学专业期刊Logic, Rationality and Interaction以及《中国社会科学》英文版、Frontier of Philosophy in China、《哲学研究》、《逻辑学研究》、《自然辩证法研究》、《哲学译丛》、《哲学动态》等期刊发表近100篇学术论...

(展开全部)

邹崇理 （1953—）教授，四川成都人。中国社会科学院研究生院哲学博士。现任中国社会科学院哲学研究所研究员，中国社会科学院研究生院教授，博士生导师，湘潭大学和四川大学特聘教授。中国逻辑学会会长，国家社科基金哲学学科评审专家、享受国务院特殊津贴专家。中国人民大学复印报刊资料《逻辑》编委会主任，《逻辑学研究》编委会副主任。主要研究方向为自然语言逻辑和哲学逻辑。著有《逻辑、语言和蒙太格语法》《自然语言逻辑研究》《逻辑、语言和信息》和《范畴类型逻辑》等专著；在Springer出版社的国际逻辑学专业期刊Logic, Rationality and Interaction以及《中国社会科学》英文版、Frontier of Philosophy in China、《哲学研究》、《逻辑学研究》、《自然辩证法研究》、《哲学译丛》、《哲学动态》等期刊发表近100篇学术论文。专著和论文曾获得中国逻辑学会优秀科研成果二等奖和中国社会科学院优秀科研成果二等奖。先后主持或参加21项国家社科基金、国家自然科学基金、中国社会科学院和教育部的科研项目；主持两项国家社科基金重大项目。

序言（邹崇理）／i
凡例／iii
导论 1
0.1 自然语言的逻辑语义学 1
0.2 逻辑语义学研究概述 5
0.3 本书研究内容简述 12
· · · · · · (更多)

序言（邹崇理）／i
凡例／iii
导论 1
0.1 自然语言的逻辑语义学 1
0.2 逻辑语义学研究概述 5
0.3 本书研究内容简述 12
参考文献 18
第一编 逻辑语义学研究概论
1 逻辑语义学——自然语言的逻辑研究 21
1.1 作为形式符号系统的自然语言 21
1.2 自然语言的组合性 25
1.3 逻辑语义和自然语言语义 30
1.4 逻辑语义学的研究方向 48
2 面向自然语言信息处理的逻辑语义学 58
2.1 自然语言的计算 58
2.2 部分语句系统的计算思想 61
2.3 范畴语法CG的计算思想 63
2.4 句法语义并行推演的计算思想 68
2.5 结束语 71
参考文献 72
第二编 逻辑语义学的重要理论——范畴类型逻辑CTL
第一部分 范畴类型逻辑GTL梳理
3 GTL的发展历程 80
3.1 AB演算 80
3.2 兰贝克的句法演算 82
3.3 蒙太格的语义分析 83
3.4 新近的发展方向 86
4 GTL的主要理论 90
4.1 传统的CTL——结合的兰贝克演算 90
4.2 多模态的CTL 99
4.3 对称范畴语法 102
5 GTL的其他分支 123
5.1 完全的兰贝克演算 123
5.2 加一元算子的CTL 132
5.3 准群语法与抽象的CTL 134
6 GTL的类型语义学：兰贝克演算匹配λ词项 138
6.1 从经典命题逻辑到兰贝克演算 138
6.2 入演算 144
6.3 哈里-霍华德对应 147
6.4 匹配入词项的兰贝克演算树模式ND表述 159
第二部分 范畴类型逻辑GTL应用于汉语的研究
7 传统CTL对汉语反身代词的研究 162
7.1 带受限缩并规则的兰贝克演算LLC 162
7.2 前后搜索的(Bi) LLC系统 171
7.3 语言学中的应用 181
8 汉语照应省略的范畴逻辑分析 183
8.1 引言 183
8.2 LLC系统与汉语照应省略 185
8.3 LLC系统与空代词 189
8.4 LLCW'系统 196
8.5 LLCW' 统的特色及语言学检验 222
8.6 结束语 227
9 基于多分法的GTL 229
9.1 多分法的逻辑学依据 230
9.2 多分法的语言学依据 235
9.3 基于多分法的CTL系统 246
9.4 匹配入项的工作 253
9.5 结束语 256
参考文献 258
第三编 逻辑语义学的重要应用——组合范畴语法CCG
第一部分 组织范畴语法CCG梳理
10 组合范畴语法CCG综述 264
10.1 引言 264
10.2 AB演算的缺陷 268
10.3 原生态CCG 272
10.4 多模态CCG 285
10.5 组合范畴语法与范畴类型逻辑之联系 294
11 CCG的计算语言学价值与CCG树库 317
11.1 CCG的计算语言学价值 317
11.2 英语CCG树库 318
11.3 汉语CCG树库 343
12 CCG处理自然语言存在的困难和问题 349
12.1 CCG处理自然语言的局限 349
12.2 使用CCG分析自然语言语义面临的闲境 358
12.3 添加CCG句法分析树缺失的语义表述存在的困难 361
第二部分 组合范畴语法CGG研究
13 GGG对汉语非连续结构的处理 367
13.1概述 367
13.2 CCG对汉语NCC结构的处理 371
13.3 CCG对汉语话题句的处理 374
13.4 汉语连动句和复杂谓词并列结构的处理尝试 378
14 组合范畴语法对汉语形容词谓语句的处理 381
14.1 汉语形容词谓语句的定义和分类 38l
14.2 汉语光杆形容词谓语句的组合范畴语法分析 381
14.3 汉语复杂形容词谓语句的组合范畴语法分析 383
15 组合范畴语法对汉语主谓谓语句的处理 389
15.1 汉语主谓谓语句的语法结构及语法特征 389
15.2 汉语主谓谓语句的组合范畴语法分析 389
第三部分 汉语GGG研究的计算机实现（汉语GCGbank的构建）
16 组合范畴语法的计算语言学价值 398
16.1 面向大规模自然语言处理的形式文法综述 398
16.2 CCG适用于计算语言学的特性 402
16.3 CCG的应用 412
17 汉语CCG研究 420
17.1 范畴的构造与组合规则 420
17.2 与名词短语相关的范畴分析 425
17.3 与动词相关的范畴分析 428
17.4 标点与并列的范畴分析 435
17.5 句子层面的范畴分析 439
18 从宾州汉语树库转汉语CCGbank 444
18.1 介绍 444
18.2 汉语CCGbank转换系统的架构与设计 450
18.3 汉语CCGbank核心转换算法 457
18.4 汉语CCGbank的鲩计与分析 475
参考文献 478
附录1 宾州汉语树库( PGTB)的标签集 485
A1.1 词性标签Part Of Speech tags (33) 485
A1.2 句法标记(23) 486
附录2 “的”在汉语CCGbank中的范畴 488
汉英术语、人名对照表 491
· · · · · · (收起)