Title :
Qualitative spatio-temporal reasoning about movement of mobile agents/objects
Author_Institution :
Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama
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;
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
DOI :
10.1109/ICMLC.2008.4620982
