The refined extension principle for semantics of dynamic logic programming

被引：31
作者：
Alferes J.J. [1 ]
Banti F. [1 ]
Brogi A. [2 ]
Leite J.A. [1 ]
机构：
[1] CENTRIA, Universidade Nova de Lisboa
[2] Dipartimento di Informatica, Universitá di Pisa, Pisa
来源：
Studia Logica | 2005年 / 79卷 / 1期
关键词：
Answer-set Programming; Belief Change; Dynamic Logic Programming; Logic Programming; Non-monotonic Reasoning; Stable Model Semantics; Updates;
D O I：
10.1007/s11225-005-0492-y
中图分类号：
学科分类号：
摘要：
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. © Springer 2005.
引用
收藏
页码：7 / 32
页数：25
相关论文
共 21 条
  • [1] Alferes J.J., Leite J.A., Pereira L.M., Przymusinska H., Przymusinski T.C., Dynamic logic programming, Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), pp. 98-111, (1998)
  • [2] Alferes J.J., Leite J.A., Pereira L.M., Przymusinska H., Przymusinski T.C., Dynamic updates of non-monotonic knowledge bases, The Journal of Logic Programming, 45, 1-3, pp. 43-70, (2000)
  • [3] Apt K.R., Bol R.N., Logic programming and negation: A survey, The Journal of Logic Programming, 19-20, pp. 9-72, (1994)
  • [4] Buccafurri F., Faber W., Leone N., Disjunctive logic programs with inheritance, Proceedings of the 1999 International Conference on Logic Programming (ICLP-99), pp. 79-93, (1999)
  • [5] Eiter T., Fink M., Sabbatini G., Tompits H., On properties of update sequences based on causal rejection, Theory and Practice of Logic Programming, 2, 6, (2002)
  • [6] Van Gelder A., Ross K.A., Schlipf J.S., The well-founded semantics for general logic programs, Journal of the ACM, 38, 3, pp. 620-650, (1991)
  • [7] Gelfond M., Lifschitz V., The stable model semantics for logic programming, 5th International Conference on Logic Programming, pp. 1070-1080, (1988)
  • [8] Gelfond M., Lifschitz V., Representing actions and change by logic programs, Journal of Logic Programming, 17, pp. 301-322, (1993)
  • [9] Kowalski R.A., Sergot M.J., A logic-based calculus of events, New Generation Computing, 4, pp. 67-95, (1986)
  • [10] Leite J.A., Evolving knowledge bases, Frontiers in Artificial Intelligence and Applications, 81, (2003)
123