A Tableau Calculus for Pronoun Resolution

Details A Tableau Calculus for Pronoun Resolution A Tableau Calculus for Pronoun Resolution

2000-09-21

arxiv.org/abs/cs/0009017v1

In: N.V. Murray (ed.) Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence

Computer Science

Computation and Language

16 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Tableau Calculus for Pronoun Resolution does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Tableau Calculus for Pronoun Resolution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Tableau Calculus for Pronoun Resolution will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-131341