SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
An efficient easily adaptable system for interpreting natural language queries
Computational Linguistics
Making sense of reference to the unfamiliar
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
On inference-based procedures for lexical disambiguation
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
| Hi-index | 0.00 |
We consider two issues relating to WH-questions:(i) when you ask aWH-question you already have a description of the entity you are interested in,namely the description embodied in the question itself. You may evenhave very direct access to the entity – see (1) below.In general, what you want is an alternative description of some item thatyou already know a certain amount about.(ii) the person attempting to answer the question may not be able to lay theirhands on an example, but they may know what they are like, how you recognisethem, where you can get them. If someone asks me “Where can I buy an Italiannewspaper?” then it is better to give them a generic answer like“In any large newsagent.” than to just say “I don't know.”We argue that attempting to deal with these issues requires the person (or system) trying to come up with an answer to reason about thedescription embodied in the question, and we describe a system that is capableof carrying out such reasoning.