PP-1999-14: A Tableau Calculus for Pronoun Resolution

PP-1999-14: Monz, Christof and de Rijke, Maarten (1999) A Tableau Calculus for Pronoun Resolution. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (112kB)
[thumbnail of Abstract] Text (Abstract)

Download (791B)


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.

To appear in: Proceedings of Tableaux'99
N. Murray, editor, LNAI, Springer, Berlin, 1999.

Item Type: Report
Report Nr: PP-1999-14
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/14

Actions (login required)

View Item View Item