Abstract
In this paper, we introduce a new belief update operator. In contrast to all existing approaches to this problem, which are based on propositional or description logics, our proposal admits representing knowledge bases in full first-order logic. In consequence, our proposal is much more expressive than the existing ones.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boole, G.: An Investigation of the Laws of Thought. London, Walton (1894), Reprinted by Dover Books, New York (1954)
Brewka, G., Hertzberg, J.: How to Do Things with Worlds: on Formalizing Actions and Plans. Journal of Logic and Computation 3(5), 517–532 (1993)
Brown, F.M.: Boolean Reasoning. Kluwer Academic Publishers, Dordrecht (1990)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic Aboxes. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, KR-2006, pp. 46–56 (2006)
Doherty, P., Łukaszewicz, W., Madalińska-Bugaj, E.: The PMA and Relativizing Minimal Change for Action Update. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, KR–1998, pp. 158–169 (1998)
Doherty, P., Łukaszewicz, W., Madalińska-Bugaj, E.: The PMA and Relativizing Minimal Change for Action Update. Fundamenta Informaticae 44(1-2), 95–131 (2000)
Hertzig, A.: The PMA Revisited. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, KR 1996, pp. 40–50. Morgan Kaufmann Publishers, Inc., San Francisco (1996)
Herzig, A., Rifi, O.: Propositional Belief Base Update and Minimal Change. Artificial Intelligence Journal 115(1), 107–138 (1999)
Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a knowledge base and revising it. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning KR 1991, pp. 387–395. Morgan Kaufmann Publishers Inc., San Francisco (1991)
Lin, F., Reiter, R.: Forget It! In: AAAI Fall Symposium on Relevance, New Orleans (November 1994), Electronic version http://www.cs.ust.hk/~flin/papers.html
Winslett, M.: Reasoning about Action Using a Possible Model Approach. In: Proceedings AAAI 1988, St. Paul, MN, pp. 89–93 (1988)
Winslett, M.: Updating Logical Databases. Cambridge Tracks in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)
Winslett, M.: Updating Logical Databases. In: Gabbay, D., Galton, A., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Epistemic and Temporal Reasoning, vol. 4, pp. 133–174. Oxford University Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Madalińska-Bugaj, E., Łukaszewicz, W. (2008). Extending Knowledge Base Update into First-Order Knowledge Bases. In: Nguyen, N.T., Borzemski, L., Grzech, A., Ali, M. (eds) New Frontiers in Applied Artificial Intelligence. IEA/AIE 2008. Lecture Notes in Computer Science(), vol 5027. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69052-8_66
Download citation
DOI: https://doi.org/10.1007/978-3-540-69052-8_66
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69045-0
Online ISBN: 978-3-540-69052-8
eBook Packages: Computer ScienceComputer Science (R0)