Spatio-temporal indexing in database semantics

In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the truth value of propositions relative to possible worlds, but not for modeling the spatio-temporal orientation of natural cognitive agents. This paper presents an alternative approach to representing space and time. While on the same level of abstraction as the logical approach, it is designed for an analysis of spatio-temporal inferences in humans. Such an analysis is important for modeling natural language communication because spatio-temporal information is constantly coded into language by the speaker and decoded by the hearer. Starting from the spatio-temporal characterization of direct observation in cognitive agents without language, the speaker's coding of spatio-temporal information into language is analyzed, followed by the hearer's reconstruction of this location. These procedures of transferring spatio-temporal information from the speaker to the hearer are embedded in the general structure of database semantics.