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 subset-minimality, minimal cardinality, miaimal weight, or minimality under prioritization of individual hypotheses. This paper presents a comprehensive complexity analysis of relevant problems related to abduction on propositional theories. They show that the different variations of abduction provide a rich collection of natural problems populating all major complexity classes between P and,ΣP3, ∏P3 in the refined polynomial hierarchy. More precisely, besides polynomial, NP-complete and co-NP-complete abduction problems, abduction tasks that are complete for the classes (formula presented), for i = 2, 3, are identified.
CITATION STYLE
Eiter, T., & Gottlob, G. (1993). The complexity of logic-based abduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 665 LNCS, pp. 70–79). Springer Verlag. https://doi.org/10.1007/3-540-56503-5_10
Mendeley helps you to discover research relevant for your work.