---
title: "Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus"
authors:
  - "Christoph Schwering"
  - "Gerhard Lakemeyer"
  - "Maurice Pagnucco"
doi: ""
url: "https://ijcai.org/proceedings/2015/453"
pdf: "https://ijcai.org/proceedings/2015/0453.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "3214-3219"
track: "Special Track on Knowledge Representation and Reasoning"
keywords:
---

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

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, 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.