论文部分内容阅读
多模态范畴语法是以传统范畴语法为基础发展起来的版本，其主要特点是通过将传统范畴语法发展的两个方向——基于规则的范畴类型逻辑和基于词库的组合范畴语法——结合了起来，一方面保证了自然语言句法语义推演的精确性，另一方面贯彻了彻底的词汇主义。通过在范畴类型逻辑系统中模拟组合范畴语法的多模态思想，为范畴语法的积算子和斜线算子添加模态下标，从而将范畴语法扩展为前提敏感的逻辑系统，这种处理方式利于以少量的规则为基础，把握自然语言处理的灵活多样性。由此而来构造出的系统是混合的范畴类型逻辑系统。
传统的范畴语法在本质上是弱上下文自由的。尽管它能够在一定的范围内给予自然语言精确的模型论刻画，但是应用到人们实际的语言使用分析中时，却由于自然语言的灵活多样而存在较大困难，为了处理特定的语言现象，往往需要牺牲逻辑系统的简洁。不同语种的语言之间有许多的共性，但也常常在细微之处存在差异，一个成熟的范畴语法理论应该能够在把握语言共性的同时，准确刻画出不同语言的差异。这一要求启发了众多的学者们开始对范畴语法进行多模态扩展的尝试，比较具有代表性的有斯蒂德曼、贝德里奇、黑普、莫塔特、莫利等人。但是上述学者们的研究仍然延续传统范畴语法兵分两路的研究传统，在自然语言的实用分析中，各自的优势没能融合互补。
形名结构是语言中普遍存在的现象，汉语形名结构在符合合取型和类属型两大普遍分类的同时，还兼具自己的一些独特之处（往往带有虚化成分“的”）。在使用范畴语法对其进行描写刻画时，需要能够体现出它所具有的特点，保证从句法和语义两方面都能够给予汉语形名结构合适的解释。所以对于汉语形名结构来说，范畴语法需要既能将充分刻画两种普遍存在的形名结构，还需要能够给汉语形名结构中独有的虚化成分以合理的解释。
基于上述考虑，本文在传统范畴语法的基础上，通过对其进行多模态的扩展，构造出混合的范畴类型系统。该系统可以给出可以对汉语形名结构中的虚化成分进行消去的结构规则K;给出合取型形名结构的推演规则M，通过对积算子和斜线算子添加模态下标并给出不同模态之间的从属规则S，据此获得对类属型形名结构的推演刻画。在统一的混合框架中实现对两类句法和语义表现迥异的形名结构的推演以及其中虚化成分的处理。文章给出了混合法范畴类型逻辑系统的公理表述，并给出其逻辑性质的相关讨论。
传统的范畴语法在本质上是弱上下文自由的。尽管它能够在一定的范围内给予自然语言精确的模型论刻画，但是应用到人们实际的语言使用分析中时，却由于自然语言的灵活多样而存在较大困难，为了处理特定的语言现象，往往需要牺牲逻辑系统的简洁。不同语种的语言之间有许多的共性，但也常常在细微之处存在差异，一个成熟的范畴语法理论应该能够在把握语言共性的同时，准确刻画出不同语言的差异。这一要求启发了众多的学者们开始对范畴语法进行多模态扩展的尝试，比较具有代表性的有斯蒂德曼、贝德里奇、黑普、莫塔特、莫利等人。但是上述学者们的研究仍然延续传统范畴语法兵分两路的研究传统，在自然语言的实用分析中，各自的优势没能融合互补。
形名结构是语言中普遍存在的现象，汉语形名结构在符合合取型和类属型两大普遍分类的同时，还兼具自己的一些独特之处（往往带有虚化成分“的”）。在使用范畴语法对其进行描写刻画时，需要能够体现出它所具有的特点，保证从句法和语义两方面都能够给予汉语形名结构合适的解释。所以对于汉语形名结构来说，范畴语法需要既能将充分刻画两种普遍存在的形名结构，还需要能够给汉语形名结构中独有的虚化成分以合理的解释。
基于上述考虑，本文在传统范畴语法的基础上，通过对其进行多模态的扩展，构造出混合的范畴类型系统。该系统可以给出可以对汉语形名结构中的虚化成分进行消去的结构规则K;给出合取型形名结构的推演规则M，通过对积算子和斜线算子添加模态下标并给出不同模态之间的从属规则S，据此获得对类属型形名结构的推演刻画。在统一的混合框架中实现对两类句法和语义表现迥异的形名结构的推演以及其中虚化成分的处理。文章给出了混合法范畴类型逻辑系统的公理表述，并给出其逻辑性质的相关讨论。