基于组合式话语表现理论现代汉语篇章语义形式化.docVIP

基于组合式话语表现理论现代汉语篇章语义形式化 　　摘要：为获得汉语篇章的形式语义，用组合式话语表现理论对汉语从词到句再到篇章进行语义组合。按句法规则和词类的λ-box表达式，通过翻译规则得到句子的逻辑表达式，然后通过话语表现理论进一步得到汉语篇章的形式表示。提出一个描述上述过程的原型系统，可帮助建立现代汉语篇章语义的机内表示。 　　关键词：组合式话语表现理论；汉语篇章；形式语义 　　中图分类号：TP18文献标识码：A文章编号：1009-3044(2012)13-3111-03 　　Formal Semantics of Chinese Discourse Based on Compositional Discourse Representation Theory 　　JIANG Zhi-jun, ZHANG Lin 　　(The Modern Education Technology Center, Henan University of Economics and Law, Zhengzhou 450002, China) 　　Abstract: To obtain formal semantics of Chinese discourse, compositional discourse representation theory was adopted to compose semantics from Chinese word to sentence and to discourse. According to syntactic rules andλ-box expressions of word categories, sentential logic expression could be created by translation rules, then the formal representation of Chinese discourse could be further obtained by construction procedure of DRT. A rough prototype system was given to depict the implementment process, which will benefit establishing machine-inside representation of discourse semantics of contemporary Chinese. 　　Key words: compositional discourse representation theory; Chinese discourse; formal semantics 　　互联网正成为中国数以亿计网民的话语平台，以书面语言为载体的海量、不断涌现的网络信息迫切需要用计算机而不是人工阅读来进行基于理解的处理，以实现高效的网络信息监管、网络舆情调查、网络问政等。 　　计算机理解自然语言的水平依赖现代语言学、语言哲学、逻辑学等学科的研究进展，特别是在句法、语义和语用形式化方面。句法、语义、语用三分法，将复杂的语言现象研究分为目标明确的三个层次。句法专注词类识别和句子结构分析，语义专注句子含义表示，语用则专注跨句子边界的代词回指、篇章含义表示、语义推理等。 　　在语义和语用分析上各种自然语言存在共性，尽管现代汉语的语言现象和英语不尽相同，但仍可借鉴英语语言哲学上的研究成果。该文探讨将组??式话语表现理论应用于汉语篇章语义的获取，并用计算机算法予以实现。项目成果对实现互联网现代汉语信息一定程度上的机器理解有重要意义。 　　1形式语义的研究进展 　　模糊、多变的语言现象曾使自然语言被认为缺乏系统性而不能进行形式分析，50年代乔姆斯基（N. Chomsky）提出的句法结构理论改变了这种看法，解释了无限多结构样式的句子和有限多句法规则的关系。至90年代，乔姆斯基学派先后提出标准理论、扩展的标准理论、管辖与约束理论和最佳方案，形成比较完善的生成转换语法理论体系[1]。乔姆斯基学派强调句法研究，较少涉及语义和语用。 　　70年代蒙太格（R. Mongtague）提出通用语法，认为自然语言和逻辑语言并无本质差异，可在一个自然且数学精确的理论框架中概括两类语言的句法和语义[2]。在通用语法中，用范畴运算对应句法结构的毗连，然后设计句法范畴到内涵逻辑（一种类型逻辑）的翻译规则，将英语句子翻译成类型逻辑式，用类型逻辑式的模型论语义解释英语句子的语义。 　　蒙太格语法中，句法结构的毗连对应范畴运算，而范畴运算对应类型逻辑上的λ变换，自下而上生成句子的同时得到句子的类型