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 条
  • [1] A UNIFORM REPRESENTATION FOR TIME AND SPACE AND THEIR MUTUAL CONSTRAINTS
    HARTLEY, RT
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1992, 23 (6-9) : 441 - 457
  • [2] Qualitative representation and reasoning with uncertainty in space and time
    El-Geresy, BA
    Abdelmoty, AI
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXII, 2006, : 345 - +
  • [3] Representation of space and time
    Yuan, M
    ECONOMIC GEOGRAPHY, 2004, 80 (02) : 217 - 218
  • [4] Visual object tracking via time-space constraints and sparse representation classification
    Kuang, Jin-Jun
    Chai, Yi
    Xiong, Qing-Yu
    Kongzhi yu Juece/Control and Decision, 2013, 28 (09): : 1355 - 1360
  • [5] SAT with Global Constraints
    Chowdhury, Md Solimul
    You, Jia-Huai
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 73 - 80
  • [6] Time-space tradeoffs for SAT on nonuniform machines
    Tourlakis, I
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 63 (02) : 268 - 287
  • [7] Fractal Parallelism: Solving SAT in Bounded Space and Time
    Duchier, Denys
    Durand-Lose, Jerome
    Senot, Maxime
    ALGORITHMS AND COMPUTATION, PT I, 2010, 6506 : 279 - 290
  • [8] ANALOGICAL REPRESENTATION OF SPACE AND TIME
    HOWARTH, RJ
    BUXTON, H
    IMAGE AND VISION COMPUTING, 1992, 10 (07) : 467 - 479
  • [9] Representation and constraints: the inverse problem and the structure of visual space
    Hatfield, G
    ACTA PSYCHOLOGICA, 2003, 114 (03) : 355 - 378
  • [10] Width-Parameterized SAT: Time-space tradeoffs
    Allender, Eric
    Chen, Shiteng
    Lou, Tiancheng
    Papakonstantinou, Periklis A.
    Tang, Bangsheng
    Theory of Computing, 2014, 10 : 297 - 339
12345