Abstract
The main goal of the paper is to propose a tool for a semantic specification of program updates (in the context of dynamic logic programming paradigm). A notion of Kripke structure K P associated with a generalized logic program P is introduced. It is shown that some paths in K P specify stable models of P and vice versa, to each stable model of P corresponds a path in K P. An operation on Kripke structures is defined: for Kripke structures K P and K U associated with P (the original program) and U (the updating program), respectively, a Kripke structure K P⊕U is constructed. K P⊕U specifies (in a reasonable sense) a set of updates of P by U. There is a variety of possibilities for a selection of an updated program.
“. . . non-monotonic behaviour . . . is a symptom, rather than the essence of nonstandard inference” according to [20].
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
1. Alchourrón, C., Makinson, D., Gärdensfors, P. On the logic of theory change. Partialmeet contraction and revision functions. Journal of Symbolic Logic, 50:510–530 (1985) 471
Alferes, J. J., Pereira,_L. M. Update-programs can update programs. LNAI 11126, Springer 1996 469
Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H., Przymusinski, T. C. Dynamic Logic Programming. Proc. KR’98, 1998469, 469, 469, 470, 470, 471, 471, 471, 473, 476, 477, 478, 481, 481, 481, 482, 482, 482, 485
Cadoli, M., Donini, F. M., Schaerf, M. Is intractability of non-monotonic reasoning a real drawback? Artificial Intelligence 88, 1–2, 215–251 485
Cadoli, M., Donini, F. M., Liberatore, P., Schaerf, M. Space Efficiency of Propositional Knowledge Representation Formalisms. Journal of Artificial Intelligence Research 13 (2000), 1–31 485
Doyle, J. A Truth Maintenance System. AI Journal 12 (1979),231–272 475, 485
Elkan, C. A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems. AI Journal 43 (1990) 219–234 485
Gärdenfors, P., Rott. H. Belief Revision. In D. Gabbay, C. Hogger, J. Robinson: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, Epistemic and Temporal Reasoning, 35–132, 1995471
Gelfond, M., Lifschitz, V. The Stable Model Semantics for Logic Programming. Proc. 5th ICLP, MIT Press, 1988, 1070–1080 471
Leite, J., Pereira, L. Generalizing Updates: from models to programs. In LNAI 1471, 1997 469, 471, 481
Leite, J., Pereira, L. Iterated Logic Programs Updates. In Proc. of JICSLP98 469, 481
Lifschitz, V., Turner, H. Splitting a Logic Program. Proc. of the 11th Int. Conf. on Logic Programming, 1994, 23–37 484
Lifschitz, V. Answer set planning. Proc. of ICLP, 1999 484
Marek, W., Truszczynski, M. Revision Programming. Theoretical Computer Science, 190 (1998), 241–277 469
Marek, W., Truszczynski, M. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375–398, Springer 1999 484
Przymusinski, T., Turner, H. Update by inference rules. The Journal of Logic Programming, 1997 469
Niemelä, I. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Workshop on computational aspects of nonmonotonic reasoning, Trento, 1998 473, 484
Šefránek, J. Dynamic Kripke Structures. Proc. of CAEPIA’97, Malaga, Spain 485
Šefránek, J. Knowledge,Belief, Revisions, and a Semantics of Non-Monotonic Reasoning. Proc. LPNMR’99, Springer 1999 485, 485
J. Van Benthem, Semantic Parallels in Natural Language and Computation, in: Logic Colloquium’ 87, eds. Ebbinghaus H.-D. et al., 1989, 331–375, North Holland, Amsterdam 469
Witteveen, C., Brewka, G. Skeptical reason maintenance and belief revision. Artificial Intelligence 61 (1993), 1–36471
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
Šefránek, J. (2000). A Kripkean Semantics for Dynamic Logic Programming. In: Parigot, M., Voronkov, A. (eds) Logic for Programming and Automated Reasoning. LPAR 2000. Lecture Notes in Artificial Intelligence(), vol 1955. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44404-1_30
Download citation
DOI: https://doi.org/10.1007/3-540-44404-1_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41285-4
Online ISBN: 978-3-540-44404-6
eBook Packages: Springer Book Archive