Details
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings |
| Editors | Didier Galmiche |
| Publisher | Springer Verlag |
| Pages | 76-90 |
| Number of pages | 15 |
| ISBN (print) | 3540629203, 9783540629207 |
| Publication status | Published - 1997 |
| Event | International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997 - Pont-a-Mousson, France Duration: 13 May 1997 → 16 May 1997 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1227 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
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.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings. ed. / Didier Galmiche. Springer Verlag, 1997. p. 76-90 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1227).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Tableaux for diagnosis applications
AU - Baumgartner, Peter
AU - Frshlich, Peter
AU - Furbach, Ulrich
AU - Nejdl, Wolfgang
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1997.
PY - 1997
Y1 - 1997
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84958779225&partnerID=8YFLogxK
U2 - 10.1007/BFb0027406
DO - 10.1007/BFb0027406
M3 - Conference contribution
AN - SCOPUS:84958779225
SN - 3540629203
SN - 9783540629207
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 76
EP - 90
BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings
A2 - Galmiche, Didier
PB - Springer Verlag
T2 - International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997
Y2 - 13 May 1997 through 16 May 1997
ER -