Tableaux for diagnosis applications
In [NF96] a very efficient system for solving diagnosis tasks has been described, which is based on belief revision procedures and uses first order logic system descriptions. In this paper we demonstrate how such a system can be rigorously formalized from the viewpoint of deduction by using the calculus of hyper tableaux [BFN96]. The benefits of this approach are twofold: first, it gives us a clear logical description of the diagnosis task to be solved; second, as our experiments show, the approach is feasible in practice and thus serves as an example of a successful application of deduction techniques to real-world applications.
Unable to display preview. Download preview PDF.
- [BFN96]P. Baumgartner, U. Furbach, and I. Niemelä. Hyper Tableaux. In JELIA 96. European Workshop on Logic in AI, Springer, LNCS, 1996.Google Scholar
- [CT91]Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991.Google Scholar
- [CW94]T. S-C. Chou and M. Winslett. A model-based belief revision system. Journal of Automated Reasoning, 12:157–208, 1994.Google Scholar
- [dKW87]Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.Google Scholar
- [FN96]Peter Fröhlich and Wolfgang Nejdl. A model-based reasoning approach to circumscription. In Proceedings of the 12th European Conference on Artificial Intelligence, 1996.Google Scholar
- [Isc85]The ISCAS-85 Benchmarks. http://www.cbl.ncsu.edu/ www/CBL_Docs/iscas85.html, 1985.Google Scholar
- [MB88]R. Manthey and F. Bry. SATCHMO: a theorem prover implemented in Prolog. In Proc. 9th CADE. Argonnee, Illinois, Springer LNCS, 1988.Google Scholar
- [NF96]Wolfgang Nejdl and Peter Fröhlich. Minimal model semantics for diagnosis — techniques and first benchmarks. In Seventh International Workshop on Principles of Diagnosis, Val Morin, Canada, October 1996.Google Scholar
- [NG94]Wolfgang Nejdl and Brigitte Giefer. DRUM:Reasoning without conflicts and justifications. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 226–233, October 1994.Google Scholar
- [RdKS93]Olivier Raiman, Johan de Kleer, and Vijay Saraswat. Critical reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 18–23, Chambery, August 1993.Google Scholar
- [Rei87]Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.Google Scholar
- [Rob65]J. A. Robinson. Automated deduction with hyper-resolution. Internat. J. Comput. Math., 1:227–234, 1965.Google Scholar