Formaiizing the Repair Process

This paper defines the model-based diagnosis and repair process. We consider repair (i.e. restoration of specified system purposes) as the main goal of this process. Our goal is to define how an intelligent agent integrates and schedules observations and actions in an interleaved way in order to guarantee a specified system purpose. We define a temporal framework where all concepts necessary to represent repair (actual, possible and plausible worlds, purpose, observations, actions and failures) can be integrated. Using these concepts we present an algorithm scheme describing the repair process