汉语组合范畴语法研究——基于交叉学科的视角

本书以组合范畴语法为核心，从逻辑、语言和计算三个不同的视角，以交叉学科的方式对组合范畴语法进行了研究。从逻辑本身，本书追溯了组合范畴语法的逻辑源流，给出了组合范畴语法的基本理论。从语言的视角，本书以汉语为例，展示了组合范畴语法的丰富表达能力和解释力。从计算的维度，本书详细介绍如何从宾州中文树库算法转换为组合范畴语法树库（CCGbank），揭示了典型汉语中规则应用、规则例和词例的具体情况。后，本书还给出了组合范畴语法在自然语言信息处理中的一些应用。

陈鹏，1979年生，江西南丰人，工学博士，北京航空航天大学计算机学院博士研究生毕业，中国社会科学院哲学研究所博士后。主要从事计算机软件与理论.数理逻辑、形式化验证、信息哲学、信息技术与社会领域研究工作。已出版《操作系统本质》《区块链本质》《证明达尔文》等多部专著或译著。

绪论

章  逻辑：组合范畴语法的源流

  1.1  古典范畴语法

    1.1.1  范畴和运算

    1.1.2  形式化描述

  1.2  Lambek演算

    1.2.1  函项运算与逻辑演绎

    1.2.2  对代词的分析获得新的推导规则

    1.2.3  Lambek句法演算（Syntactic calculus）

    1.2.4  Lambek演算的形式化表示

  1.3  蒙太格语法

  1.4  组合范畴语法的创生

  1.5  组合范畴语法的构造与组合规则

    1.5.1  范畴

    1.5.2  组合规则

    1.5.3  组合投射原则

    1.5.4  自然语言的组合性

    1.5.5  组合算子的普适性

    本章小结  逻辑对于自然语言语法和处理的意义何在？

第二章  语言：汉语CCG的表述与演绎

  2.1  基本语句

  2.2  与名词短语相关的范畴分析

    2.2.1  单位词与数量短语

    2.2.2  形容词、量词与方位词短语

    2.2.3  同位语

  2.3  与动词相关的范畴分析

    2.3.1  动词短语

    2.3.2  控制动词与情态动词

    2.3.3  “被”字句

    2.3.4  “把”字句

  2.4  标点与并列的范畴分析

    2.4.1  并列现象

    2.4.2  标点符号

  2.5  句子层面的范畴分析

    2.5.1  代词脱落（pro-drop）

    2.5.2  关系从句的范畴分析

    2.5.3  “的”字句

  2.6  形式语义分析

    2.6.1  基于CCG的语法与语义界面理论

    2.6.2  CCG的语法与语义并行推理举例

    本章小结  回归自然语言的研究

第三章  计算：汉语CCGBank的构建

  3.1  介绍

    3.1.1  短语结构语法

    3.1.2  宾州中文树库（PCTB）

    3.1.3  CCG语料库

  3.2  汉语CCGBank转换系统的架构与设计

    3.2.1  总体框架

    3.2.2  数据处理模块

    3.2.3  转换模块

本书以组合范畴语法为核心，从逻辑、语言和计算三个不同的视角，以交叉学科的方式对组合范畴语法进行了研究。从逻辑本身，本书追溯了组合范畴语法的逻辑源流，给出了组合范畴语法的基本理论。从语言的视角，本书以汉语为例，展示了组合范畴语法的丰富表达能力和解释力。从计算的维度，本书详细介绍如何从宾州中文树库算法转换为组合范畴语法树库（CCGbank），揭示了典型汉语中规则应用、规则例和词例的具体情况。后，本书还给出了组合范畴语法在自然语言信息处理中的一些应用。

陈鹏，1979年生，江西南丰人，工学博士，北京航空航天大学计算机学院博士研究生毕业，中国社会科学院哲学研究所博士后。主要从事计算机软件与理论.数理逻辑、形式化验证、信息哲学、信息技术与社会领域研究工作。已出版《操作系统本质》《区块链本质》《证明达尔文》等多部专著或译著。