Question answering: from partitions to Prolog

Details Question answering: from partitions to Prolog Question answering: from partitions to Prolog

2002-09-04

arxiv.org/abs/cs/0209009v1

Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods, ed. Uwe Egly and Christian G. Fe

Computer Science

Computation and Language

15 pages

Scientific paper

We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tableau theorem proving. The algorithm relies on a syntactic characterization of answerhood: Any answer to a question is equivalent to some formula built up only from instances of the question. We prove this characterization by translating the logic of interrogation to classical predicate logic and applying Craig's interpolation theorem.

Affiliated with

Also associated with

No associations

Rating

Question answering: from partitions to Prolog 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 Question answering: from partitions to Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Question answering: from partitions to Prolog will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-620798