Abstract
The second postulate of Katsuno and Mendelzon characterizes irrelevant updates. We show that the postulate has to be modified, if nonmonotonic assumptions are considered. Our characterization of irrelevant updates is based on a dependency framework, which provides an alternative semantics of multidimensional dynamic logic programming.
This is a preview of subscription content, log in via an institution to check access.
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
Alferes, J.J., Moniz Pereira, L.: Reasoning with Logic Programming. LNCS (LNAI), vol. 1111. Springer, Heidelberg (1996)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Procs. of KR 1998, pp. 98–109 (1998)
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 1 (2005)
Banti, F., Alferes, J.J., Brogi, A., Hitzler, P.: The well supported semantics for multidimensional dynamic logic programs. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 356–368. Springer, Heidelberg (2005)
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)
Eiter, T., Sabbatini, G., Fink, M., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming, 711–767 (2002)
Homola, M.: Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol. 3487, pp. 78–95. Springer, Heidelberg (2005)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991 (1991)
Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic logic programming. In: Procs. of CLIMA 2000, pp. 17–26 (2000)
Leite, J.A.: Evolving Knowledge Bases: Specification and Semantics. IOS Press, Amsterdam (2003)
Leite, J.: On Some Differences Between Semantics of Logic Program Updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS, vol. 3315, pp. 375–385. Springer, Heidelberg (2004)
Šefránek, J.: Rethinking semantics of dynamic logic programming (accepted for NMR 2006)
Šefránek, J.: Irrelevant updates of nonmonotonic knowledge bases (accepted as a poster for ECAI 2006)
Šefránek, J.: Irrelevant updates and nonmonotonic assumptions, http://www.ii.fmph.uniba.sk/sefranek/online/jelia06Full.ps (or pdf)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Šefránek, J. (2006). Irrelevant Updates and Nonmonotonic Assumptions. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_35
Download citation
DOI: https://doi.org/10.1007/11853886_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)