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

　　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 结束语
　　参考文献
　　后记

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