摘要
指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。
How anaphoric relations in natural languages should be formulated and investigated is one of important and difficult issues in artificial intelligence. Various systems which deal with them have been come up with. This paper presents fourteen systems in logic which be investigated by the writer. The mechanisms of anaphora resolution are as follows： intermediary mechanism; dynamic binding mechanism; indexing mecha- nism; compound mechanism; categorical mechanism. The paper is mainly concerned with Discourse Represen- tation Theory, Dynamic Predicate Logic, Dynamic Montague Grammar, Incremenral Dynamic Logic and Cate- gorical Type Logic. The five mechanisms are illustrated by the five systems respectively.
基金
国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"阶段性成果之一
项目编号:10&ZD 073
关键词
话语表现理论
动态谓词逻辑
动态蒙太格语法
增量动态逻辑
范畴类型逻辑
Discourse Representation Theory
Dynamic Predicate Logic
Dynamic Montague Gram- mar
Incremental Dynamic Logic
Categorical Type Logic
