-
题名RCC8的一致分割及其算法
被引量：1
- 1
-
-
作者
崔文正
-
机构
中国科学院数学与系统科学研究院
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第1期143-150,共8页
-
基金
国家自然科学基金重点项目(No.61232015)
-
文摘
区域连接演算(Region Connection Calculus,RCC)是一种用于空间定性表示和推理的形式化模型,如RCC5,RCC8等,其一致性检查被证明是一个NP问题。幸运的是,在其可处理子集上,路径一致性和一致性等价,即便这样也有O(n3)的时间复杂度和O(n2)的空间复杂度。为了提高一致性检查的效率,提出了一致分割的概念,给出了其定义和成立的充分必要条件,用来将RCC8的约束图在保持一致性的前提下分割成若干个子图,分而求解各个子图的一致性;并随后给出了几种一致分割的充分条件,和相应的高效分割算法。在随机生成的大型、稀疏约束图上的实验表明了一致分割的有效性。
-
关键词
空间定性推理
一致分割
约束满足问题
路径一致性算法
区域连接演算
-
Keywords
qualitative spatial reasoning
consistent cut
constraint satisfaction problem
path consistency algorithm
regionconnection calculus
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于结合空间拓扑和方向关系信息的空间推理
被引量：9
- 2
-
-
作者
孙海滨
李文辉
-
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第2期253-259,共7页
-
基金
国家自然科学基金项目(60573182)~~
-
文摘
结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的·
-
关键词
定性空间推理
约束满足问题
路径一致算法
计算复杂性
-
Keywords
qualitative spatial reasoning
constraint satisfaction problems （CSPs）
path consistency algorithm
computational Complexity
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
