Formalizing the repair process - extended report

verfasst von

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.

Externe Organisation(en)

Technische Universität Wien (TUW)
Rheinisch-Westfälische Technische Hochschule Aachen (RWTH)

Typ

Artikel

Journal

Annals of Mathematics and Artificial Intelligence

Band

11

Seiten

187-201

Anzahl der Seiten

15

ISSN

1012-2443

Publikationsdatum

03.1994

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Artificial intelligence, Angewandte Mathematik

Elektronische Version(en)

https://doi.org/10.1007/BF01530742 (Zugang: Unbekannt)