Skip to main content
SpringerLink
Log in

Formalizing the repair process — extended report

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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).

  2. 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.

  3. 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.

  4. J. de Kleer, Focusing on probable diagnoses, in:Proc. National Conf. on Artificial Intelligence (AAAI), Anaheim, 1991 (Morgan Kaufmann) pp. 842–848.

  5. 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.

  6. 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).

  7. 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.

  8. 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.

  9. 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.

  10. G. Friedrich and W. Nejdl, Constructive utility in model-based diagnosis/repair systems, Technical Report, RWTH Aachen (1992).

  11. W. Nejdl, Belief revision, diagnosis and repair, in:Proc. Int. GI Conf. on Knowledge Based Systems, München, 1991 (Springer).

  12. D. Poole and G.M. Provan, Use and granularity in consistency-based diagnosis, in:Proc. 2nd Int. Workshop on Principles of Diagnosis, Milano, 1991.

  13. 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.

  14. Y. Sun and D.S. Weld, Beyond simple observation: Planning to diagnose, in:3rd Int. Workshop on Principles of Diagnosis, Rosario, WA, 1992.

Download references

Author information

Authors and Affiliations

  1. Christian Doppler Laboratory for Expert Systems, Technische Universität Wien, Paniglgasse 16, A-1040, Vienna, Austria

    Gerhard Friedrich & Georg Gottlob

  2. Informatik V, RWTH Aachen, Ahornstr. 55, D-52056, Aachen, Germany

    Wolfgang Nejdl

Authors
  1. Gerhard Friedrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Gottlob
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang Nejdl
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01530742

Keywords

Search

Navigation