类型逻辑语法竖线算子的推广，本文主要内容关键词为：竖线论文,算子论文,语法论文,逻辑论文,类型论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
［中图分类号］B81 ［文献标识码］A ［文章编号］1002-8862(2011)02-0090-04
类型逻辑语法又叫范畴类型逻辑，其基本原则由荷兰逻辑学和计算语言学家穆特盖特(Moortgat)教授概括出来：cognition=computation; grammar=logic。这里意味：语言认知就是计算，语言法则就是逻辑。简言之，类型逻辑语法的核心精神就是把自然语言的句法毗连和语义组合转化成计算推演，类型逻辑语法是满足计算机信息处理之需求而制定的自然语言语法。
类型逻辑语法认为，自然语言是一个符号系统。在系统中，由较短的符号串根据规则毗连成较长的符号串，即由单词毗连成词组短语，由词组短语毗连成句子。毗连就是计算推演，毗连的规则就是计算的推演规则。怎样把毗连转化成计算推演？即怎样把下面英语句的毗连过程：
转化成计算推演的过程？这需要做三件事：一是设计便于计算的编码，这种编码就是范畴；二是制定范畴之间进行计算的规则，这种规则就是推演规则；三是给每个英语单词指派适当的范畴。
首先，便于计算的范畴就是具有运算功能的符号。在类型逻辑语法中，就是带左斜线算子和带右斜线算子的复合范畴。形成复合范畴的定义为：
如果A和B是范畴，那么A/B（读作A在B之上）和B\A（读作B在A之下）是范畴。这里A/B和b\A又叫算子范畴，B叫主目范畴，A叫结果范畴。
其次，需要确立范畴运算的规则：若表达式α对应范畴A/B并且表达式β对应范畴B，则表达式αβ对应范畴A；若表达式α对应范畴A并且表达式β对应范畴A\B，则表达式αβ对应范畴B。简言之，范畴运算的规则主要有：规则1“从A/B和B推出A”和规则2“从B和B\A推出A”。
再次，给英语的若干词条指派范畴，这种指派形成词库，如：
给专名John等指派范畴 np
给不及物动词walks等指派范畴 np\s
给介词in等指派范畴 (np\s)\(np\s)/np
给限定词the等指派范畴 np/(np\s)
给普通名词park等指派范畴 np\s
于是，我们就能够据此把上述英语句的毗连过程转化成由算子范畴对主目范畴的计算从而获得结果范畴的一系列推演：
类型逻辑语法的范畴运算是一种毗连运算，是通过两个相邻范畴的贴合来实现的。然而，自然语言中存在这样的现象，即语义关联单从句法表层看并不相邻，这就是所谓非连续现象。如“John walks and he talks”，其中代词“he”在语义上依赖专名“John”，但两者却不相邻。怎样根据“John”的所指去确定“he”的所指？相邻的贴合运算是无法做到的，即无论是带左斜线算子的范畴还是带右斜线算子的范畴都不能满足刻画非连续现象的逻辑语义。
于是欧洲学者贾格尔(J
ger)提出了竖线算子及其复合范畴的技术手段。相对于诞生70多年的左右斜线算子而言，竖线算子的出现仅仅几年功夫，但已显示出强劲的生命力。竖线算子在贾格尔那里主要用于代词的回指照应，我们下面介绍的竖线算子的消去规则是类型逻辑语法的加标表述，即句法范畴和语义词项并行推演的表述。①规则是：
竖线算子消去规则的直观含义为：范畴为B|A（相应的λ-项为N）的表达式在其左边不相邻处搜索到范畴为A（相应的λ-项为M）的表达式后，该表达式就以范畴A（相应的λ-项为N(M)）的身份进行推演。为简洁起见，下面用\E表示规则1，用/E表示规则2。有关例句的计算推演为：
汉语中存在大量省略现象。最典型的是连动句，句子中一个主语和多个动词构成形成主谓关系，主语一般只出现一次。多个动词共用一个主语时，后面动词根据承前省略原则，在形式上都省去了主语，它们是按事理顺序进行线性排列而成。具有汉语言文化背景的人理解这种结构时，根据一种言语习惯和语言常识自然就能明白其意义和关系。但是对于把汉语作为第二语言能力的人或者在计算机识读时，无疑会产生困难，这就需要我们借助类型逻辑语法的手段来进行分析和解读。
采用类型逻辑语法的方式处理汉语连动句的省略现象，我们认为有必要对竖线算子的应用进行推广，增添邹崇理和满海霞在LLPC系统提出的涉及省略槽的引入规则和广义合取规则：②
本文并不专注连动句中各个动词的主语缺省和隐现问题，而是针对连动句中动词前含有修饰短语时，修饰短语与各个动词形成了非连续的回指照应现象。由于语义指向不平衡，汉语连动句中修饰短语和动词之间就形成错综复杂的关系，这些关系至少有：③(1)连动句中出现一个修饰短语，它只修饰第一个动词
，不修饰第二个动词
；(2)连动句中出现一个修饰短语，这个修饰短语限制两个动词和；(3)连动句中出现一个修饰短语，它只修饰第二个动词，不修饰第一个动词；(4)连动句中出现两个修饰短语，第二个短语修饰第一个动词，第一个短语分别修饰两个动词和；(5)连动句中出现两个修饰短语时，第二个修饰第二个动词，第一个分别修饰两个动词和。以下我们借助竖线算子的类型逻辑语法规则，同时采用推广竖线算子功能的涉及省略槽的eI规则，对汉语连动句的各种复杂情况进行逻辑语义分析和形式推演求解。
关于(1)，连动句中多个动词前有一个修饰短语，这个修饰短语只限制前一个动词，不限制后一个动词结构，这就是相邻指向。汉语句在句法上一般都具有单一的线性排列句法结构形式，在语义指向上一般都遵循“临近性原则”，相邻两个语词形成相互依赖的语言链。如：
1a.张麻子大步流星地走过去牵着马。
修饰短语“大步流星”是关于“步行动作”的性质，给它指派的范畴是adv(adv=(np\s)/(np\s))。根据Chomsky管约论的原则，修饰限制词在局部小句内必须有明确的限制对象，所以它要在小句内相邻或相隔搜索指向某一个动词。该句中的adv应该指向和其相邻的vp(vp=np\s)，即和第一个动词“走过去”毗连。我们可以运用通常类型逻辑语法的规则和广义合取规则来描写，得到1a'：
关于(2)，连动句中两个动词前有一个修饰限制成分，这个限制成分既可以修饰相邻的动词，又可以修饰相隔的动词，这就是非连续现象。如2a：
2a.渔夫很快停了艇子唱起山歌。
据前分析，我们可以先用eI规则，再利用广义合取规则进行计算，可以得出2a'：
“很快”是一个表示动作速度的状态词，作为动词的修饰短语，指派给它的范畴仍然是adv。它在语义上可以指向“停了艇子”，也可以指向“唱起山歌”，因此它可以指向右毗连相邻的VP，获得一个结果范畴及其对应的逻辑式“很快ˊ（停了艇子ˊ）”。同时它还可以向右指向非连续的另一个VP，获得“很快ˊ（唱起山歌ˊ）”的逻辑式。为了展现相隔的语义指向，我们需要在两个VP之间的省略槽中引入“λX.X:advadv”，这就是竖线算子的推广应用，用于类似副词功能的修饰短语的回指照应。
(3)的情况表明，自然语言中有时会出现一些异常现象，修饰短语并不就近限制相邻的动词，而在语义上指向了和它隔开的动词，这和(2)略有不同。如3a：
3a.这些人有滋有味地蹲在路边喝着豆腐脑儿。
汉语句子具有单向线性排列的句法结构，计算机在识别连动句中修饰短语对动词的管辖限制时，通常遵守相邻原则，对相邻成分的范畴进行计算。对于3a，需要借助交换的结构规则Com，得出3a'：
“有滋有味地”用来描写“喝”的状态，在语义上不指向相邻的“蹲在路边”，而是指向隔开一段距离的“喝着豆腐脑儿”。所以在进行类型逻辑语法计算推演时，需要在前一个VP前面消去“有滋有味”，后一个VP前面添加“有滋有味”。实际上就是把“有滋有味”和“蹲在路边”两个表达式进行交换。
第(4)种情况说的是：连动句中出现两个修饰成分，第一个分别限制两个动词，第二个仅仅修饰第一个动词。汉语连动句含有多个动词，而动词前面可能有两个或两个以上的修饰限制成分，它们与后面动词的语义指向具有不平衡的特点，错综复杂。如4a：
4a.张三赶紧一把拉开李四跳舞。
这里出现“赶紧”和“一把”两个修饰语，“赶紧”既限制动词短语“拉开李四”，又修饰动词“跳舞”。而“一把”仅仅修饰邻近的动词短语“拉开李四”。4a的计算推演类似2a'。
第(5)种情况为：连动句中出现两个修饰成分时，第一个分别限制两个动词，第二个仅仅修饰第二个动词。如5a：
5a.他们赶紧一起放下碗招待客人。
这里出现“赶紧”和“一起”两个修饰成分，“赶紧”只限制间隔开的动词短语“放下碗”，而“一起”既修饰邻近的动词“放下碗”，又跟远方的动词短语“招待客人”发生限制关系。这里非连续现象比较复杂，其计算推演既涉及交换结构规则，又采用竖线算子的推广使用规则eI。5a的计算推演从略。
类型逻辑语法是基于“计算推演”观念的逻辑语义理论，近年来贾格尔提出的竖线算子具有处理自然语言代词回指照应现象的功能。我们对类型逻辑语法的竖线算子进行推广使用，确立可用于在省略槽中添加涉及动词修饰成分的竖线算子的规则，这样我们在处理汉语连动句中修饰短语与各个动词之间的语义指向不平衡时，就可以使修饰成分限制不相邻的动词，从而解决连动句中非连续现象的语义求解问题。从前面的分析中，可以看出类型逻辑语法的计算推演方式能够准确展现出连动句中修饰限制成分对各个动词管辖的复杂现象。这种形式化的计算推演表达经得起计算机的检验和识别，也为外民族人学习和解读汉语连动句提供了一种简单快捷的理解手段。
注释：
①G.Jger,Anaphora and Type Logical Grammar,Netherland:Springer,2005,p.135.
②LLPC为“Lambek Calculus with Limited Permutation and Contraction”的缩写，指包含受限的置换规则和缩并规则的兰贝克演算，是邹崇理和满海霞在其合作的论文中提出的类型逻辑系统。
③刘海燕：《汉语连动句的逻辑语义分析》，四川人民出版社，2008，第273-290页。