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 specifiedsystem 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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
A. Beschta, O. Dressler, H. Freitag, M. Montag and P. Struss, A model-based approach to fault localization in power transmission networks, Intelligent Syst. Eng. (1992).
J.-s. Chen and S.N. Srihari, Action selection in interactive model-based diagnosis, in:Proc. IEEE Conf. on Artificial Intelligence Applications (CAIA), Monterey, CA, 1992, pp. 67–73.
J. Crow and J. Rushby, Model-based reconfiguration: Toward an integration with diagnosis, in:Proc. National Conf. on Artificial Intelligence (AAAI), Los Angeles, 1991 (Morgan Kaufmann) pp. 836–841.
J. de Kleer, Focusing on probable diagnoses, in:Proc. National Conf. on Artificial Intelligence (AAAI), Anaheim, 1991 (Morgan Kaufmann) pp. 842–848.
J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses, in:Proc. National Conf. on Artificial Intelligence (AAAI), Boston, 1990 (Morgan Kaufmann) pp. 324–330.
G. Friedrich, G. Gottlob and W. Nejdl, Hypothesis classification, abductive diagnosis and therapy, in:1st Int. Workshop on Principles of Diagnosis, Stanford, 1990. Also appeared in:Proc. Int. Workshop on Expert Systems in Engineering, Vienna, 1990. Lecture Notes in Artificial Intelligence, Vol. 462 (Springer).
G. Friedrich, G. Gottlob and W. Nejdl, Towards a theory of the repair process, in:Proc. Portuguese Conf. on Artificial Intelligence, Albufeira, 1991. Springer AI Lecture Notes. Also presented at the Model-Based Reasoning Workshop, AAAI'91, 1991, Anaheim.
G. Friedrich and F. Lackinger, Diagnosing temporal misbehavior, in:Proc. Int. Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia, 1991 (Morgan Kaufmann) pp. 1116–1122.
G. Friedrich and W. Nejdl, Choosing observations and actions in model-based diagnosis-repair systems, in:Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1992.
G. Friedrich and W. Nejdl, Constructive utility in model-based diagnosis/repair systems, Technical Report, RWTH Aachen (1992).
W. Nejdl, Belief revision, diagnosis and repair, in:Proc. Int. GI Conf. on Knowledge Based Systems, München, 1991 (Springer).
D. Poole and G.M. Provan, Use and granularity in consistency-based diagnosis, in:Proc. 2nd Int. Workshop on Principles of Diagnosis, Milano, 1991.
G.M. Provan and D. Poole, The utility of consistency-based diagnostic techniques, in:Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991 (Morgan Kaufmann) pp. 461–472.
Y. Sun and D.S. Weld, Beyond simple observation: Planning to diagnose, in:3rd Int. Workshop on Principles of Diagnosis, Rosario, WA, 1992.
Author information
Authors and Affiliations
Additional information
Most of this work was carried out while the author was a member of the Christian Doppler Laboratory for Expert Systems
Rights and permissions
About this article
Cite this article
Friedrich, G., Gottlob, G. & Nejdl, W. Formalizing the repair process — extended report. Ann Math Artif Intell 11, 187–201 (1994). https://doi.org/10.1007/BF01530742
Issue Date:
DOI: https://doi.org/10.1007/BF01530742