Formalizing the Repair Process - Extended Report
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: Diagnosis and repair, model-based diagnosis,
formalization of repair
A preliminary version of the full paper is available as a postscript file .