Abstract
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MCE), to deal with this problem in prepositional knowledge base updates. We show that the MCE generalizes the PMA and still satisfies the standard Katsuno and Mendelzon's update postulates. Furthermore, we also investigate the relationship between update and default reasoning. In particular, we represent a translation from the MCE to extended disjunctive default theories and prove the soundness and completeness of such translation relative to the semantics of the MCE.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
P. Gardenfors, Knowledge in Flux. MIT Press, 1988.
G. Brewka and J. Hertzberg, How do things with worlds: On formalizing actions and plans. Journal of Logic and Computation, 3(5) (1993) 517–532.
T. Eiter, G. Gottlob and Y. Gurevich, Curb your theory! A circumscriptive approach for inclusive interpretation of disjunctive information. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, Inc. (1993) 634–639.
M. Gelfond, V. Lifschitz, H. Przymusinska and M. Truszczynski, Disjunctive defaults. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann, Inc. (1991) 230–237.
G.N. Kartha and V. Lifschitz, Actions with indirect effects. in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Morgan Kaufmann, Inc. (1994) 341–350.
H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge database and revising it. In Proceedings of KR'91. Morgan Kaufmann, Inc. (1991) 387–394.
H. Katsuno and A.O. Mendelzon, Prepositional knowledge base revision and minimal change. In Artificial Intelligence 52 (1991) 263–294.
R. Reiter, A logic for default reasoning. Artificial Intelligence 13 (1980) 81–132.
M. Winslett, Reasoning about action using a possible models approach. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann Publisher, Inc. (1988) 89–93.
Y. Zhang and N.Y. Foo, Reasoning about persistence: A theory of actions. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, Inc. (1993) 718–723.
Y. Zhang and N.Y. Foo, Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence 14 pp 75–98, 1995.
Y. Zhang, Semantical considerations for knowledge base updates. In Proceedings of the Ninth International Symposium on Methodologies for Intelligent Systems (ISMIS'96). Also in Lecture Notes in Artificial Intelligence, pp. 88–97, Vol. 1079, Springer-Verlag, 1996.
Y. Zhang and N.Y. Foo, Updating knowledge bases with disjunctive information. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'96), pp 562–568. AAAI/MIT Press, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Y. (1997). Disjunctive update, minimal change, and default reasoning. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035652
Download citation
DOI: https://doi.org/10.1007/BFb0035652
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive