Details
| Original language | English |
|---|---|
| Pages (from-to) | 187-201 |
| Number of pages | 15 |
| Journal | Annals of Mathematics and Artificial Intelligence |
| Volume | 11 |
| Issue number | 1-4 |
| Publication status | Published - Mar 1994 |
| Externally published | Yes |
Abstract
This paper defines the model-based diagnosis and repair process. We consider repair (i.e. restoration of specified system purposes) as the main goal of this process. Our goal is to define how an intelligent agent integrates and schedules observations and actions in an interleaved way in order to guarantee a specified system purpose. We define a temporal framework where all concepts necessary to represent repair (actual, possible and plausible worlds, purpose, observations, actions and failures) can be integrated. Using these concepts we present an algorithm scheme describing the repair process.
ASJC Scopus subject areas
- Computer Science(all)
- Artificial Intelligence
- Mathematics(all)
- Applied Mathematics
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Annals of Mathematics and Artificial Intelligence, Vol. 11, No. 1-4, 03.1994, p. 187-201.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Formalizing the repair process - extended report
AU - Friedrich, Gerhard
AU - Gottlob, Georg
AU - Nejdl, Wolfgang
PY - 1994/3
Y1 - 1994/3
N2 - This paper defines the model-based diagnosis and repair process. We consider repair (i.e. restoration of specified system purposes) as the main goal of this process. Our goal is to define how an intelligent agent integrates and schedules observations and actions in an interleaved way in order to guarantee a specified system purpose. We define a temporal framework where all concepts necessary to represent repair (actual, possible and plausible worlds, purpose, observations, actions and failures) can be integrated. Using these concepts we present an algorithm scheme describing the repair process.
AB - This paper defines the model-based diagnosis and repair process. We consider repair (i.e. restoration of specified system purposes) as the main goal of this process. Our goal is to define how an intelligent agent integrates and schedules observations and actions in an interleaved way in order to guarantee a specified system purpose. We define a temporal framework where all concepts necessary to represent repair (actual, possible and plausible worlds, purpose, observations, actions and failures) can be integrated. Using these concepts we present an algorithm scheme describing the repair process.
UR - http://www.scopus.com/inward/record.url?scp=0000324009&partnerID=8YFLogxK
U2 - 10.1007/BF01530742
DO - 10.1007/BF01530742
M3 - Article
AN - SCOPUS:0000324009
VL - 11
SP - 187
EP - 201
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
SN - 1012-2443
IS - 1-4
ER -