Embedding revision programs in logic programming situation calculus

被引：4
|
作者：
Baral, C
机构：
[1] Department of Computer Science, University of Texas at El Paso, El Paso
来源：
JOURNAL OF LOGIC PROGRAMMING | 1997年 / 30卷 / 01期
关键词：
D O I：
10.1016/S0743-1066(96)00080-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Revision programs were introduced by Marek and Truszczynski to specify a change in knowledge bases. In this paper, we show how to embed revision programs in logic programs with situation calculus notation. We extend Marek and Truszczynski's approach to allow an incomplete initial knowledge base, and extend the rules of revision programs to depend both on the initial and the final knowledge base. We show how revision programs and its proposed extension can be incorporated in theories of actions, and how our usage of situation calculus notation makes this easier and elegant. (C) Elsevier Science Inc., 1997
引用
收藏
页码：83 / 97
页数：15
相关论文
共 50 条
  • [41] Knowledge-Based Programs with Defaults in a Modal Situation Calculus
    Classen, Jens
    Neuss, Malte
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1309 - 1317
  • [42] Abstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus
    Bulletin of the European Association for Theoretical Computer Science, (59):
  • [43] Composing programs in a rewriting logic for declarative programming
    Molina-Bravo, JM
    Pimentel, E
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 189 - 221
  • [44] Relativized hyperequivalence of logic programs for modular programming
    Truszczynski, Miroslaw
    Woltran, Stefan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 781 - 819
  • [45] Relativized Hyperequivalence of Logic Programs for Modular Programming
    Truszczynski, Miroslaw
    Woltran, Stefan
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 576 - +
  • [46] Differential logic programs: Programming methodologies and semantics
    Bossi, A
    Bugliesi, M
    Gabbrielli, M
    Levi, G
    Meo, MC
    SCIENCE OF COMPUTER PROGRAMMING, 1996, 27 (03) : 217 - 262
  • [47] On Dual Programs in Co-Logic Programming
    Seki, Hirohisa
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 21 - 35
  • [48] A programming logic for Java']Java bytecode programs
    Quigley, CL
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
  • [49] Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    Lee, Joohyung
    Palla, Ravi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 43 : 571 - 620
  • [50] Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    De Bruijn, Jos
    Eiter, Thomas
    Polleres, Axel
    Tompits, Hans
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (03)
12345