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

出版时间：2001-6  出版社：北京大学出版社  作者：靳光瑾  页数：244  

内容概要

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

书籍目录

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 计算机实现系统HYLJ6.1 HYLJ系统实现目标6.2 形式化语法体系6.3 语言模型6.4 系统输入形式和预处理6.5 系统输出形式6.6 系统功能6.7 系统用户输入6.8 系统组成6.9 动词形式规范库6.10 结束语参考文献后记