Implementing the binding and accommodation theory for anaphora resolution and presupposition projection (2003)
| Venue: | COMPUTATIONAL LINGUISTICS |
| Citations: | 6 - 5 self |
BibTeX
@ARTICLE{Bos03implementingthe,
author = {Johan Bos},
title = {Implementing the binding and accommodation theory for anaphora resolution and presupposition projection},
journal = {COMPUTATIONAL LINGUISTICS},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
... this article. BAT is reformulated to meet requirements for computational implementation, which include operations on discourse representation structures (renaming and merging), the representation of presuppositions (allowing for selective binding and determining free and bound variables), and a formulation of the acceptability constraints imposed by BAT. An efficient presupposition resolution algorithm is presented, and several further improvements such as preferences for binding and accommodation are discussed and integrated in this algorithm. Finally, innovative use of first-order theorem provers to carry out consistency checking of discourse representations is investigated.
