Advertisement

Disjunctive update, minimal change, and default reasoning

  • Yan Zhang
Accepted Papers
  • 114 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1244)

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.

Keywords

Knowledge Base Minimal Change State Constraint Propositional Formula Default Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    P. Gardenfors, Knowledge in Flux. MIT Press, 1988.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    H. Katsuno and A.O. Mendelzon, Prepositional knowledge base revision and minimal change. In Artificial Intelligence 52 (1991) 263–294.Google Scholar
  8. 8.
    R. Reiter, A logic for default reasoning. Artificial Intelligence 13 (1980) 81–132.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Yan Zhang
    • 1
  1. 1.Department of ComputingUniversity of Western Sydney, NepeanKingswoodAustralia

Personalised recommendations