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