| 指代消解的主要方法及其机制 |
| |
| 引用本文： | 张晓君. 指代消解的主要方法及其机制[J]. 毕节学院学报, 2012, 30(10): 36-42 |
| |
| 作者姓名： | 张晓君 |
| |
| 作者单位： | 厦门大学哲学系,福建厦门,361005 |
| |
| 基金项目： | 国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”阶段性成果之一;项目 |
| |
| 摘 要： | 指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。
|
| 关 键 词： | 话语表现理论 动态谓词逻辑 动态蒙太格语法 增量动态逻辑 范畴类型逻辑 |
Main Methods and Mechanisms of Anaphora Resolution |
| |
| ZHANG Xiao-jun. Main Methods and Mechanisms of Anaphora Resolution[J]. Journal of Bijie University, 2012, 30(10): 36-42 |
| |
| Authors: | ZHANG Xiao-jun |
| |
| Affiliation: | ZHANG Xiao-jun(Department of Philosophy,Xiamen University,Xiamen,Fujian 361005,China) |
| |
| Abstract: | |
| |
| Keywords: | Discourse Representation Theory Dynamic Predicate Logic Dynamic Montague Gram- mar Incremental Dynamic Logic Categorical Type Logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
