TY - GEN
T1 - Towards the integration of different knowledge sources in model-based diagnosis
AU - Console, Luca
AU - Theseider Dupre, Daniele
AU - Torasso, Pietro
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - Over the last few years several attempts have been made to design diagnostic systems which combine more than one model of the system to be diagnosed or more than one reasoning mechanism. In this paper we analyze the integration of different knowledge sources in model-based diagnosis, and, in particular, abductive diagnosis. We consider behavioral models in which the interaction between processes can be represented, enriched with constraints and taxonomic relationships among diagnostic hypotheses. We provide several insights into the role of such forms of knowledge in model-based diagnosis, showing how they can be accommodated both in a meta-level definition of abduction with constraints and in an object-level framework for abduction.
AB - Over the last few years several attempts have been made to design diagnostic systems which combine more than one model of the system to be diagnosed or more than one reasoning mechanism. In this paper we analyze the integration of different knowledge sources in model-based diagnosis, and, in particular, abductive diagnosis. We consider behavioral models in which the interaction between processes can be represented, enriched with constraints and taxonomic relationships among diagnostic hypotheses. We provide several insights into the role of such forms of knowledge in model-based diagnosis, showing how they can be accommodated both in a meta-level definition of abduction with constraints and in an object-level framework for abduction.
UR - https://www.scopus.com/pages/publications/84939531444
U2 - 10.1007/3-540-54712-6_230
DO - 10.1007/3-540-54712-6_230
M3 - Conference contribution
AN - SCOPUS:84939531444
SN - 9783540547129
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 177
EP - 186
BT - Trends in Artificial Intelligence - 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Proceedings
A2 - Ardizzone, Edoardo
A2 - Gaglio, Salvatore
A2 - Sorbello, Filippo
PB - Springer Verlag
T2 - 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA 1991
Y2 - 29 October 1991 through 31 October 1991
ER -