Pointer Semantics with Forward Propagation

DOI

10.2991/agi.2009.29How to use a DOI?

Abstract

In this paper, we will discuss a new approach to formally modelling belief change in systems of sentences with inter- dependency. Our approach is based on the paradigm called pointer semantics or revision theory which forms a funda- mental 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 se- mantics 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.

Copyright

© 2009, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Sujata Ghosh
AU  - Benedikt Löwe
AU  - Sanchit Saraf
PY  - 2009/06
DA  - 2009/06
TI  - Pointer Semantics with Forward Propagation
BT  - Proceedings of the 2nd Conference on Artificial General Intelligence (2009)
PB  - Atlantis Press
SP  - 132
EP  - 137
SN  - 1951-6851
UR  - https://doi.org/10.2991/agi.2009.29
DO  - 10.2991/agi.2009.29
ID  - Ghosh2009/06
ER  -