Skip to main content
SpringerLink
Log in

Semantical considerations for knowledge base updates

  • Communications Session 1A Knowledge Representation
  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1079))

Included in the following conference series:

Abstract

Recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive effects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which provides conservative results for updating knowledge bases with implicit and disjunctive effects. As it will be shown, our approach avoids the difficulty with the minimal change principle. To characterize properties of the persistence-based update method, we investigate the relationship between the minimal change update semantics and persistent update semantics in detail.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann Publisher, Inc. (1988) 475–479

    Google Scholar 

  2. Doyle, J.: A truth maintenance system. Artificial Intelligence 12 (1979) 231–272

    Google Scholar 

  3. Gardenfors, P.: Knowledge in Flux. MIT Press. (1988)

    Google Scholar 

  4. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge database and revising it. In Proceedings of Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Morgan Kaufmann, Inc. (1991) 387–394

    Google Scholar 

  5. Katsuno, H., Mendelzon, A.O.: Prepositional knowledge base revision and minimal change. Artificial Intelligence 52 (1991) 263–294

    Google Scholar 

  6. Winslett, M.: 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 

  7. Zhang, Y., Foo, N.Y.: Reasoning about persistence: a theory of actions. In Proceedings of Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93). Morgan Kaufmann Publishers, Inc. (1993) 718–723

    Google Scholar 

  8. Zhang, Y., Foo, N.Y.: Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence 14 (1995) 75–98

    Google Scholar 

  9. Zhang, Y.: Compiling causality into action theories. In Proceedings of The Third Symposium on Logical Formalizations of Common-sense Reasoning (CommonSense'96), Stanford (1996) 263–270

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Western Sydney, Nepean, PO Box 10, 2747, Kingswood, NSW, Australia

    Yan Zhang

Authors
  1. Yan Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Zbigniew W. Raś Maciek Michalewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, Y. (1996). Semantical considerations for knowledge base updates. In: Raś, Z.W., Michalewicz, M. (eds) Foundations of Intelligent Systems. ISMIS 1996. Lecture Notes in Computer Science, vol 1079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61286-6_134

Download citation

  • DOI: https://doi.org/10.1007/3-540-61286-6_134

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61286-5

  • Online ISBN: 978-3-540-68440-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation