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 条

[1] Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space
Cheng, Jingde
[J]. ADVANCES IN COMPUTATION AND INTELLIGENCE, PROCEEDINGS, 2008, 5370 : 637 - 648
[2] Qualitative semantic spatio-temporal reasoning based on description logics for modeling dynamics of spatio-temporal objects in satellite images
Ghazouani, Fethi
Farah, Imed Riadh
Solaiman, Basel
[J]. 2018 4TH INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR SIGNAL AND IMAGE PROCESSING (ATSIP), 2018,
[3] Reasoning about qualitative spatio-temporal relations at multiple levels of granularity
Bittner, T
[J]. ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 317 - 321
[4] Qualitative Spatio-temporal Reasoning from Mobile Sensor Data using Qualitative Trigonometry
Brink, Juliane
[J]. ADVANCING GEOINFORMATION SCIENCE FOR A CHANGING WORLD, 2011, 1 : 211 - 225
[5] Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
Bennett, Brandon
Magee, Derek R.
Cohn, Anthony G.
Hogg, David C.
[J]. IMAGE AND VISION COMPUTING, 2008, 26 (01) : 67 - 81
[6] Querying mobile objects in spatio-temporal databases
Porkaew, K
Lazaridis, I
Mehrotra, S
[J]. ADVANCES IN SPATIAL AND TEMPORAL DATABASES, PROCEEDINGS, 2001, 2121 : 59 - 78
[7] Spatio-temporal approximate reasoning over complex objects
Synak, P
Bazan, JG
Skowron, A
Peters, JF
[J]. FUNDAMENTA INFORMATICAE, 2005, 67 (1-3) : 249 - 269
[8] A qualitative Hidden Markov model for spatio-temporal reasoning
Ibrahim, Zina M.
Tawfik, Ahmed Y.
Ngom, Alioune
[J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 707 - +
[9] Spatio-Temporal Planning for Mobile Ambient Agents
Boukharrou, Radja
Ilie, Jean-Michel
Saidouni, Djamel Eddine
[J]. 10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 96 - 103
[10] Determining Interacting Objects in Human-Centric Activities via Qualitative Spatio-Temporal Reasoning
Sokeh, Hajar Sadeghi
Gould, Stephen
Renz, Jochen
[J]. COMPUTER VISION - ACCV 2014, PT V, 2015, 9007 : 550 - 563

← 1 2 3 4 5 →