基于动作的动态空间推理

动态空间关系的表示和推理一直以来都是定性空间推理中的研究重点。通过用矩形关系来表示空间原语实体为区域的定性空间关系，对Bhatt定义的动态空间系统进行细化和扩展，定义空间实体的8个移动动作，并给出拥有多个空间实体的空间场景下区间关系在不同动作作用下的状态转移图和状态转移表，指出状态转移图和概念邻域图的区别。用一个元组对空间场景进行形式化表示，定义动态空间系统中的一个基本任务，即历史场景在空间实体动作作用下推出新空间场景，给出这个任务的解决方法，指出方法的局限和不足，同时给出一个应用场景。

Dynamic Spatial Reasoning Based on Action

Dynamic spatial relations representation and reasoning have always been a focus of research in qualitative spatial reasoning. In this paper, the qualitative spatial relation of spatial primitive area is represented by rectangle relation. Some elaboration and extension are made for dynamic spatial system defined by Bhatt. Eight moving actions are defined for spatial entity, and the state transition graph and the state transition table are given under different actions for interval relation in spatial situation with multiple spatial entities. A tuple is used to formalize spatial situation, a basic missions is defined in dynamic spatial system, what the new spatial situation is when an entity takes action in the history situation. The method to solve the missions is given, and the limitation and shortages of the method are also presented. Furthermore, an application situation is given in this paper.