Model-based diagnosis for open systems fault management

Authors:
F. Steimann;P. Fröhlich;W. Nejdl
Affiliations:
Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, Lange Laube 3, 30159 Hannover, Germany E‐mail: {steimann, froehlich, nejdl}@kbs. ...;Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, Lange Laube 3, 30159 Hannover, Germany E‐mail: {steimann, froehlich, nejdl}@kbs. ...;Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, Lange Laube 3, 30159 Hannover, Germany E‐mail: {steimann, froehlich, nejdl}@kbs. ...
Venue:
AI Communications
Year:
1999

Citing 7
Cited 0

Depth-first iterative-deepening: an optimal admissible tree search

Artificial Intelligence
A theory of diagnosis from first principles

Artificial Intelligence
Logical foundations of artificial intelligence

Logical foundations of artificial intelligence
Proceedings of the workshop on Sorts and types in artificial intelligence

Proceedings of the workshop on Sorts and types in artificial intelligence
Abduction versus closure in causal theories

Artificial Intelligence
Readings in model-based diagnosis

Readings in model-based diagnosis
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis

AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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 by repairing logical models invalidated through system observations and show that it computes all minimal diagnoses.