New Polynomial Classes for Logic-Based Abduction
Artificial Intelligence
2011-06-28 v1
Abstract
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.
Cite
@article{arxiv.1106.5263,
title = {New Polynomial Classes for Logic-Based Abduction},
author = {B. Zanuttini},
journal= {arXiv preprint arXiv:1106.5263},
year = {2011}
}