Talk by Tsutomu Fujinami
A Process Algebraic Approach to Situation Semantics
We propose a way to base Situation Semantics to a computational ground
of concurrency and to Linear Logic. One of the core ideas of Situation
Semantics is ecological realism, the idea that meaning arises from the
interaction between a cognitive agent and his/her environments. We
model both the agent and environments as a process and study the
interaction as a system of communicating processes. We turn to the
pi-calculus to construct semantic objects employed in Situation
Semantic. The construction helps us relate Situation Semantics with
Linear Logic, through our translation of the calculus to a Combinatory
Intuitionistic Linear Logic. The tensor product then enables us to
build up various semantic objects as a theory. By conceiving of Linear
Logic as a theory of information flow, we can establish a connection
between Channel Theory and Situation Theoretic Discourse
Representation Theory.
Paul Dekker, November 2, 1995