句法范畴的代数结构与演绎系统Ξ-中文信息学报.PDF

中　文 　信 　息 　学 　报 第 15 卷 第 2 期 　 JOURNAL OF CHINESE INFORMATION PROCESSING Vol . 15 No. 2 句法范畴的代数结构与演绎系统 于江生 (北京大学计算语言学研究所 　北京 　10087 1) 摘要 :本文给出了建立在含幺半群基础上的范畴语法的代数结构 ,定义了范畴方程和它的 解并对范畴方程的解作了分类 :相容性的相关性 。定理“对于范畴方程的任意一个解 X ,都存 在唯一的本质解 Y 使得 Y X”使得我们可以通过一定的演绎规则对词 w 的本质范畴作扩张 以得到 w 的所有句法范畴 。最后 ,作者从范畴理论的角度给出了句法范畴演绎系统的数学描 述 。 关键词 :句法范畴 ;范畴方程 ;本质解 ;类型提升 中图分类号 : TP30 1. 6 The Algebraic Structure and Deductive System of Syntactic Categories YU J iangsheng ( Instit ute of Comp ut ational Linguistics ,Peking U niver sity 　Beij ing 　10087 1) Abstract :In t his article ,we showed t he algebraic st ruct ure of synt actic categories based on monoid and defined categorial equation who se solutions are described by consistency and correlation . The result “If X is a solution of a categorial equation ,t hen t here exist s an unique essential solution Y such t hat Y X”makes it po ssible t hat t he essential cat gories of a wor d could generate all po ssible synt actic categories by some deductive rules. Finally ,t he aut hor described t he deductive system of synt actic categories from t he viewpoint of Category Theory in mat hematics. Key words :synt actic category ;categorial equation ;essential solution ; Type Lifting 按照 Frege 组合性原则 ———复合表达式的语义是其组成部分语义的函项 , 自然语言的语 义结构与句法结构有着密切的关系 。范畴语法是一种同时兼顾句法和语义的语法 ,起初是为 ( ) ( ) 了给逻辑表达式提供一个明确的句法结构 详见[ 17 ] , [ 1 ] , 自Bar - Hillel 1950 将之应用于 ( ) ( ) ( 自然语言的句法 —语义分析后 见 [ 2 ]