现代汉语动词语义计算理论

    汉语语义分析研究是中文信息处理提出的新挑战，也是自然语言理解的关键难题。本书借鉴了国内外针对这一问题提出的种种理论与方法的成功与不足之处，并充分考虑了汉语的特点，提出了“函子理论”。该理论将汉语语句转换为高阶逻辑谓词公式这一至今无从入手的难题分解为两步，插入了“逻辑函子”这一中介，从汉语句子生成函子，从函子生成逻辑式，使得整修语义计算成为可能。同时强调区分词语的内涵义和外延义，有效地解决了计算语言学中的不少问题，并设计了一个计算机实现系统。本书的出版，有望为中文信息处理打开了一个新的局面。

    

    作者寻找一种介于汉语语句形式和逻辑表达式之间的中介形式，那就是“函子”，这就使得将汉语语句转换到高阶逻辑谓词公式这样一个至今无从下手的难题，分解为两个可行过程，生成过程和转换过程，于是整个语义计算过程就成为可行的了。这是本书在语义分析方法论上的一个突破。
函子理论的提出，特别是求解汉语语句缺省成分的方法的提出和逻辑函子的建立，以及词语语义中内涵义和外延义的区分，是该书最重要的创新之处。这是计算机处理、理解汉语最为关键的高难度技术之一，有望使中文信息处理开创一个新局面。毫无疑义，靳光瑾博士的《现代汉语动词语义计算理论。对解决汉语句处理问题将会作出新的贡献。

0 绪论
1 自然语言处理与语言理论的研究和发展
1.1 理性主义和经验主义
1.2 概率统计和规则分析
1.3 自然语言处理与语法理论的研究和发展
1.4 自然语言理解与Montague语义理论
2 汉语研究与中文信息处理
2.1 计算机理解汉语需要汉语语法、语义理论的支撑
2.2 汉语语法理论研究
2.3 汉语语义理论研究
3 语义计算形式化描述
3.1 形式化描述例证（Ⅰ）
3.2 形式化描述例证（Ⅱ）
3.3 形式化描述和逻辑语义解释
3.4 语义计算形式化方法讨论
3.5 虚词的形式化方法
4 自然语言理解的应用及中文信息处理的前景
4.1 自然语言理解的应用
4.2 中文信息处理面临的难题
4.3 中文信息处理项目例析
5 数学抽象与语义计算
5.1 动词配价与论元
5.2 函子的定义以及函子的提取
5.3 缺省及其求解
5.4 句外求解函子缺省成分
5.5 句外求解函子缺省成分（续）
5.6 句内求解函子缺省成分
5.7 句内求解函子缺省成分（续）
5.8 多项NP竞争价位
6 计算机实现系统HYLJ
6.1 HYLJ系统实现目标
6.2 形式化语法体系
6.3 语言模型
6.4 系统输入形式和预处理
6.5 系统输出形式
6.6 系统功能
6.7 系统用户输入
6.8 系统组成
6.9 动词形式规范库
6.10 结束语
参考文献
后记