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

Jean-François Condotta (1) , Gérard Ligozat (2) , Mahmoud Saade (1)

1 UA - Université d'Artois
2 LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur

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.

Mots clés: spatial reasoning; temporal reasoning; reasoning toolkit

Domaines: Intelligence artificielle [cs.AI]; Informatique et langage [cs.CL]; Linguistique

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade. A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. TIME 2006 International Symposium on Temporal Representation and Reasoning , Jun 2006, Budapest, Hungary. pp.78 - 86, ⟨10.1109/TIME.2006.2⟩. ⟨hal-01487333⟩