一种动态定性空间关系自动规划方法  

Automated Planning Method for Dealing with Dynamic Qualitative Spatial Relations

作　　者：宋小华[1,2,3] 欧阳丹彤[1,2] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012 [2]符号计算与知识工程教育部重点实验室(吉林大学),吉林长春130012 [3]空军航空大学数学应用中心,吉林长春130022

出　　处：《软件学报》2012年第10期2564-2571,共8页Journal of Software

基　　金：国家自然科学基金(60973089;60873148;61170092;41001302;61103091);吉林省科技发展计划基金(20101501;20100185;20090108;20080107;201101039);国家教育部博士点专项基金(20100061110031);浙江师范大学计算机软件与理论省级重中之重学科开放基金欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12);吉林大学"985工程"研究生创新基金(20080242)

摘　　要：为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.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.

关 键 词：定性空间推理 自动规划 邻域划分图 概念邻域图 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]