Details
| Original language | English |
|---|---|
| Pages (from-to) | 5-17 |
| Number of pages | 13 |
| Journal | AI communications |
| Volume | 12 |
| Issue number | 1 |
| Publication status | Published - 1999 |
Abstract
The information model chosen by the ISO for the management of open systems is object-oriented. We provide an effective mapping from the structural and behavioural specification of the managed objects of open systems to a compact logical form suitable for model-based diagnosis. Based thereon, we present an efficient algorithm that localizes faults repairing logical models invalidated through system observations and show that it computes all minimal diagnoses.
ASJC Scopus subject areas
- Computer Science(all)
- Artificial Intelligence
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: AI communications, Vol. 12, No. 1, 1999, p. 5-17.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Model-based diagnosis for open systems fault management
AU - Steimann, F.
AU - Fröhlich, P.
AU - Nejdl, W.
PY - 1999
Y1 - 1999
N2 - The information model chosen by the ISO for the management of open systems is object-oriented. We provide an effective mapping from the structural and behavioural specification of the managed objects of open systems to a compact logical form suitable for model-based diagnosis. Based thereon, we present an efficient algorithm that localizes faults repairing logical models invalidated through system observations and show that it computes all minimal diagnoses.
AB - The information model chosen by the ISO for the management of open systems is object-oriented. We provide an effective mapping from the structural and behavioural specification of the managed objects of open systems to a compact logical form suitable for model-based diagnosis. Based thereon, we present an efficient algorithm that localizes faults repairing logical models invalidated through system observations and show that it computes all minimal diagnoses.
UR - http://www.scopus.com/inward/record.url?scp=2442720655&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:2442720655
VL - 12
SP - 5
EP - 17
JO - AI communications
JF - AI communications
SN - 0921-7126
IS - 1
ER -