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