JUCS - Journal of Universal Computer Science 9(9): 1096-1122, doi: 10.3217/jucs-009-09-1096
Modeling Motion by the Integration of Topology and Time
expand article infoLledó Museros, M. Teresa Escrig§
‡ Alicer, Ceramic Design Technology Institute, Castellon, Spain§ Universidad Jaume I, Engineering and Computer Science Department, Castellon, Spain
Open Access
Abstract
A qualitative representational model and the corresponding reasoning process for integrating time and topological information is developed in this paper. In the calculus presented, topological information in function of the point of the time in which it is true is represented as an instance of the Constraint Satisfaction Problem. The resulting method can be applied to qualitative navigation of autonomous agents. The model presented in this paper will help us during the path planning task by describing the sequence of topological situations that the agent should find during its way to the target objective. A preliminary result of that application has been obtained by using qualitative representation of such spatial aspects for the autonomous simulated navigation of a Nomad-200 robot, on a structured environment of an easy corridor in a building.
Keywords
qualitative reasoning, temporal reasoning, spatial reasoning, constraint logic programming, autonomous mobile robot navigation, integration