资源描述：
《话语表征理论简介与评述》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、话语表征理论简介与评述——资料整理与报告简稿郑植1.背景介绍自然语言中，表达式的意义依赖于语境/上下文。而话语表征理论DRT作为一种动态语义学理论，其着眼点在于意义的上下文依赖。句子与篇章存在着互动关系。单个句子是组成篇章的要素，它们按照最初给定的语义解释规则为篇章“贡献”意义，使得篇章发生改变，而已有的篇章又决定着接下来的句子的意义的走向，即决定了接下来句子的解释规则。对上下文的关注改变了“经典”形式语义学对“意义”的理解。“经典”形式语义学关注语言表达式的指称和真值条件。现在我们将句子的意义的
2、解读由“真值条件”改为“信息改变潜力”（informationchangepotential）——即将已给出的篇章（信息）塑造为新篇章（信息）的能力。典型的例子：回指代词（Anaphoricpronouns）he,her,it,him,his,its等。ADYNAMICANDREPRESENTATIONALACCOUNTOFMEANING篇章中的句子往往通过回指/照应（Anaphoric）结合在一起。形式语义学要关注句内和句间的回指/照应要关注以下两点：1）将意义视为真值条件的传统观点应让位给一种
3、动态的（dynamic）的意义观。2）传统的对NP回指的分析方法——将回指的NP看做量化结构中的约束变元——需要修正。TruthConditions,DiscourseandInterpretationinContext在一阶逻辑中有（1）∃xΦ⇔￢∀x￢Φ其应用：∃x(delegate(x)∧arrive(x))（2）Adelegatearrived.一个代表到达了。等值于：￢∀x￢(delegate(x)∧arrive(x))（3）Itisnotthecasethateverydelegate
4、failedtoarrive.并非每个代表都没有到达。将其扩展为一个小型的语篇：（回指关系用脚标标出）（4）Adelegateiarrived.Sheiregistered.一个代表i到达了。她i进行了注册。但是下面的等值变换出了问题：（5）*Itisnotthecasethateverydelegateifailedtoarrive.Sheiregistered.并非每个代表i都没有到达。她i进行了注册。真值条件语义学失效。直觉上看，原因在于：（2）updatetheinitiallyavail
5、ablecontextwithanantecedentwhichcanbepickedupbyanaphoricexpressionsinsubsequentdiscourse;thetruthconditionallyequivalent(3)doesn’t.在这个问题上一阶逻辑出问题，但蒙太古语法似乎可以合理解释：（4）实际上用（6）来刻画：（6）(λP.∃x(delegate(x)∧P(x))(λy.(arrive(y)∧register(y)))（6）可以归约为（7）(7)∃x(deleg
6、ate(x)∧arrive(x)∧register(x))（6）实际上是将（4）的两个句子归约为一个主从复合句：Thereisadelegatewhoarrivedandregistered.但是，(8)Exactlyonedelegatearrived.Sheregistered.(9)Exactlyonedelegatearrivedandregistered.如果把（8）形式化为：λP∃x(delegate(x)∧P(x)∧∀y([delegate(y)∧P(y)]→x=y))，则（8）的真
7、值条件等于（9）。而事实上不是。蒙太古也无法恰当地解释这个问题。DonkeySentences不定指的NP传统上被视为由存在量词约束的变元。例如：a/an+n.句（2）存在一位代表到达了。Aquickbrownfoxjumpsoverthelazydog.存在一只快棕狐……但是，这种观点也有反例：(12)IfPedroiownsadonkeyj,heilikesitj.(13)Everyfarmerwhoownsadonkeyjlikesitj.应该形式化为：(14)∀x[(donkey(x)∧o
8、wn(pedro,x))→like(pedro,x)](15)∀x∀y[(farmer(x)∧donkey(y)∧own(x,y))→like(x,y)]（注：以下几种使用存在量词的尝试均是错的）∃x[(donkey(x)∧own(pedro,x))→like(pedro,x)]∃x[(donkey(x)∧own(pedro,x))]→like(pedro,x)∃x[(donkey(x)∧own(pedro,x))∧x=y]→like(pedro,y)∃x[donkey(x)∧(o
