DocumentCode :
468399
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
Volume :
1
fYear :
2007
fDate :
29-31 Oct. 2007
Firstpage :
74
Lastpage :
77
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on
Conference_Location :
Patras
ISSN :
1082-3409
Print_ISBN :
978-0-7695-3015-4
Type :
conf
DOI :
10.1109/ICTAI.2007.75
Filename :
4410265
Link To Document :
بازگشت