Abstract
Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynamic logic programs and investigate their semantical properties, looking at them from perspectives such as a belief revision and abstract consequence relation view. Since the approach does not respect minimality of change, we refine its stable model semantics and present minimal stable models and strict stable models. We also compare the update approach to related work, and find that is equivalent to a class of inheritance programs independently defined by Buccafurri et al. (1999).
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
C. Alchourrón, P. Gärdenfors, and D. Makinson. On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision. Journal of Symbolic Logic, 50:510–530, 1985.
J. Alferes, J. Leite, L. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic Logic Programming. In A. Cohn and L. Schubert, editors, Proc. KR’98, pp. 98–109. Morgan Kaufmann, 1998.
J. Alferes, J. Leite, L. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic Updates of Non-Monotonic Knowledge Bases. Journal of Logic Programming, 2000. To appear.
J. Alferes and L. Pereira. Updates plus Preferences. In Proc. JELIA 2000, LNCS, this volume. Springer, 2000.
J. Alferes, L. Pereira, H. Przymusinska, and T. Przymusinski. Lups: A Language for Updating Logic Programs. In Proc. LPNMR’99, LNAI 1730, pp. 162–176. Springer, 1999.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency Management and Prioritized Syntax-Based Entailment. In Proc. IJCAI-93, pp. 640–645. Morgan Kaufman, 1993.
G. Brewka. Belief Revision as a Framework for Default Reasoning. In The Logic of Theory Change, LNAI 465, pp. 206–222. Springer, 1991.
G. Brewka. Declarative Representation of Revision Strategies. In Proc. NMR’ 2000, 2000.
F. Buccafurri, W. Faber, and N. Leone. Disjunctive Logic Programs with Inheritance. In Proc. ICLP’ 99, pp. 79–93, 1999. The MIT Press. Full version available as Technical Report DBAI-TR-99-30, Institut für Informationssysteme, Technische Universität Wien, Austria, May 1999.
A. Darwiche and J. Pearl. On the Logic of Iterated Belief Revision. Artificial Intelligence, 89(1-2):1–29, 1997.
F. Sadri and F. Toni. Computational Logic and Multiagent Systems: A Roadmap. Available from the ESPRIT Network of Excellence in Computational Logic (Compulog Net), http://www.compulog.org, 1999.
N. Foo and Y. Zhang. Towards Generalized Rule-based Updates. In Proc. IJCAI’ 97, pp. 82–88. Morgan Kaufmann, 1997.
N. Foo and Y. Zhang. Updating Logic Programs. In Proc. ECAI’98, pp. 403–407. Wiley, 1998.
P. Gärdenfors and H. Rott. Belief Revision. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of logic in Artificial Intelligence and Logic Programming. Oxford Science Publications, 1995.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365–385, 1991.
K. Inoue and C. Sakama. Abductive Framework for Nonomonotonic Theory Change. In Proc. IJCAI’95, pp. 204–210. Morgan Kaufmann, 1995.
K. Inoue and C. Sakama. Updating Extended Logic Programs Through Abduction. In Proc. LPNMR’99, LNAI 1730, pp. 147–161. Springer, 1999.
H. Katsuno and A. Mendelzon. On the Difference Between Updating a Knowledge Database and Revising it. In Proc. KR’91, pp. 387–394, 1991.
D. Lehmann. Belief Revision, Revised. In Proc. IJCAI’95, pp. 1534–1540. Morgan Kaufmann, 1995.
J. Leite, J. Alferes, and L. Pereira. Multi-Dimensional Dynamic Logic Programming. In Proc. Workshop on Computational Logic in Multi-Agent Systems (CLIMA), London, UK, July 2000.
V. Lifschitz and T. Y. C. Woo. Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). In Proc. KR’ 92, pp. 603–614. Morgan Kaufmann, 1992.
V. W. Marek and M. Truszczyński. Revision Specifications by Means of Programs. In Proc. JELIA’94, LNAI 838, pp. 122–136. Springer, 1994.
B. Nebel. Belief Revision and Default Reasoning: Syntax-Based Approaches. In Proc. KR’91, pp. 417–428, 1991.
M. Winslett. Reasoning about Action Using a Possible Models Approach. In Proc. AAAI’88, pp. 89–93, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eiter, T., Fink, M., Sabbatini, G., Tompits, H. (2000). Considerations on Updates of Logic Programs. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_2
Download citation
DOI: https://doi.org/10.1007/3-540-40006-0_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41131-4
Online ISBN: 978-3-540-40006-6
eBook Packages: Springer Book Archive