Formalizing the Repair Process

Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl

Abstract

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.

Keywords: Model-based diagnosis, diagnosis and repair process

The full paper is available as a postscript file .