基于动态谓词逻辑的汉语指代现象的信息处理

摘要

组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度，使用标准一阶谓词逻辑的正统句法，通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题：跨语句的指代消解和表示语句内部约束关系的“驴子句”中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析，并对于变项的指派进行扩展，或者对作为模型参照物的状态进行流动更新。