把字句和被字句的类型逻辑语法处理方案

类型逻辑语法是近年来新兴的语言信息处理理论,该理论可以运用分析汉语常用句式把字句和被字句。把"把"处理为受动标记,把"被"处理为施动标记,可以演示此两种句式的句法构形和语义解释过程,通过意义公设建立两类句式与普通及物动词句之间的语义联系,最终将其泛化为两条词汇规则。

论类型逻辑语法对蒙太古语法的继承与发展

蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。

类型逻辑语法与汉语中的照应省略

现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。

有穷多模态类型逻辑语法及其在汉语中的应用

多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。

类型—逻辑语法——一种自然语言语义分析的重要工具

类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。

关于组合范畴语法CCG

组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本,前者关注范畴语法的语言学应用和自然语言的信息处理,后者倾向于从逻辑的角度审视范畴语法的理论性质。CCG的特点有:原子范畴的加标多样化和彻底的词汇主义思路;斜线算子的下标模态化和函子范畴的多样组合;基于范畴等级和范畴构造的视角建立CCG的证明论。

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。

函项分层思想及其在语言学研究中的应用

基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知,形式语义学总体来讲具有两种发展趋势,即偏向自然语言与偏向逻辑两种风格。

转折句的逻辑语法结构及其推演

本文运用当代逻辑语法的理论和方法,分析转折句的逻辑语法结构,提出给定任意命题p和q,转折句的逻辑结构不应记为合取式p∧q,而是一蕴涵式的否定式,记为瓙(p→瓙q)。在此基础上,本文运用类型逻辑范畴语法为转折联结词建立词条,并同步推导转折句的语形和语义。

汉语连动句题元结构的形式语义分析

一个句子基本的逻辑语义信息是由逻辑谓词决定的,逻辑谓词是句子的焦点,一个单句通常只有一个焦点。而汉语连动句是由两个或两个以上谓词按照一定顺序组合而成的单句,句子中含有两个或两个以上的逻辑谓词,多个逻辑谓词和句子的句首名词之间虽然都是陈述与被陈述的语法关系,但是它们在逻辑上存在多种语义格关系,即存在多种题元结构形式。这使得句法结构关系和逻辑语义关系往往呈现出不对称关系,为我们的理解和使用带来一定的困扰,这对于汉语作为第二语言能力的人或者对于计算机识读和理解时,无疑更会产生许多困难和阻力。为了更加准确科学地解读和描写这种自然语言现象,我们可以根据范畴类型逻辑语法规则,对此进行形式化的计算和描写,即采用类型逻辑语法竖线算子方式进行进行具体的计算和推演处理,使其获得形式化的语义解读。考虑到集中性,我们暂且把讨论的范围限于以专名充当NP,两个VP连用的连动句,VP结构不作深入分析。