ML Anthology

Semantically Guided Theorem Proving for Diagnosis Applications

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
IJCAI 1997 pp. 460-465
/ijcai/1997/baumgartner1997ijcai-semantically/

Abstract

In this paper we demonstrate how general purpose automated theorem proving techniques can be used to solve realistic model-based diagnosis problems. For this we modify a model generating tableau calculus such that a model of a correctly behaving device can be used to guide the search for minimal diagnoses. Our experiments show that our general approach is competitive with specialized diagnosis systems.

Semantic Scholar

Cite

Text

Baumgartner et al. "Semantically Guided Theorem Proving for Diagnosis Applications." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Baumgartner et al. "Semantically Guided Theorem Proving for Diagnosis Applications." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/baumgartner1997ijcai-semantically/)

BibTeX

@inproceedings{baumgartner1997ijcai-semantically,
  title     = {{Semantically Guided Theorem Proving for Diagnosis Applications}},
  author    = {Baumgartner, Peter and Fröhlich, Peter and Furbach, Ulrich and Nejdl, Wolfgang},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {460-465},
  url       = {https://mlanthology.org/ijcai/1997/baumgartner1997ijcai-semantically/}
}