Question answering: from partitions to Prolog
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2002
- DOI:
- 10.48550/arXiv.cs/0209009
- arXiv:
- arXiv:cs/0209009
- Bibcode:
- 2002cs........9009T
- Keywords:
-
- Computer Science - Computation and Language;
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science;
- F.4.1;
- I.2.3;
- I.2.7
- E-Print:
- 15 pages