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

Author

Cheng, Jing-de

Author_Institution

Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama

Volume

6

fYear

2008

fDate

12-15 July 2008

Firstpage

3341

Lastpage

3346

Abstract

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.

Keywords

inference mechanisms; mobile agents; axiom schemata; mobile agents; mobile objects; qualitative spatio-temporal reasoning; Calculus; Computational modeling; Computer networks; Concurrent computing; Cybernetics; Logic; Machine learning; Mobile agents; Mobile computing; Multiagent systems; Distance calculus; Movement calculus; Region connection calculus; Route calculus; Strong Relevant logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Machine Learning and Cybernetics, 2008 International Conference on

Conference_Location

Kunming

Print_ISBN

978-1-4244-2095-7

Electronic_ISBN

978-1-4244-2096-4

Type

conf

DOI

10.1109/ICMLC.2008.4620982

Filename

4620982