We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A Methodology for Using a Default and Abductive Reasoning System.
- Authors
Poole, David
- Abstract
This article investigates two different activities that involve making assumptions: predicting what one expects to be true and explaining observations. In a companion article. a logic-based architecture for both prediction and explanation is proposed and an implementation is outlined. In this article, we show how such a hypothetical reasoning system can be used to solve recognition, diagnostic, and prediction problems. As part of this is the assumption that the default reasoner must be “programmed” to get the right answer and it is not just a matter of “stating what is true” and hoping the system will magically find the fight answer. A number of distinctions have been found in practice to be important: between predicting whether something is expected to be true versus explaining why it is true; and between conventional defaults (assumptions as a communication convention), normality defaults (assumed for expediency), and conjectures (assumed only if there is evidence). The effects of these distinctions on recognition and prediction problems are presented. Examples from a running system are given.
- Subjects
REASONING; METHODOLOGY; DEFAULT reasoning; ABDUCTION (Logic); HYPOTHESIS; LOGIC; THOUGHT &; thinking
- Publication
International Journal of Intelligent Systems, 1990, Vol 5, Issue 5, p521
- ISSN
0884-8173
- Publication type
Article
- DOI
10.1002/int.4550050506