Details
| Original language | English |
|---|---|
| Title of host publication | EPIA 1991 - 5th Portuguese Conference on Artificial Intelligence, Proceedings |
| Editors | Pedro Barahona, Luís Moniz Pereira, Antonio Porto |
| Publisher | Springer Verlag |
| Pages | 210-221 |
| Number of pages | 12 |
| ISBN (print) | 9783540545354 |
| Publication status | Published - 1991 |
| Externally published | Yes |
| Event | 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 - Albufeira, Portugal Duration: 1 Oct 1991 → 3 Oct 1991 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 541 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
This paper describes and formally defines the diagnosis and repair process considering repair as the main goal of this process. Other research on model-based diagnosis so far has been dealing only with the replacement of all components in a diagnosis as a repair action which we will show to be inadequate in many applications. We will then describe several key concepts necessary for a theory of a repair process and give a general definition of the repair process. Finally, we analyze the special case of component oriented repair and briefly mention how these concepts can enhance a conventional diagnosis system.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
EPIA 1991 - 5th Portuguese Conference on Artificial Intelligence, Proceedings. ed. / Pedro Barahona; Luís Moniz Pereira; Antonio Porto. Springer Verlag, 1991. p. 210-221 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 541 LNAI).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Towards a theory of the repair process
AU - Friedrich, Gerhard
AU - Gottlob, Georg
AU - Nejdl, Wolfgang
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - This paper describes and formally defines the diagnosis and repair process considering repair as the main goal of this process. Other research on model-based diagnosis so far has been dealing only with the replacement of all components in a diagnosis as a repair action which we will show to be inadequate in many applications. We will then describe several key concepts necessary for a theory of a repair process and give a general definition of the repair process. Finally, we analyze the special case of component oriented repair and briefly mention how these concepts can enhance a conventional diagnosis system.
AB - This paper describes and formally defines the diagnosis and repair process considering repair as the main goal of this process. Other research on model-based diagnosis so far has been dealing only with the replacement of all components in a diagnosis as a repair action which we will show to be inadequate in many applications. We will then describe several key concepts necessary for a theory of a repair process and give a general definition of the repair process. Finally, we analyze the special case of component oriented repair and briefly mention how these concepts can enhance a conventional diagnosis system.
UR - http://www.scopus.com/inward/record.url?scp=84873854699&partnerID=8YFLogxK
U2 - 10.1007/3-540-54535-2_36
DO - 10.1007/3-540-54535-2_36
M3 - Conference contribution
AN - SCOPUS:84873854699
SN - 9783540545354
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 210
EP - 221
BT - EPIA 1991 - 5th Portuguese Conference on Artificial Intelligence, Proceedings
A2 - Barahona, Pedro
A2 - Pereira, Luís Moniz
A2 - Porto, Antonio
PB - Springer Verlag
T2 - 5th Portuguese Conference on Artificial Intelligence, EPIA 1991
Y2 - 1 October 1991 through 3 October 1991
ER -