Qualitative spatio-temporal reasoning about movement of mobile agents/objects

被引：2
|
作者：
Cheng, Jing-De [1 ]
机构：
[1] Saitama Univ, Dept Informat & Comp Sci, Saitama 3388570, Japan
来源：
PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7 | 2008年
关键词：
region connection calculus; route calculus; movement calculus; distance calculus; strong relevant logic;
D O I：
10.1109/ICMLC.2008.4620982
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a new approach to qualitative spatio-temporal reasoning about movement of mobile agents/objects. We extend spatio-temporal relevant logics by introducing predicates and axiom schemata about movement of mobile objects, and defining the notion of distance by predicates about point position and adjacency, predicates about movement of mobile objects, and temporal operators. As a result, the new spatio-temporal relevant logics can be used to represent and reason about movement of mobile agents in the cyberworld as well as mobile objects in the real world.
引用
收藏
页码：3341 / 3346
页数：6
相关论文
共 50 条
  • [11] Integrating orientation, distance and time for qualitative spatio-temporal reasoning
    Xie, Q
    Liu, DY
    Yu, QY
    Yu, HB
    [J]. PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 2269 - 2273
  • [12] Hybrid AI Systems Grounded on Qualitative Spatio-Temporal Reasoning
    Sioutis, Michael
    Long, Zhiguo
    [J]. PROCEEDINGS OF THE 12TH HELLENIC CONFERENCE ON ARTIFICIAL INTELLIGENCE, SETN 2022, 2022,
  • [13] Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
    Sioutis, Michael
    Condotta, Jean-Francois
    Salhi, Yakoub
    Mazure, Bertrand
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 54 - 69
  • [14] Learning Behaviors of and Interactions Among Objects Through Spatio-Temporal Reasoning
    Ersen, Mustafa
    Sariel, Sanem
    [J]. IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, 2015, 7 (01) : 75 - 87
  • [15] Spatio-temporal reasoning based spatio-temporal information management middleware
    Wang, SS
    Liu, DY
    Wang, Z
    [J]. ADVANCED WEB TECHNOLOGIES AND APPLICATIONS, 2004, 3007 : 436 - 441
  • [16] STORM: Spatio-Temporal Online Reasoning and Management of Large Spatio-Temporal Data
    Christensen, Robert
    Wang, Lu
    Li, Feifei
    Yi, Ke
    Tang, Jun
    Villa, Natalee
    [J]. SIGMOD'15: PROCEEDINGS OF THE 2015 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2015, : 1111 - 1116
  • [17] SPATIO-TEMPORAL TRAJECTORY ANALYSIS OF MOBILE OBJECTS FOLLOWING THE SAME ITINERARY
    Etienne, Laurent
    Devogele, Thomas
    Bouju, Alain
    [J]. JOINT INTERNATIONAL CONFERENCE ON THEORY, DATA HANDLING AND MODELLING IN GEOSPATIAL INFORMATION SCIENCE, 2010, 38 : 86 - 91
  • [18] Qualitative spatio-temporal database
    Wang, Sheng-Sheng
    Liu, Da-You
    Chen, Juan
    Jia, Hai-Yang
    [J]. PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 2002 - +
  • [19] Topological spatio-temporal reasoning and representation
    Muller, P
    [J]. COMPUTATIONAL INTELLIGENCE, 2002, 18 (03) : 420 - 450
  • [20] Research progress in spatio-temporal reasoning
    Liu, Da-You
    Hu, He
    Wang, Sheng-Sheng
    Xie, Qi
    [J]. Ruan Jian Xue Bao/Journal of Software, 2004, 15 (08): : 1141 - 1149
12345