真值条件语义学解释.ppt

真值条件语义学简介An Introduction to Truth- conditional Semantics 李 颖 （lypublic@） 提纲 什么是真值条件语义学 基本概念与理论架构 小结 结束语 什么是真值条件语义学 真值条件语义学也称逻辑语义学或者形式语义学，由蒙太古（Montague）创立。 用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具来研究自然语言的语义。奠基性论文有(1)English as a Formal Language.(2)The Proper Treatment of Quantification in Ordinary English.等 面向的是自然语言，但不是自然语言的全部，只是研究其中的陈述句。 基本概念与理论架构 基本概念 真值条件 模型 可能世界 理论架构 基本概念 真值条件（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) 模型：模型可以理解为一种情景的“表达”方式。情景总会涉及到一些人和物以及它们之间的关系，模型的任务就是描述这些人和物以及它们之间的关系。 模型通常用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)，(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步 翻译：把自然语言句子翻译成逻辑语言。逻辑语言没有歧义，句法与语义被精确定义。 建模：为逻辑语言建立一个形式化的情景模型。 求解：计算逻辑语言表达式在给定模型下的真值。 举例 例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是个 体词，那么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（l