Qualitative constraints representation for the time and space in SAT

被引：1
|
作者：
Condotta, Jean-Francois [1 ]
D'Almeida, Dominique [1 ]
机构：
[1] Univ Artois, CNRS, CRIL, F-62307 Lens, France
来源：
19TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL I, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/ICTAI.2007.75
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：74 / +
页数：2
相关论文
共 50 条
  • [21] SYMBOLIC REPRESENTATION OF TIME AND SPACE IN SUMBA
    SATOSHI, N
    MINZOKUGAKU KENKYU-JAPANESE JOURNAL OF ETHNOLOGY, 1979, 43 (04): : 355 - 377
  • [22] On a microscopic representation of space-time
    R. Dahm
    Physics of Atomic Nuclei, 2012, 75 : 1173 - 1181
  • [23] Constraint Programming Based on Matrix-Like Representation of Qualitative Constraints
    Zuenko, Alexander
    Oleynik, Yirii
    INFORMATION MODELLING AND KNOWLEDGE BASES XXX, 2019, 312 : 264 - 275
  • [24] Construction: Notes on qualitative time and space
    Pacheco, I. A. Anton
    PENSAMIENTO, 2008, 64 (240): : 289 - 314
  • [25] Qualitative reasoning about time and space
    Muller, Philippe
    TRAITEMENT AUTOMATIQUE DES LANGUES, 2011, 52 (02): : 184 - 185
  • [26] Inductive time-space lower bounds for SAT and related problems
    Williams, Ryan
    COMPUTATIONAL COMPLEXITY, 2006, 15 (04) : 433 - 470
  • [27] Inductive Time-Space Lower Bounds for Sat and Related Problems
    Ryan Williams
    computational complexity, 2006, 15 : 433 - 470
  • [28] Better time-space lower bounds for SAT and related problems
    Williams, R
    TWENTIETH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2005, : 40 - 49
  • [29] Qualitative Spatial Representation and Reasoning in 3D Space
    Li, Canlin
    Lu, Jiajie
    Yin, Chao
    Ma, Lizhuang
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL I, PROCEEDINGS, 2009, : 653 - 657
  • [30] Solving String Constraints Using SAT
    Lotz, Kevin
    Goel, Amit
    Dutertre, Bruno
    Kiesl-Reiter, Benjamin
    Kong, Soonho
    Majumdar, Rupak
    Nowotka, Dirk
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 187 - 208
12345