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 条
  • [21] The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
    Augustsson, Lennart
    Breitner, Joachim
    Claessen, Koen
    Jhala, Ranjit
    Jones, Simon Peyton
    Shivers, Olin
    Steele, Guy L., Jr.
    Sweeney, Tim
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (ICFP): : 417 - 447
  • [22] EMBEDDING BOOLEAN EXPRESSIONS INTO LOGIC PROGRAMMING
    BUTTNER, W
    SIMONIS, H
    JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (02) : 191 - 205
  • [23] Belief revision in the situation calculus without plausibility levels
    Demolombe, Robert
    Parra, Pilar Pozos
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2006, 4203 : 504 - 513
  • [24] A Semantic Account of Iterated Belief Revision in the Situation Calculus
    Schwering, Christoph
    Lakemeyer, Gerhard
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 801 - 806
  • [25] Characterization Theorems for Revision of Logic Programs
    Schwind, Nicolas
    Inoue, Katsumi
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 485 - 498
  • [26] ID-logic and the ramification problem for the situation calculus
    Ternovskaia, E
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 563 - 567
  • [27] On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
    Calvanese, Diego
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2840 - 2846
  • [28] The situation and state calculus versus branching temporal logic
    Ramos, J
    Sernadas, A
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 293 - 309
  • [29] ConGolog, a concurrent programming language based on the situation calculus
    De Giacomo, G
    Lespérance, Y
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 2000, 121 (1-2) : 109 - 169
  • [30] Verifying ConGolog Programs on Bounded Situation Calculus Theories
    De Giacomo, Giuseppe
    Lesperance, Yves
    Patrizi, Fabio
    Sardina, Sebastian
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 950 - 956
12345