What Is a Qualitative Calculus? A General Framework

What is a qualitative calculus? Many qualitative spatial and temporal calculi arise from a set of JEPD (jointly exhaustive and pairwise disjoint) relations: a stock example is Allen's calculus, which is based on thirteen basic relations between intervals on the time line. This paper examines the construction of such a formalism from a general point of view, in order to make apparent the formal algebraic properties of all formalisms of that type. We show that the natural algebraic object governing this kind of calculus is a non-associative algebra (in the sense of Maddux), and that the notion of weak representation is the right notion for describing most basic properties. We discuss the ubiquity of weak representations in various guises, and argue that the fundamental notion of consistency itself can best be understood in terms of consistency of one weak representation with respect to another.

[1]  I. Hodkinson,et al.  Relation Algebras by Games , 2002 .

[2]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[3]  Jochen Renz,et al.  A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals , 2001, IJCAI.

[4]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[5]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[6]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[7]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[8]  Philippe Balbiani Jean-Fran,et al.  A Model for Reasoning about Bidimensional Temporal Relations , 1998 .

[9]  Abdul Sattar,et al.  A New Framework for Reasoning about Points, Intervals and Durations , 1999, IJCAI.

[10]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[11]  Gérard Ligozat,et al.  On Generalized Interval Calculi , 1991, AAAI.

[12]  Gérard Ligozat,et al.  Tractable relations in temporal reasoning: pre-convex relations , 1994 .

[13]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[14]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[15]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[16]  Bjarni Jónsson,et al.  Representation of modular lattices and of relation algebras , 1959 .

[17]  Jean-François Condotta,et al.  Spatial Reasoning About Points in a Multidimensional Setting , 2002, Applied Intelligence.

[18]  Ivo Düntsch,et al.  Tangent Circle Algebras , 2001, RelMiCS.

[19]  Debasis Mitra,et al.  Qualitative Reasoning with Arbitrary Angular Directions , 2002 .

[20]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[21]  Luis Fariñas del Cerro,et al.  A Model for Reasoning about Bidemsional Temporal Relations , 1998, KR.

[22]  Luis Fariñas del Cerro,et al.  A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations , 1999, EPIA.

[23]  Max J. Egenhofer,et al.  Relation algebras over containers and surfaces: An ontological study of a room space , 1999, Spatial Cogn. Comput..

[24]  Jean-François Condotta,et al.  Spatial and temporal reasoning: beyond Allen's calculus , 2004, AI Commun..

[25]  Philippe Balbiani,et al.  A Model for Reasoning about Topologic Relations between cyclic intervals , 2000, KR.

[26]  Jean-François Condotta,et al.  On the consistency problem for the INDU calculus , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[27]  Gérard Ligozat,et al.  Weak Representations of Interval Algebras , 1990, AAAI.