Proceedings of the 2nd Conference on Artificial General Intelligence (2009)

Pointer Semantics with Forward Propagation

Authors
Sujata Ghosh, Benedikt Löwe, Sanchit Saraf
Corresponding Author
Sujata Ghosh
Available Online June 2009.
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)

Volume Title
Proceedings of the 2nd Conference on Artificial General Intelligence (2009)
Series
Advances in Intelligent Systems Research
Publication Date
June 2009
ISBN
10.2991/agi.2009.29
ISSN
1951-6851
DOI
10.2991/agi.2009.29How to use a DOI?
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/).

Cite this article

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  -