Empirical study of algorithms for qualitative temporal or spatial constraint networks

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

Representing and reasoning about spatial and temporal information is an important task in many applications of Artificial Intelligence. In the past two decades numerous formalisms using qualitative constraint networks have been proposed for representing information about time and space. Most of the methods used to reason with these constraint networks are based on the weak composition closure method. The goal of this paper is to study some implementations of these methods, including three well known and very used implementations, and two new ones.

Keywords: empirical study of algorithms; qualitative spatial constraint networks; qualitative temporal constraint networks; weak composition

Domains: Artificial Intelligence [cs.AI]; Computation and Language [cs.CL]; Linguistics

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade. Empirical study of algorithms for qualitative temporal or spatial constraint networks. The 17th European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. ⟨hal-01487411⟩