Qualitative Constraints Representation for the Time and Space in SAT

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 propositional 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.

• Type: Conference
• Year: 2007
• Where: ICTAI
• Authors: Jean-François Condotta, Dominique D'Almeida
• Keywords: Artificial Intelligence, Consistency Problem, ICTAI 2007, Propositional Logic, Spatial Qualitive Constraint