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 条
  • [41] Sphere orderings representation of space-time
    Vatandoost, M.
    Bahrampour, Y.
    JOURNAL OF MATHEMATICAL PHYSICS, 2011, 52 (11)
  • [42] On a microscopic representation of space-time IV
    Dahm, Rolf
    PHYSICS OF ATOMIC NUCLEI, 2017, 80 (03) : 512 - 519
  • [43] REPRESENTATION OF ACOUSTICAL SPACE-TIME SIGNALS
    PARVULES.A
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1963, 35 (11): : 1904 - &
  • [44] Space-time tubes and motion representation
    Diou, Christos
    Manta, Anastasia
    Delopoulos, Anastasios
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, 2006, 204 : 583 - +
  • [45] The neural representation of faces is distributed in space and time
    Haxby, JV
    Gobbini, MI
    INTERNATIONAL JOURNAL OF PSYCHOPHYSIOLOGY, 2004, 54 (1-2) : 25 - 26
  • [46] THE QUASIPOSITION REPRESENTATION IN THE SNYDER SPACE-TIME
    Budnyy, B.
    JOURNAL OF PHYSICAL STUDIES, 2009, 13 (03):
  • [47] On a Microscopic Representation of Space-Time III
    Dahm, Rolf
    ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2019, 29 (01)
  • [48] On a Microscopic Representation of Space-Time V
    Dahm, R.
    XXIV INTERNATIONAL CONFERENCE ON INTEGRABLE SYSTEMS AND QUANTUM SYMMETRIES (ISQS-24), 2017, 804
  • [49] Reasoning about qualitative representations of space and time
    Cohn, AG
    AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 334 - 334
  • [50] RESPONSE TIMING CONSTRAINTS ON THE CORTICAL REPRESENTATION OF SOUND TIME STRUCTURE
    PHILLIPS, DP
    HALL, SE
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1990, 88 (03): : 1403 - 1411
12345