Approximate Qualitative Temporal Reasoning
Thomas Bittner · 2001
In this paper I define four sets of binary topological relations between one dimensional regions in a one-dimensional space: (1) boundary insensitive relations in a non-directed space, (2) boundary insensitive relations in a directed space, (3) boundary sensitive relations in a non-directed space, and (4) boundary sensitive relations in a directed space. For each of these sets of relations between exact regions I define a corresponding set of relations between approximations of regions with respect to an underlying regional partition. I discuss syntactic and semantic generalizations of relations between exact regions to corresponding relations between approximations and show the equivalence of syntactic and semantic generalization. Introduction Every temporal object and every spatio-temporal object is located at a unique region of time bounded by the begin and the end of its existence. In every moment of time a spatio-temporal object, o, is exactly located at a single region, x, of sp...