Model-Based Reconfiguration: Toward an Integration with Diagnosis

Abstract

We extend Reiter's general theory of model-based diagnosis [13] 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. The research reported here was supported by the National Aeronautics and Space Administration under Contract No. NAS1-18969. 1 1 Introduction Automated diagnosis has been one of the most fruitful applications of AI. However, while it is important to identify the faults in a malfunctioning system, the real problem is usually to repair the system so that it...