Pragmatic Reasoning in Model-Based Diagnosis.

R. R. Bakker M. Bourseau

Published in: ECAI (1992)

Keyphrases

model based diagnosis
model based reasoning
diagnostic reasoning
dynamic systems
diagnostic systems
fault localization
discrete event systems
consistency based diagnosis
physical systems
digital circuits
constraint programming
qualitative models
fault models
qualitative reasoning
fault model
hardware designs