范畴语法相关论文
出于语言学的动机，给出著名的Lambek逻辑L的一个扩充L^nom．在L^nom中，引入名词化的公理与规则．系统L^nom关于修正幂集剩余半群语义是可......
论述类型一逻辑语法的句法特色——兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴-希勒尔所创立的经典范畴语法的改进和发展，其表述......
在蒙太鸠语法理论的基础上,利用范畴语法对汉语进行句法分析,并针对汉语范畴动态标注的不确定性进行跨层次松弛关联的计算研究,需......
本文给出了建立在含幺半群基础上的范畴语法的代数结构，定义了范畴方程和它的解并对范畴方程的解作了分类：相容性的相关性。定理“对......
证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法......
本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先，分析并总结英文法律语言主要的句法特征，由此提出刻画这些......
本文研究范畴语法的两种扩充，一是从认知特征角度的扩充，将范畴语法扩充为认知特征范畴语法，通过具有完全性的逻辑证明解决了一些不合......
1958年，Joachim Lambek提出了Lambek演算，进一步推动了逻辑学、语苦学、计算机科学等学界的纵深和交叉发展。然而存语法分析方面，Lamb......
期刊
时态逻辑不可递归公理化的性质，造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好......
机器翻译(Machine Translation，简称MT)是21世纪科技领域的一个难题之一，而要实现机器翻译，对自然语言进行形式化是核心。机器翻译的......
期刊
本文在范畴语法这一词汇主义句法理论框架内对汉语非连续结构进行了全面、集中的描述。所涉及的内容包括汉语语法关系的确立、话题......
组合性原则是逻辑语法的根本原则。文章阐述逻辑语法和组合性原则提出的背景与过程,从宏观层次讨论组合性原则对逻辑语法的方法论......
从纯句法角度看,自然语言表达式表现为由小到大生成的连续符号串。大多数情况下,这些符号串的语义追随句法进行毗连组合。但在不少......
范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法......
本文联系美国形式语义理论对副词“again”的研究 ,结合汉语副词“又”的独特表现 ,提出“重复性”、“恢复性”与“延续性”是“......
“是”和“的”的研究由来已久,文献众多,方法多样,观点不一。研究的热点和争论的焦点归纳起来有两个:一是二者的词性问题。“是”......
范畴语法通过确立句子中词语对应的范畴及应用一定的演算规则可以判定一定语言中句子的"合法性"。它在对句子的生成的解释上具有一......
范畴语法(Categorial Grammar)的词汇化的本质和其语法、语义紧密相连的特点使之成为计算语言学的重要基础之一。本文尝试用范畴语......
蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动......
