Abstract
Models play a prominent role in reasoning about physical systems. Two problems in this context are constructing an initial model and revising a model depending on new data. Belief revision is a way to formalize the second process. This paper discusses the principles of belief revision and their application to reasoning in model-based systems for diagnosis and repair.
We define diagnosis and repair in model-based reasoning systems as belief revision operators. Starting from the definition of diagnosis used in current model-based reasoning systems, we first show the properties of such a diagnosis revision operator.
As the concept of diagnosis is not able to formalize important aspects of the complete diagnosis and repair process, we then describe the concept of a repair revision operator and show how to combine these two operators to define a diagnosis and repair process. This process extends diagnosis by taking the repair purpose into account and allows the integration of both knowledge and actions into our mental model of the world.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32: 97–130, 1987.
G. Friedrich, G. Gottlob, and W. Nejdl. Formalizing the repair process. Technical report, Technical University of Vienna, Apr. 1991. Submitted for publication.
H. Geffner. Causal theories for nonmonotonic reasoning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 524–530, Boston, Aug. 1990. Morgan Kaufmann Publishers, Inc.
G. Grahne. Updates and counterfactuals. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 269–276, Cambridge, MA, Apr. 1991. Morgan Kaufmann Publishers, Inc.
H. Katsuno and A. O. Mendelzon. On the difference between updateing a knoweldge base and revising it. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Apr. 1991.
W. Nejdl. The P-Systems: A systematic classification of logics of nonmonotonicity. In Proceedings of the National Conference on Artificial Intelligence (AAAI), Anaheim, CA, July 1991. To appear.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32: 57–95, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nejdl, W. (1991). Belief Revision, Diagnosis and Repair. In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-76980-1_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54617-7
Online ISBN: 978-3-642-76980-1
eBook Packages: Springer Book Archive