QUALITATIVE SPATIO-TEMPORAL REASONING ABOUT MOVEMENT OF MOBILE AGENTS/OBJECTS

摘要：

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.

关键词： Region connection calculus Route calculus Movement calculus Distance calculus Strong Relevant logic

作者: JING-DE CHENG

作者单位: Department of Information and Computer Sciences, Saitama University, Saitama, 338-8570, Japan

会议类型: 国际会议

会议名称: 2008 International Conference on Machine Learning and Cybernetics(2008机器学习与控制论国际会议)

会议地点: 昆明

会议语种:英文

页码: 3341-3346

在线出版日期: 2008-07-12（万方平台首次上网日期，不代表论文的发表时间）