漢语语句的类型表达.docVIP

汉语语句的类型表达 蒋严 潘海华 香港理工大学 香港城市大学 中文及双语学系 中文、翻译及语言学系 ctyjiang@ polyu.edu.hk cthpan@cityu.edu.hk 摘 要 本文介绍逻辑语义学中广为采用的以词汇类型驱动的析句方法，并将其应用于汉语语句的分析﹑表达和解释中。通过对词汇逻辑语义的赋类，可以将句法规则化解为词汇的逻辑信息，进而得出从词到句的组合过程，而语句生成的过程同时也是一个语句解释的过程。这样，句法和语义的操作同步同构，符合组合性原则。词库中的词汇信息因此需要充实，加入类型信息。类型信息也有助于降低自动分词的复杂程度，使其更经济有效。 关键词 逻辑语义学﹑类型﹑语句分析﹑语义解释 Representing Chinese Sentences with Types Jiang Yan Pan Haihua Department of Chinese Bilingual Studies Department of Chinese, Translation Linguistics The Hong Kong Polytechnic University City University of Hong Kong ctyjiang@hkpucc.polyu.edu.hk cthpan@cityu.edu.hk Abstract In this paper, we introduce the familiar notion of type in logical semantics and demonstrate how type information of lexical items can be exploited to generate, analyze, and interpret Chinese sentences. The implications of this approach to computational processing of Chinese are also briefly explored. Keywords Logical semantics, type, syntactic analysis, semantic interpretation 句法－语义同构 如果把句法和语义看成是两代数系统A和B，A包括造句成份(如词﹑词组和单句)和造 句的操作运算，B包括两个真值{0,1}和与句法操作相对应的﹑确定真值语义的运算，那么，对A﹑B两者的关系有着不同的看法。一种代表性的观点认为句法是自在的，句法的内容自成一体，与语义无关。句法系统A的输出是语义解释系统B的输入。句法和语义分工明确，各顾一端。但是，以蒙太格语义学为代表的逻辑语义学不承认句法的自在性，而是把语句的句法分析和语义解释看成是同构(isomorphic)的。根据这种观点，词的组合成句及其语义的模型论解释有着一一对应的关系，而且操作内容也要一致，也就是说，语义解释是从句法代数A到语义代数B的同构映像。类型论(type theory)使得这种同构映像成为可能。 类型论与语句生成 从逻辑的观点看，语句S的两个关键成份为谓词(predicate)和论元(argument)。较简单的语句的谓词仅含单个动词或形容词，论元NP仅由专名NN充当。从外延的角度看，专名指谓(denote)个体(individual entity，记作e)，语句指谓真值(truth-value，记作t)，谓词指谓个体的集合(set of entities)。如果把e和t设定为基本类型，则其它较复杂的类型都可以根据以下定义导出︰ 类型论定义︰ e和t为基本类型 如果a，b各为类型，则a , b为类型。 (1)中的a﹑b可以是基本类型，也可以是复杂类型。这样，谓词可以通过e和t来间接定义，表达成从e1到e2…到en到t的函项，其中e1…en为论元的数目。汉语的谓词可分别表示为(2a)—(2d)︰ a. V1 / Adjp = e, t [一元动词 / 谓语形容词] b. V2 = e, e, t [二元动词] V3 = e, e, e, t [带双宾语的三元动词] V S = t, e, t [带内嵌从句的动词] 根据语义的外延定义，可得其它词的类型︰ (3) a. CN = e, t [类名词] AdjM = e, t , e, t [修饰性形容词] AdvVP = e, t , e, t [修饰动词词组的副词] AdvS = t, t [修饰