The Complexity of Logic-Based Abduction

10 years 1 months ago
The Complexity of Logic-Based Abduction
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a logical theory, we speak about logic-based abduction. Candidates for abductive explanations are usually subjected to minimality criteria such as subsetminimality, minimal cardinality, minimal weight, or minimality under prioritization of individual hypotheses. This paper presents a comprehensive complexity analysis of relevant decision and search problems related to abduction on propositional theories. Our results indicate that abduction is harder than deduction. In particular, we show that with the most basic forms of abduction the relevant decision problems are complete for complexity classes at the second level of the polynomial hierarchy, while the use of prioritization raises the complexity to the third level in certain cases. Categories and Subject Descriptors: I.2.3 [Artificial Intelligence]: Deduction...
Thomas Eiter, Georg Gottlob
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Authors Thomas Eiter, Georg Gottlob
Comments (0)