Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Schwering, Christoph; Lakemeyer, Gerhard; Pagnucco, Maurice

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 3214-3219.

Abstract

Fundamental to reasoning about actions and beliefs is the projection problem: to decide what is believed after a sequence of actions is performed. Progression is one widely applied technique to solve this problem. In this paper we propose a novel framework for computing progression in the epistemic situation calculus. In particular, we model an agent's preferential belief structure using conditional statements and provide a technique for updating these conditional statements as actions are performed and sensing information is received. Moreover, we show, by using the concepts of natural revision and only-believing, that the progression of a conditional knowledge base can be represented by only-believing the revised set of conditional statements. These results lay the foundations for feasible belief progression due to the unique-model property of only-believing.

Christoph Schwering, Gerhard Lakemeyer, and Maurice Pagnucco. 2015. Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 3214–3219. https://ijcai.org/proceedings/2015/453

@inproceedings{ijcai2015p453,
  title     = {Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus},
  author    = {Schwering, Christoph and Lakemeyer, Gerhard and Pagnucco, Maurice},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {3214--3219},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/453},
}

TY  - CPAPER
TI  - Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
AU  - Schwering, Christoph
AU  - Lakemeyer, Gerhard
AU  - Pagnucco, Maurice
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 3214
EP  - 3219
UR  - https://ijcai.org/proceedings/2015/453
ER  -