一种动态定性空间关系自动规划方法
作者：欧阳丹彤；宋小华
作者单位：吉林大学 计算机科学与技术学院,吉林长春130012;符号计算与知识工程教育部重点实验室(吉林大学),吉林长春130012;吉林大学 计算机科学与技术学院,吉林长春130012;符号计算与知识工程教育部重点实验室(吉林大学),吉林长春130012;空军航空大学数学应用中心,吉林长春 130022
加工时间：2014-05-15
信息来源：《软件学报》
关键词：定性空间推理；自动规划；邻域划分图；概念邻域图
摘 要：为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.
027-87841330