Pointer Semantics with Forward Propagation

Abstract

In this paper, we will discuss a new approach to formally modelling belief change in systems of sentences with interdependency. Our approach is based on the paradigm called pointer semantics or revision theory which forms a fundamental way of successfully understanding the semantics of logic programming, but has also been used extensively in philosophical logic and other applications of logic. With a purely unidirectional (backward) flow of change, pointer semantics are not fit to deal with belief change. We propose an extension that allows flow of change in both directions in order to be applied for belief change.