真值条件语义学解释.ppt
《真值条件语义学解释.ppt》由会员分享,可在线阅读,更多相关《真值条件语义学解释.ppt(24页珍藏版)》请在三一文库上搜索。
1、真值条件语义学简介 An Introduction to Truth- conditional Semantics,李 颖 (),提纲,什么是真值条件语义学 基本概念与理论架构 小结 结束语,什么是真值条件语义学,真值条件语义学也称逻辑语义学或者形式语义学,由蒙太古(Montague)创立。 用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具来研究自然语言的语义。奠基性论文有(1)English as a Formal Language.(2)The Proper Treatment of Quantification in Ordinary English.等 面向的是自然语言,但不是自然语言的
2、全部,只是研究其中的陈述句。,基本概念与理论架构,基本概念 真值条件 模型 可能世界 理论架构,基本概念,真值条件(truth condition):那些可使一个语句为真的条件就是该语句的真值条件。 句子的意义(meaning of sentence):理解句子的意义就在于获取它的真值条件。 S is true iff p. S 代表某个句子,p 代表句子的真值条件,iff (if and only if )是充分必要条件。例如:“snow is white” is true iff snow is white.,基本概念(2),模型:模型可以理解为一种情景的“表达”方式。情景总会涉及到一些人
3、和物以及它们之间的关系,模型的任务就是描述这些人和物以及它们之间的关系。 模型通常用M 表示:M=(U,F) 其中U表示情景中所有本体的集合,是论域。F是赋值函数,其作用是把句子中的基本词(个体词和谓词)跟U中的本体直接或间接联系在一起。 可以看一个例子。,模型的一个实例,语句:Zhang San likes Li Si 模型M=U,F 其中U=ZHANG SAN,LI SI,WANG WU F(Zhang San)=ZHANG SAN F(Li Si)=LI SI F(Wang Wu)=WANG WU F(like)=(ZHANG SAN,LI SI),(ZHANG,SAN,WANG WU)
4、,(LI SI,ZHANG SAN) F(walk)=ZHANG SAN,WANG WU,基本概念(3),可能世界(possible worlds): A proposition is a function from possible worlds to truth values. 时间、空间是可能世界的主角。 时态、模态、语气的表达完全可以借助可能世界来表达。“过去、现在、将来,本当、应该、实际上”是可能世界的一种描述。,理论架构(1),由3部分组成 真值条件理论 模型理论 可能世界真值理论,理论架构(2),处理过程分3步 翻译:把自然语言句子翻译成逻辑语言。逻辑语言没有歧义,句法与语义被精
5、确定义。 建模:为逻辑语言建立一个形式化的情景模型。 求解:计算逻辑语言表达式在给定模型下的真值。 举例,例1(句子的意义)翻译 Zhang San likes Li Si,NL LL Zhang San likes Li Si like(Zhang San, Li Si) 词汇 N=Zhang San, Li Si, 个体常元 a,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是
6、个 体词,那么B(a,b)合法 NP-Npr,例1(句子的意义)语义解释 Zhang San likes Li Si,(1)建模M=U,F 其中U=ZHANG SAN,LI SI,WANG WU F(Zhang San)=ZHANG SAN ,F(Li Si)=LI SI F(Wang Wu)=WANG WU F(like)=(ZHANG SAN,LI SI),(ZHANG SAN,WANG WU),(LI SI,ZHANG SAN) F(walk)=ZHANG SAN,WANG WU (2)语义规则 如果a是谓词或个体常元,a M =F(a) 如果a是一元谓词,b是个体常元,则a(b) M
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 真值 条件 语义学 解释
链接地址:https://www.31doc.com/p-2179062.html