动态谓词逻辑相关论文
话语表现理论（Discourse Representation Theory，DRT）是由Hans Kamp发展起来的适合于自然语言句子序列的语义学理论。DRT增设一个语义......
指代消解是人工智能研究领域的重点和难点内容之一，因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方......
组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓......
＂皮尔士谜题＂由皮尔士（C.S.Peirce）提出,其核心问题在于,一阶逻辑框架内两对表达式真值相同,而它们在自然语言中所对应的句子却不等值......
话语表现理论是形式语义学发展过程中的一道分水岭,人们称其之前的为传统形式语义学。它与传统形式语义学最大的不同就是:后者对句......
研究目的人们在言语交际过程中,总是自觉或不自觉地运用各种手段和方法,以望达到预期的交际目的,这其中固然有诸多因素的影响,但不......
