自然语言处理-第8章语义和逻辑形式.ppt

时态运算符（PAST、PRES和FUT）时态运算符可以表示出时态不同的句子在含义上的区别；[例1] ①JohnseesFido. ?(PRES(SEES1JOHN1FIDO1)) ②JohnsawFido. ?(PAST(SEES1JOHN1FIDO1)) ③JohnwillseeFido. ?(FUT(SEES1JOHN1FIDO1))时态运算符是自然语言中重要的一类情态运算符，它们也体现了替代失败。[例2]考虑运算符PAST。假定两个常量JOHN1和PRESIDENT1，有现在： John是总统 ?JOHN1和PRESIDENT1等价过去： John不是总统 ?JOHN1不等于PRESIDENT1又有，John从前见过Fido?(PAST(SEES1JOHN1FIDO1))但不能因此推断出：总统从前见过Fido?(PAST(SEES1PRESIDENT1FIDO1))注意：一个命题与它的否命题在过去可能同时为真(但不在同一时间内)。[例3]Johnwashappy.和Johnwasnothappy.可能都为真，即(PAST(HAPPYJOHN1))和(PAST(HAPPYJOHN1))都为真。返回为了在后续的解释过程中处理歧义，最终的逻辑形式必须能够正确地表示歧义；然而一个典型的句子可能有大量不同的逻辑形式，简单地列举所有这些可能的逻辑形式将是不现实的。01因此，需要采用一定的方法，将某些常见的歧义折叠起来，在逻辑形式中局部地表示，从而可以借助来自句子其它部分以及句子所处的上下文的附加限制来解决这些歧义。01许多研究人员把歧义的表示看作使解释过程中独立于逻辑形式的一层，通常称之为准逻辑形式(quasi-logicalform)。018.4逻辑形式中歧义的表示①单词歧义的表示单词的多个词义中，有一部分词义具有不同的结构特性，这些歧义可以根据句子的其他部分来删除。单词的不同词义往往有相同的结构限制。目前，这类歧义的表示方法只能是为句子中词义的每种可能的组合建立一个单独的逻辑形式。为了减少逻辑形式数量的剧增，可以采用与句法结构中处理多特征值时相同的方法，即在任何允许元词义的地方，也允许使用一个可能的元词义集合。[例]名词ball： 解释①BALL1，指游戏中使用的物体； 解释②BALL2，指包含跳舞的社交事件。在不考虑上下文时， Suewatchedtheball.? (THEb1:(BALL1b1)(PAST(WATCH1SUE1b1))) (THEb1:(BALL2b1)(PAST(WATCH1SUE1b1)))? (THEb1:({BALL1BALL2}b1)(PAST(WATCH1SUE1b1)))②由量词和运算符的相对作用域引起的歧义[例]8.2中的例句Everyboylovesadog，解释?：所有的男孩都喜爱同一条狗解释?：每个男孩喜欢的可能是不同的狗没有任何上下文无关的方法可以用于解决这类问题，因此句子的最终逻辑形式中应体现这种歧义。如果逐一列举所有可能的作用域，解释的数量将以作用域结构数为指数增长。因此，需要在逻辑形式语言中引入缩写形式，以便将解释折叠在一起。[注]较特别的是缩略逻辑形式（abbreviatedlogicalform），它根本就不包含作用域信息。这里采用的方法是在句法上将诸如广义量词之类的结构当作项来处理，使它们出现在由句子的句法结构所确定的位置上，并用尖括号来标记作用域的缩写。该方法可将作用域的所有可能形式(n!种)折叠成一种表示形式。依赖于不同量词作用域②由量词和运算符的相对作用域引起的歧义(二)[例]Everyboylovesadog.? (LOVES1EVERYb1(BOY1b1)?d1(DOG1d1)) (EVERYb1:(BOY1b1)(?d1:(DOG1d1)(LOVESb1d1))) (?d1:(DOG1d1)(EVERYb1:(BOY1b1)(LOVESb1d1)))[注意]这里，假设不存在任何上下文无关的作用域限制。(用于确定运算符作用域的启发式方法将在第12章中讨论。)如果受广义量词约束的是一个含简单一元谓词的命题，可以去掉这个变量来进一步缩写。[例]EV