A Tableau Calculus for Pronoun Resolution
Christof Monz, Maarten de Rijke
In: N.V. Murray (ed.) Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence 1617, Springer, 1999, pages 247-262 · 2000
We email you when a new notice or a question about this paper appears.
Abstract
We present a tableau calculus for reasoning in fragments of natural language. We focus on the problem of pronoun resolution and the way in which it complicates automated theorem proving for natural language processing. A method for explicitly manipulating contextual information during deduction is proposed, where pronouns are resolved against this context during deduction. As a result, pronoun resolution and deduction can be interleaved in such a way that pronouns are only resolved if this is licensed by a deduction rule; this helps us to avoid the combinatorial complexity of total pronoun disambiguation.
Abstract licence: CC0
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.