资源描述：
《真值条件语义学解释》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、真值条件语义学简介AnIntroductiontoTruth-conditionalSemantics李颖（lypublic@hotmail.com）提纲什么是真值条件语义学基本概念与理论架构小结结束语什么是真值条件语义学真值条件语义学也称逻辑语义学或者形式语义学，由蒙太古（Montague）创立。用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具来研究自然语言的语义。奠基性论文有(1)EnglishasaFormalLanguage.(2)TheProperTreatmentofQuantific
2、ationinOrdinaryEnglish.等面向的是自然语言，但不是自然语言的全部，只是研究其中的陈述句。基本概念与理论架构基本概念真值条件模型可能世界理论架构基本概念真值条件（truthcondition）：那些可使一个语句为真的条件就是该语句的真值条件。句子的意义（meaningofsentence）：理解句子的意义就在于获取它的真值条件。Sistrueiffp.S代表某个句子，p代表句子的真值条件，iff（ifandonlyif）是充分必要条件。例如：“snowiswhite”istr
3、ueiffsnowiswhite.基本概念(2)模型：模型可以理解为一种情景的“表达”方式。情景总会涉及到一些人和物以及它们之间的关系，模型的任务就是描述这些人和物以及它们之间的关系。模型通常用M表示：M=(U,F)其中U表示情景中所有本体的集合，是论域。F是赋值函数，其作用是把句子中的基本词（个体词和谓词）跟U中的本体直接或间接联系在一起。可以看一个例子。模型的一个实例语句：ZhangSanlikesLiSi模型M={U，F}其中U={ZHANGSAN，LISI，WANGWU}F（ZhangS
4、an）=ZHANGSANF(LiSi)=LISIF（WangWu）=WANGWUF（like）={(ZHANGSAN，LISI)，(ZHANG，SAN，WANGWU)，(LISI，ZHANGSAN)}F（walk）={ZHANGSAN，WANGWU}基本概念（3）可能世界（possibleworlds）：Apropositionisafunctionfrompossibleworldstotruthvalues.时间、空间是可能世界的主角。时态、模态、语气的表达完全可以借助可能世界来表达。“过去
5、、现在、将来，本当、应该、实际上”是可能世界的一种描述。理论架构（1）由3部分组成真值条件理论模型理论可能世界真值理论理论架构（2）处理过程分3步翻译：把自然语言句子翻译成逻辑语言。逻辑语言没有歧义，句法与语义被精确定义。建模：为逻辑语言建立一个形式化的情景模型。求解：计算逻辑语言表达式在给定模型下的真值。举例例1（句子的意义）翻译ZhangSanlikesLiSiNLLLZhangSanlikesLiSilike(ZhangSan,LiSi)词汇N={ZhangSan,LiSi,}个体常元a,
6、b,c,….V1={like,love,despise,l….}个体变元x,y,z,….V2={walk,run,sing,…..}谓词P，N，。。。句法S--->NP+V如果P是一元谓词，a是个体词，那么P（a）合法S-NP1+V+NP2如果B是二元谓词，a，b是个体词，那么B（a,b）合法NP-Npr例1（句子的意义）语义解释ZhangSanlikesLiSi（1）建模M={U，F}其中U={ZHANGSAN，LISI，WANGWU}F（ZhangSan）=ZHANGSAN，F(LiSi
7、)=LISIF（WangWu）=WANGWUF（like）={(ZHANGSAN，LISI)，(ZHANGSAN，WANGWU)，(LISI，ZHANGSAN)}F（walk）={ZHANGSAN，WANGWU}（2）语义规则如果a是谓词或个体常元，[a]M=F（a）如果a是一元谓词，b是个体常元，则[a(b)]M=1当且仅当[b]M∈[a]M如果a是二元谓词，b,c是个体常元，则a(b,c)M=1当且仅当([b]M,[c]M)∈[a]M例1（句子的意义）真值计算ZhangSanlikesLiS
8、i[likes(ZhangSan,LiSi)]M=1当且仅当([ZhangSan]M,[LiSi]M)∈[like]M([ZhangSan]M,[LiSi]M)=(F(ZhangSan),F(LiSi))=(ZHANGSAN,LISI)[like]M=F（like）={(ZHANGSAN，LISI)，(ZHANGSAN，WANGWU)，(LISI，ZHANGSAN)}由于(ZHANGSAN,LISI)∈{(ZHANGSAN，LISI)，(ZHANGSAN，WANGWU)，(LISI，ZHANGS
