Semantically Guided Theorem Proving for Diagnosis Applications
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Diagnosis and Qualitative Reasoning. Pages 460-464.
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.
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl. 1997. Semantically Guided Theorem Proving for Diagnosis Applications. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 460–464. https://ijcai.org/proceedings/1997/68
Baumgartner, P., Fröhlich, P., Furbach, U., & Nejdl, W. (1997). Semantically Guided Theorem Proving for Diagnosis Applications. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 (pp. 460–464). IJCAI. https://ijcai.org/proceedings/1997/68
@inproceedings{ijcai1997p68,
title = {Semantically Guided Theorem Proving for Diagnosis Applications},
author = {Baumgartner, Peter and Fröhlich, Peter and Furbach, Ulrich and Nejdl, Wolfgang},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {460--464},
year = {1997},
note = {Diagnosis and Qualitative Reasoning},
url = {https://ijcai.org/proceedings/1997/68},
}
TY - CPAPER TI - Semantically Guided Theorem Proving for Diagnosis Applications AU - Baumgartner, Peter AU - Fröhlich, Peter AU - Furbach, Ulrich AU - Nejdl, Wolfgang T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 460 EP - 464 UR - https://ijcai.org/proceedings/1997/68 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
