New Polynomial Classes for Logic-Based Abduction

JAIR 2003 pp. 1-10

doi:10.1613/JAIR.1170 /jair/2003/zanuttini2003jair-new/

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.

PDF JAIR Semantic Scholar

Cite

Text

Zanuttini. "New Polynomial Classes for Logic-Based Abduction." Journal of Artificial Intelligence Research, 2003. doi:10.1613/JAIR.1170

Markdown

[Zanuttini. "New Polynomial Classes for Logic-Based Abduction." Journal of Artificial Intelligence Research, 2003.](https://mlanthology.org/jair/2003/zanuttini2003jair-new/) doi:10.1613/JAIR.1170

BibTeX

@article{zanuttini2003jair-new,
  title     = {{New Polynomial Classes for Logic-Based Abduction}},
  author    = {Zanuttini, Bruno},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2003},
  pages     = {1-10},
  doi       = {10.1613/JAIR.1170},
  volume    = {19},
  url       = {https://mlanthology.org/jair/2003/zanuttini2003jair-new/}
}