Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 187-201 |
| Seitenumfang | 15 |
| Fachzeitschrift | Annals of Mathematics and Artificial Intelligence |
| Jahrgang | 11 |
| Ausgabenummer | 1-4 |
| Publikationsstatus | Veröffentlicht - März 1994 |
| Extern publiziert | Ja |
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 Sachgebiete
- Informatik (insg.)
- Artificial intelligence
- Mathematik (insg.)
- Angewandte Mathematik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Annals of Mathematics and Artificial Intelligence, Jahrgang 11, Nr. 1-4, 03.1994, S. 187-201.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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 -