PP-2008-52: Pointer Semantics with Forward Propagation

PP-2008-52: Ghosh, Sujata and Löwe, Benedikt and Saraf, Sanchit (2008) Pointer Semantics with Forward Propagation. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (201kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


Pointer semantics describing a formal language with the possibility of
self-reference have been invented by Haim Gaifman; they form a
fundamental way of understanding the semantics of logic programming,
but have also been used extensively in philosophical logic and other
applications of logic. In pointer semantics, truth values flow
backwards along from the defining statement to the propositional
variable. As a consequence, pointer semantics cannot deal properly
with dependence networks that have terminal nodes. Ghosh, Löwe and
Scorelle have proposed an abstract system of combining pointer
semantics with forward flow of truth values. Their system was
difficult to handle, and apart from the fact that the system could
handle some enlightening examples, very few theoretical insights were
made. In this paper, we now produce a more concrete variant of this
system, built on three-valued logic which allows us to gain more
theoretical control over its properties.

Item Type: Report
Report Nr: PP-2008-52
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Gaifman pointer semantics; belief; belief flow
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/326

Actions (login required)

View Item View Item