| 摘要: |
| 为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景. |
| 关键词: 定性空间推理 自动规划 邻域划分图 概念邻域图 |
| DOI：10.3724/SP.J.1001.2012.04182 |
| 分类号: |
| 基金项目:国家自然科学基金(60973089, 60873148, 61170092, 41001302, 61103091); 吉林省科技发展计划基金(20101501, 20100185, 20090108, 20080107, 201101039); 国家教育部博士点专项基金(20100061110031); 浙江师范大学计算机软件与理论省级重中之重学科开放基金欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12); 吉林大学“985工程”研究生创新基金(20080242) |
|
| Automated Planning Method for Dealing with Dynamic Qualitative Spatial Relations |
|
SONG Xiao-Hua1,2,3, OUYANG Dan-Tong1,2
|
|
1.College of Computer Science and Technology, Jilin University, Changchun 130012, China;2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education (Jilin University), Changchun 130012,China;3.Center of Mathematics for Applications, Aviation University of Air Force, Changchun 130022, China
|
| Abstract: |
| This paper proposes the neighborhood partition graph to describe the relationship between qualitativespatial relations and actions, which is based on conceptual neighborhood graphs. The new approach is used toaddress 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, thecorrectness of the algorithm is proved with an example to describe the application. The new approach is dealsenough with dynamic qualitative spatial relations, and it has potential application in robot navigation. |
| Key words: qualitative spatial reasoning automated planning neighborhood partition graph conceptualneighborhood graph |
