Tableaux for diagnosis applications

authored by: Peter Baumgartner, Peter Frshlich, Ulrich Furbach, Wolfgang Nejdl
Abstract: 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.
Organisation(s): Knowledge-Based Systems Section
External Organisation(s): University of Koblenz-Landau
Type: Conference contribution
Pages: 76-90
No. of pages: 15
Publication date: 1997
Publication status: Published
Peer reviewed: Yes
ASJC Scopus subject areas: Theoretical Computer Science, General Computer Science
Electronic version(s): https://doi.org/10.1007/BFb0027406 (Access: Unknown)

BibTeX

@inproceedings{7fe3ad5773024cc5a317d45d8a3a3ed8,
title = "Tableaux for diagnosis applications",
abstract = "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.",
author = "Peter Baumgartner and Peter Frshlich and Ulrich Furbach and Wolfgang Nejdl",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997 ; Conference date: 13-05-1997 Through 16-05-1997",
year = "1997",
doi = "10.1007/BFb0027406",
language = "English",
isbn = "3540629203",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "76--90",
editor = "Didier Galmiche",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings",
address = "Germany",
}