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

共 41 条

[1]

Anderson A. R., 1975, Entailment: The Logic of Relevance and Necessity, VI

[2]

Anderson A. R., 1992, Entailment: the Logic of Relevance and Necessity, VII

[3]

[Anonymous], LECT NOTES ARTIFICIA

[4]

[Anonymous], J COMPUTING INFORMAT

[5] Multi-dimensional modal logic as a framework for spatio-temporal reasoning [J].

Bennett, B ;

Cohn, AG ;

Wolter, F ;

Zakharyaschev, M .

APPLIED INTELLIGENCE, 2002, 17 (03) :239-251

[6]

Bennett B., 1996, B INTEREST GROUP PUR, V4, P23

[7]

BURGESS JP, 2002, HDB PHILOS LOGIC, V7, P1

[8]

Cardelli L., 2000, Conference Record of POPL'00: 27th ACM SIGPLAN-SIGACT. Symposium on Principles of Programming Languages. Papers Presented at the Symposium, P365, DOI 10.1145/325694.325742

[9]

Casati R., 1999, Parts and places: The structures of spatial representation

[10]

Cheng J, 2004, AIP CONF PROC, V718, P362, DOI 10.1063/1.1787339

← 1 2 3 4 5 →