When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
In  Bennett, Isli and Cohn put out the following challenge to researchers working with theories based on composition tables (CT): give a general characterization of theories and relational constraint languages for which a complete proof procedure can be specified by a CT. For theories based on CTs, they make the distinction between a weak, consistency-based interpretation of the CT, and a stronger extensional definition. In this paper, we take up a limited aspect of the challenge, namely, we characterize a subclass of formalisms for which the weak interpretation can be related in a canonical way to a structure based on a total ordering, while the strong interpretations have the property of aleph-zero categoricity (all countable models are isomorphic).
Our approach is based on algebraic, rather than logical, methods. It can be summarized by two keywords: relation algebra and weak representation.
Keywordstemporal reasoning spatial reasoning relation algebra weak representation complete theory
Unable to display preview. Download preview PDF.
- F.D. Anger, D. Mitra, and R.V. Rodriguez. Temporal Constraint Networks in Nonlinear Time. In Proc. of the ECAI-98 Workshop on Spatial and Temporal Reasoning (W22), pages 33–39, Brighton, UK.Google Scholar
- P. Balbiani and A. Osmani. A model for reasoning about topologic relations between cyclic intervals. In Proc. of KR-2000, Breckenridge, Colorado, 2000.Google Scholar
- Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. In Proc. of KR-98, pages 124–130, 1998.Google Scholar
- Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A new tractable subclass of the rectangle algebra. In Proc. of IJCAI-99, pages 442–447, 1999.Google Scholar
- Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. Spatial reasoning about points in a multidimensional setting. In Proc. of the IJCAI-99 Workshop on Spatial and Temporal Reasoning, pages 105–113, 1999.Google Scholar
- Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proc. of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), pages 75–89, 1999.Google Scholar
- B. Bennett, A. Isli, and A. Cohn. When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language? In Proc. of the IJCAI-97 Workshop on Spatial and Temporal Reasoning, pages 75–81, Nagoya, Japan, 1997.Google Scholar
- M. Broxvall and P. Jonsson. Disjunctive Temporal Reasoning in Partially Ordered Models of Time. In Proc. of AAAI-2000, Austin, Texas, 2000.Google Scholar
- P. Ladkin. Models of Axioms for Time Intervals. In Proc. of AAAI-87, 1987.Google Scholar
- G. Ligozat. Generalized Intervals: A Guided Tour. In Proc. of the ECAI-98 Workshop on Spatial and Temporal Reasoning (W22), pages 11–18, Brighton, UK, 1998.Google Scholar
- G. Ligozat. Weak Representations of Interval Algebras. In Proc. of AAAI-90, pages 715–720, 1990.Google Scholar
- G. Ligozat. On generalized interval calculi. In Proc. of AAAI-91, pages 234–240, 1991.Google Scholar
- G. Ligozat. Simple Models for Simple Calculi. In C. Freksa and D.M. Mark, editors, Proc. of COSIT’99, number 1661 in LNCS, pages 173–188. Springer Verlag, 1999.Google Scholar
- C.H. Papadimitriou, D. Suciu and V. Vianu. Topological Queries in Spatial Databases. In Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 81–92, 1996.Google Scholar
- D. Randell, Z. Cui, and T. Cohn. A spatial logic based on regions and connection. In B. Neumann, editor, Proc. of KR-92, pages 165–176, San Mateo, CA, 1992. Morgan Kaufmann.Google Scholar
- J. Renz. A canonical model of the region connection calculus. In Proc. of KR’98, Trento, Italy, 1998.Google Scholar
- L. Segoufin and V. Vianu. Querying Spatial Databases via Topological Invariants. In Proc. ACM Symp. on Principles of Database Systems, 1998.Google Scholar
- P.K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.Google Scholar
- D. van Dalen. Logic and Structure. Springer, 1997.Google Scholar