KSL-98-19 + redirect page
Logic-Based Abductive Inference + Has identifier
Logic-Based Abductive Inference + Ksl tr id
Logic-Based Abductive Inference + Number
| Logic-Based Abductive Inference |
Bibtype
techreport
Has publishing details
July,1998
Has title
Logic-Based Abductive Inference
Has where published
KSL-98-19
Has year
1998
Title
Logic-Based Abductive Inference
Year
1998
Abstract
This paper surveys the work on abductive i … This paper surveys the work on abductive inference within the field of artificial intelligence (AI), with particular attention to logic-based abduction. The paper commences with a formal description of three popular characterizations of abductive inference. This is followed by an examination of several specific logic-based abductive frameworks, each of which applies syntactic restrictions to the formulation of the abductive reasoning problem and the resultant explanation. Mechanisms for computing logic-based abductive explanations, and the complexity of variants of the abduction task are examined in the sections to follow. This paper also surveys different applications of abduction in AI, and the connections between abduction and other types of nonmonotonic reasoning. The paper concludes with a discussion of potential future research areas. ussion of potential future research areas.
Author
Sheila A. McIlraith +
Has author
Sheila A. McIlraith +
Has identifier
Logic-Based Abductive Inference +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Logic-Based Abductive Inference +
Month
July +
Number
Logic-Based Abductive Inference +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
