Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Hypothesis classification, abductive diagnosis and therapy
Proceedings of the international workshop on Expert systems in engineering : Principles and applications: Principles and applications
Model-based, multiple fault diagnosis of time-varying, continuous physical devices
Proceedings of the sixth conference on Artificial intelligence applications
Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
From software verification to `everyware' verification
Computer Science - Research and Development
Hi-index | 0.00 |
We extend Reiter's general theory of model-based diagnosis [Reiter, 1987] to a theory of reconfiguration. The generality of Reiter's theory readily supports an extension in which the problem of reconfiguration is viewed as a close analogue of the problem of diagnosis. Using a reconfiguration predicate rcfg analogous to the abnormality predicate ab, we formulate a strategy for reconfiguration by transforming that for diagnosis. A benefit of this approach is that algorithms for diagnosis can be exploited as algorithms for reconfiguration, thereby promoting an integrated approach to fault detection, identification, and reconfiguration.