Theory Diagnoses: A Concise Characterization of Faulty Systems
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Naive Physics. Pages 1466-1472.
Abstract
In this article a new characterization of the set of diagnoses in the domain of consistency-based diagnosis is developed. The needs for such a characterization arise from the inability of the current characterizations (e.g. minimal diagnoses and kernel diagnoses) to deal with abstractions like component hierarchies. We propose a characterization based on theories which takes advantage of hierarchies and therefore allows a concise description of various sets of diagnoses (e.g. minimal diagnoses and kernel diagnoses ).
@inproceedings{ijcai1993p203,
title = {Theory Diagnoses: A Concise Characterization of Faulty Systems},
author = {Friedrich, Gerhard},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1466--1472},
year = {1993},
note = {Qualitative Reasoning and Naive Physics},
url = {https://ijcai.org/proceedings/1993/203},
}
TY - CPAPER TI - Theory Diagnoses: A Concise Characterization of Faulty Systems AU - Friedrich, Gerhard T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1466 EP - 1472 UR - https://ijcai.org/proceedings/1993/203 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
