Formalizing the repair process - extended report

authored by

Gerhard Friedrich, Georg Gottlob, 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.

External Organisation(s)

TU Wien (TUW)
RWTH Aachen University

Type

Article

Journal

Annals of Mathematics and Artificial Intelligence

Volume

11

Pages

187-201

No. of pages

15

ISSN

1012-2443

Publication date

03.1994

Publication status

Published

Peer reviewed

Yes

ASJC Scopus subject areas

Artificial Intelligence, Applied Mathematics

Electronic version(s)

https://doi.org/10.1007/BF01530742 (Access: Unknown)