A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi

Abstract

Temporal and spatial reasoning is a central task for numerous applications in many areas of artificial intelligence. For this task, numerous formalisms using the qualitative approach have been proposed. Clearly, these formalisms share a common algebraic structure. In this paper we propose and study a general definition of such formalisms by considering calculi based on basic relations of an arbitrary arity. We also describe the QAT (the qualitative algebra toolkit), a JAVA constraint programming library allowing to handle constraint networks based on those qualitative calculi