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