New polynomial classes for logic-based abduction

Bruno Zanuttini (1)

1 Equipe MAD - Laboratoire GREYC - UMR6072

We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.

Domaines: Intelligence artificielle [cs.AI]

Bruno Zanuttini. New polynomial classes for logic-based abduction. Journal of Artificial Intelligence Research, 2003, 19, pp.1-10. ⟨hal-00995237⟩