Pointer Semantics with Forward Propagation
Sujata Ghosh, Benedikt Löwe, Sanchit Saraf · 2009
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.