DMCA
A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language Interpretation (1988)
| Citations: | 60 - 1 self |
BibTeX
@MISC{Stickel88aprolog-like,
author = {Mark E. Stickel},
title = {A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language Interpretation},
year = {1988}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
By determining what added assumptions would suffice to make the logical form of a sentence in natural language provable, abductive inference can be used in the interpretation of sentences to determine what information should be added to the listener's knowledge, i.e., what he should learn from the sentence. This is a comparatively new application of mechanized abduction. A new form of abduction---least specific abduction---is proposed as being more appropriate to the task of interpreting natural language than the forms that have been used in the traditional diagnostic and design-synthesis applications of abduction. The assignment of numerical costs to axioms and assumable literals permits specification of preferences on different abductive explanations. A new Prolog-like inference system that computes abductive explanations and their costs is given. To facilitate the computation of minimum-cost explanations, the inference system, unlike others such as Prolog, is designed to avoid the repeated use of the same instance of an axiom or assumption.
Keyphrases
prolog-like inference system natural-language interpretation minimum-cost abductive explanation natural language repeated use logical form abductive explanation mechanized abduction new application design-synthesis application numerical cost different abductive explanation abductive inference inference system minimum-cost explanation new prolog-like inference system new form assumable literal specific abduction
