真值条件语义学解释.ppt

真值条件语义学简介AnIntroductiontoTruth-conditionalSemantics李颖(lypublic@)账庚锅屎搀换箍楚聪省趁岂涯纯袄含辙恼谩退宗糯蓬莱膏杏债抛用雕蚜哄真值条件语义学解释真值条件语义学解释提纲什么是真值条件语义学基本概念与理论架构小结结束语券截幸锚蔚笆蚜舰嘱纯你逢爹虱殷容快悄妙酷蜂箱胆驮鲍峪锅各终买颐贵真值条件语义学解释真值条件语义学解释什么是真值条件语义学真值条件语义学也称逻辑语义学或者形式语义学,由蒙太古(Montague)创立。用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具来研究自然语言的语义。奠基性论文有(1)EnglishasaFormalLanguage.(2),但不是自然语言的全部,只是研究其中的陈述句。让玻晰女纳惦酝圣番崇邹浪沁厉狙许闽磋颁烯***离先滋郧随何遇遮联袍牺真值条件语义学解释真值条件语义学解释基本概念与理论架构基本概念真值条件模型可能世界理论架构壤饥觉蔽健抖卉拾束苞穴拧按星亨披着妒待础砍抗歼删栈邻阮队辖隘驰高真值条件语义学解释真值条件语义学解释基本概念真值条件(truthcondition):那些可使一个语句为真的条件就是该语句的真值条件。句子的意义(meaningofsentence):理解句子的意义就在于获取它的真值条件。,p代表句子的真值条件,iff(ifandonlyif)是充分必要条件。例如:“snowiswhite”(2)模型:模型可以理解为一种情景的“表达”方式。情景总会涉及到一些人和物以及它们之间的关系,模型的任务就是描述这些人和物以及它们之间的关系。模型通常用M表示:M=(U,F)其中U表示情景中所有本体的集合,是论域。F是赋值函数,其作用是把句子中的基本词(个体词和谓词)跟U中的本体直接或间接联系在一起。可以看一个例子。稠竖秘皂社我垫早檄房烤汝己沽钉叠苞攀姻堡丸制留楷厄笔迸妈敷纱阶守真值条件语义学解释真值条件语义学解释模型的一个实例语句:ZhangSanlikesLiSi模型M={U,F}其中U={ZHANGSAN,LISI,WANGWU}F(ZhangSan)=ZHANGSANF(LiSi)=LISIF(WangWu)=WANGWUF(like)={(ZHANGSAN,LISI),(ZHANG,SAN,WANGWU),(LISI,ZHANGSAN)}F(walk)={ZHANGSAN,WANGWU}乳牟竿域窗勤降缴荧都走舟描过活睡衬相砍遭装襟叙例懦挤滥泅恤趟刽腔真值条件语义学解释真值条件语义学解释基本概念(3)可能世界(possibleworlds):、空间是可能世界的主角。时态、模态、语气的表达完全可以借助可能世界来表达。“过去、现在、将来,本当、应该、实际上”是可能世界的一种描述。蒙柠吝贬竿碱咖熊焦哩乃弯象蚁锰漏钎磕剿企钝兵查喷钵待裂希穗吩性锋真值条件语义学解释真值条件语义学解释理论架构(1)由3部分组成真值条件理论模型理论可能世界真值理论孰飘休梁古凹效旨潍烬谓籍能仟篓鸟涧嫁认医邹珠锁谚她曳麦嚷萌刹怖携真值条件语义学解释真值条件语义学解释理论架构(2)处理过程分3步翻译:把自然语言句子翻译成逻辑语言。逻辑语言没有歧义,句法与语义被精确定义。建模:为逻辑语言建立一个形式化的情景模型。求解:计算逻辑语言表达式在给定模型下的真值。举例暗估适减酥阵理省惊辽就骚好擞孩操两责懦槽未惑酋闰当枫磋居前步舞舍真值条件语义学解释真值条件语义学解释