为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.
This paper proposes the neighborhood partition graph to describe the relationship between qualitative spatial relations and actions,which is based on conceptual neighborhood graphs.The new approach is used to address the problem of automated planning about qualitative spatial relations.Using neighborhood partition graph,the representation and reasoning for automated planning of qualitative spatial relations is proposed.Finally,the correctness of the algorithm is proved with an example to describe the application.The new approach is deals enough with dynamic qualitative spatial relations,and it has potential application in robot navigation.