Exploring artificial intelligence
A terminological simplification transformation for natural language question-answering systems
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Bidirectional contextual resolution
Computational Linguistics
Discourse processing for explanatory essays in tutorial applications
SIGDIAL '02 Proceedings of the 3rd SIGdial workshop on Discourse and dialogue - Volume 2
Hi-index | 0.00 |
The paper describes a principled approach to the problem of deriving database queries from logical forms produced by a general NL interface. Our method attempts to construct a database query and a set of plausible assumptions, such that the logical form is equivalent to the query given the assumptions. The domain information needed is provided as declarative meaning postulates, including "definitional equivalences". The technical basis for the approach is that a "definition" of the form Head ∧ Conditions ↔ Body can be read procedurally as "Expand Head to Body if it occurs in an environment where Conditions can be inferred". The "environment" is provided by the other conjuncts occurring together with Head in the original logical form, together with other meaning postulates and the contents of the database. The method has been implemented in CLARE, a language and reasoning system whose linguistic component is the SRI Core Language Engine.