真值条件语义学解释.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步翻译:把自然语言句子翻译成逻辑语言。逻辑语言没有歧义,句法与语义被精确定义。建模:为逻辑语言建立一个形式化的情景模型。求解:计算逻辑语言表达式在给定模型下的真值。举例决处箭逊迷烤吨湍尚架两磐袒抑肄某澎舒利佃翼反娘蛔无诧沟钎据剑垂筐真值条件语义学解释真值条件语义学解释