Belief revision and projection in the epistemic situation calculus

被引：5
|
作者：
Schwering, Christoph [1 ]
Lakemeyer, Gerhard [2 ]
Pagnucco, Maurice [1 ]
机构：
[1] Univ New South Wales, Sch Comp Sci & Engn, Sydney, NSW 2052, Australia
[2] Rhein Westfal TH Aachen, Dept Comp Sci, D-52056 Aachen, Germany
来源：
ARTIFICIAL INTELLIGENCE | 2017年 / 251卷
关键词：
Knowledge representation; Reasoning about actions; Belief revision; FRAME PROBLEM; RAMSEY TEST; KNOWLEDGE; LOGIC; CONDITIONALS; OPERATORS; DATABASE; PROGRESS;
D O I：
10.1016/j.artint.2017.07.004
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This article considers defeasible beliefs in dynamic settings. In particular, we examine the belief projection problem: what is believed after performing an action and/or receiving new information? The approach is based on an epistemic variant of Reiter's situation calculus, where actions not only have physical effects but may also provide new information to the agent. The preferential belief structure is initially determined using conditional statements. New information is then incorporated using two popular belief revision schemes, namely natural and lexicographic revision. The projection problem is solved twofold in this formalism: by goal regression and by knowledge base progression. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码：62 / 97
页数：36
相关论文
共 50 条
  • [21] On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus
    Fang, Liangda
    Liu, Yongmei
    Wen, Ximing
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2955 - 2963
  • [22] Iterated belief change and exogenous actions in the situation calculus
    Shapiro, S
    Pagnucco, M
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 878 - 882
  • [23] Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
    Belle, Vaishak
    Lakemeyer, Gerhard
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 255 - 260
  • [24] Embedding revision programs in logic programming situation calculus
    Univ of Texas at El Paso, El Paso, United States
    J Logic Program, 1 (83-97):
  • [25] Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 3076 - 3083
  • [26] Embedding revision programs in logic programming situation calculus
    Baral, C
    JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 83 - 97
  • [27] From belief change to obligation change in the Situation Calculus.
    Demolombe, R
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 991 - 992
  • [28] Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
    Klassen, Toryn Q.
    McIlraith, Sheila A.
    Levesque, Hector J.
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 257 - 266
  • [29] Data-oriented belief revision: Towards a unified theory of epistemic processing
    Paglieri, F
    STAIRS 2004, 2004, 109 : 179 - 190
  • [30] Epistemic Authority in the "Epistemic Situation"
    Kobiela, Filip
    FILOZOFIA NAUKI, 2016, 24 (01): : 123 - +
12345