分段式话语表现理论

分段式话语表现理论(Segmented Discourse Representation Theory,简称SDRT)把动态语义学和人工智能关于话语解释的研究结合起来,并把修辞结构引入动态语义学。SDRT包含了两种逻辑:信息内容的逻辑和粘着逻辑。SDRT使用语义未具体化陈述的语言L ulf来描述话语的逻辑形式,表达关于语义未具体化陈述的信息,L ulf的推论关系抓住了未具体化逻辑形式和所有可能的解释之间的关系。通过粘着逻辑和最大化话语融贯性原则,话语更新定义了未具体化逻辑形式和语用上更可取的解释之间的关系。

基于组合式话语表现理论的现代汉语篇章语义形式化

为获得汉语篇章的形式语义,用组合式话语表现理论对汉语从词到句再到篇章进行语义组合。按句法规则和词类的λ-box表达式,通过翻译规则得到句子的逻辑表达式,然后通过话语表现理论进一步得到汉语篇章的形式表示。提出一个描述上述过程的原型系统,可帮助建立现代汉语篇章语义的机内表示。

话语表现理论思想概述

话语表现理论是二十世纪八十年代初期由汉斯·坎普提出的一种动态的描述自然语言意义的语义学理论。这种理论强调语言的动态特征及上下文对语句意义的影响,认为一个句子的意义不仅取决于它本身的语义,也取决于其上下文对其的影响。

话语表现理论述评

话语表现理论（ＤｉｓｃｏｕｒｓｅＲｅｐｒｅｓｅｎｔａｔｉｏｎＴｈｅｒｏｙ，简称ＤＲＴ）是动态地描述自然语言意义的形式语义理论。其特色为：把传统形式语义学对句子的分析扩大到句子系列，通过对句子上下文的分析，展示其中名词与代词的照应关系，以及动词在时间方面的复杂联系；ＤＲＴ不仅具有通常形式语义学那样的句法规则和模型语义解释，还在句法结构分析树与语义模型之间，增设一个语义表现的中间层面，借以表现句子信息的不断递增及人们理解分析语言的认知特征。ＤＲＴ对汉语研究也显示出方法论的重要意义。本文着重于：在勾画出ＤＲＴ的总体框架的同时，比较详细地说明ＤＲＴ的逻辑方面的技术细节。

《一个真值理论与语义表征》述评

通过对汉斯坎普的论文《一个真值理论与语义表征》的译介和对话语表现理论(DRT)新近发展的介绍,描述与模型相类似的分析方法,阐明心理表征的本质和思维结构。

指代消解的主要方法及其机制

指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。

命题态度句的成真条件

用动态认知逻辑特别是话语表现理论为主要研究工具,充分考虑语境因素,探讨命题态度句的语义解释,得出的结论是:(一)命题态度句的语义依赖于被报道的信念和解释者对信念主体的认知状态的表征的其它元素的交互作用;(二)对命题态度句的处理揭示了语义的动态更新过程。

语言逻辑和符号学学术年会简介

由中国逻辑学会语言逻辑和符号学两个专业委员会联合召开的９８年学术年会于当年１０月在福建省福清市举行。来自全国各地大专院校科研院所５０余位学者出席了本次年会。符号学专业委员会李先主任代表两个专业委员会作了１９９４—１９９８年会务工作报告。本次年会以符...