Tableaux for diagnosis applications

verfasst von: 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.
Organisationseinheit(en): Fachgebiet Wissensbasierte Systeme
Externe Organisation(en): Universität Koblenz-Landau
Typ: Aufsatz in Konferenzband
Seiten: 76-90
Anzahl der Seiten: 15
Publikationsdatum: 1997
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
ASJC Scopus Sachgebiete: Theoretische Informatik, Allgemeine Computerwissenschaft
Elektronische Version(en): https://doi.org/10.1007/BFb0027406 (Zugang: Unbekannt)

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",
}