Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 5-17 |
| Seitenumfang | 13 |
| Fachzeitschrift | AI communications |
| Jahrgang | 12 |
| Ausgabenummer | 1 |
| Publikationsstatus | Veröffentlicht - 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 Sachgebiete
- Informatik (insg.)
- Artificial intelligence
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: AI communications, Jahrgang 12, Nr. 1, 1999, S. 5-17.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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 -