Title :
Qualitative Constraints Representation for the Time and Space in SAT
Author :
Condotta, Jean-François ; Almeida, Dominique D.
Author_Institution :
Univ. of Artois, Lens
Abstract :
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in the framework of the prepositional logic is proposed. The definition of this encoding presupposes the existence of a particular order on the basic relations of the qualitative calculus such as that of the conceptual lattice of the interval algebra of Allen.
Keywords :
inference mechanisms; temporal logic; prepositional logic; qualitative calculus; qualitative constraints representation; spatial qualitive constraint networks; Algebra; Artificial intelligence; Calculus; Encoding; Lattices; Lenses; Logic; Search methods;
Conference_Titel :
Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on
Conference_Location :
Patras
Print_ISBN :
978-0-7695-3015-4
DOI :
10.1109/ICTAI.2007.75