定性空间推理中区域连接演算的多维扩展 被引量：6

1

作者 王生生 刘大有 《计算机研究与发展》 EI CSCD 北大核心 2004年第11期1954-1958,共5页

区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一 但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展 扩展了区域概念 ,将点和线对象视为特殊的区域 提出了能直接用RCC理论描述空间多... 区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一 但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展 扩展了区域概念 ,将点和线对象视为特殊的区域 提出了能直接用RCC理论描述空间多维对象拓扑关系的MRCC理论 在保留RCC公理的前提下 ,MRCC增加了 2条新公理 ,并由此推导出了 36种MRCC基本关系 进而讨论了基于概念邻域图和复合表的推理 MRCC拓展了RCC理论的适用范围 。 展开更多

关键词 区域连接演算 定性空间推理 空间多维对象

下载PDF 职称材料

混合维拓扑和尺寸关系的定性空间推理 被引量：3

2

作者 王生生 刘杰 +1 位作者 王新颖 刘大有 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1169-1175,共7页

定性空间推理(QSR)研究空间关系,多数工作集中在单维空间关系,但在地理信息系统(GIS)中多维对象很常见.混合维对象空间关系是指点、线和区域3类对象出现在同一场景的情况,该类问题对定性空间推理研究有着重要的理论意义和应用价值,但这... 定性空间推理(QSR)研究空间关系,多数工作集中在单维空间关系,但在地理信息系统(GIS)中多维对象很常见.混合维对象空间关系是指点、线和区域3类对象出现在同一场景的情况,该类问题对定性空间推理研究有着重要的理论意义和应用价值,但这方面的研究工作还比较少.在已有的混合维区域连接演算的基础上进行完善,提出了MRCC5混合维拓扑模型,并研究了其上约束满足推理问题的复杂度.对定性尺寸关系进行了混合维扩展,给出了MDS模型,进而研究了其推理问题.在以上工作基础上,提出了RCC5和MDS的结合模型,给出并分析了结合模型的推理算法.将定性空间推理相关研究推广到混合维领域,深入研究了混合维拓扑关系推理,提出了混合维尺寸以及混合维拓扑尺寸结合模型. 展开更多

关键词 定性空间推理 混合维空间关系 约束满足问题 区域连接演算 结合空间关系

下载PDF 职称材料

基于区域伸缩的空间关系表示 被引量：3

3

作者 刘一松 詹永照 孙亚民 《计算机科学》 CSCD 北大核心 2008年第4期211-215,共5页

区域连接演算(RCC)是定性空间推理的重要基础理论之一。但由于缺乏必要的度量,RCC只是粗略地描述空间拓扑关系而难以对其更准确地描述,也难以利用RCC描述除拓扑关系之外的其它空间关系,如距离、方向等。本文在RCC理论的基础上,提出了区... 区域连接演算(RCC)是定性空间推理的重要基础理论之一。但由于缺乏必要的度量,RCC只是粗略地描述空间拓扑关系而难以对其更准确地描述,也难以利用RCC描述除拓扑关系之外的其它空间关系,如距离、方向等。本文在RCC理论的基础上,提出了区域伸缩演算(RESC)。RESC增加了一个全等CG的原始空间关系,引入了两个新颖的对区域的演算函数,即区域延伸和区域收缩,从而给出了一种以区域为单位的形式化的度量方法。利用RESC,不仅可以扩展RCC-8拓扑关系,而且能以灵活多样的粒度来描述区域间的距离关系、方向关系、位置关系以及运动关系。RESC增强了RCC的空间关系表示能力,拓展了RCC理论的适用范围。 展开更多

关键词 定性空间表示 区域连接演算 区域伸缩 度量

下载PDF 职称材料

模糊空间描述逻辑及应用 被引量：2

4

作者 王生生 刘大有 +2 位作者 吴瑕 谢琦 郭昊 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2010年第6期1634-1638,共5页

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法... 提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。 展开更多

关键词 人工智能 描述逻辑 定性空间推理 模糊逻辑 区域连接演算

下载PDF 职称材料

一个结合多方面定性空间信息的新方法 被引量：2

5

作者 宋小华 欧阳丹彤 《计算机研究与发展》 EI CSCD 北大核心 2011年第11期2039-2046,共8页

定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操... 定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操作来融合不同空间信息表示的新方法.利用结合操作,可以由原先完备互斥关系集合得到新关系,同时利用原有的复合表自动生成新关系的粗复合表.基于结合操作,给出2个理论模型:结合拓扑关系与大小关系模型、结合拓扑关系与远近关系模型.并提出了邻域划分图的概念,说明了邻域划分图与概念邻域图的关系.利用邻域划分图回答了Galton提出的问题:"为什么LOS(视觉光线演算)的概念邻域图不同于标准的空间或时间关系的概念邻域图,这些关系的复合表中关系总是来自于概念邻域图". 展开更多

关键词 定性空间推理 多方面空间信息 区域连接演算 概念邻域 邻域划分图

下载PDF 职称材料

考虑数据不确定性的非均匀挖掘算法 被引量：2

6

作者 刘竹松 陈洁 《华侨大学学报（自然科学版）》 CAS 北大核心 2016年第3期308-311,共4页

针对高维大数据不确定性的非均匀挖掘问题,提出一种基于不确定频繁模式树的模糊逻辑非均匀数据挖掘算法.首先,在考虑数据不确定性的前提下建立高维数据的区域连接演算(RCC)模型,并基于数据集合组元定义分析不确定数据集合的模糊距离;然... 针对高维大数据不确定性的非均匀挖掘问题,提出一种基于不确定频繁模式树的模糊逻辑非均匀数据挖掘算法.首先,在考虑数据不确定性的前提下建立高维数据的区域连接演算(RCC)模型,并基于数据集合组元定义分析不确定数据集合的模糊距离;然后,采用不确定模式树对数据的非均匀特性进行均匀泛化处理,并给出了具体的实现步骤.仿真结果表明:文中方法有效地提升不确定非均匀数据集合在不同支持度情况下的挖掘效率. 展开更多

关键词 高维大数据 数据挖掘 模糊逻辑 不确定频繁模式树 区域连接演算

下载PDF 职称材料

宽边界区域和简单区域间拓扑关系的表示及推理 被引量：1

7

作者 李健 欧阳继红 +2 位作者 朱佳斌 廖梦兰 赵慧 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2014年第3期771-775,共5页

基于RCC5得到宽边界区域和简单区域间的交集模型,根据宽边界模型的约束条件提出算法,并得到11种可以实现且完备的拓扑关系。本文所建立的宽边界区域和简单区域间的表达和推理模型,可用于表达和预测台风风圈区域和特定岛屿地区间的拓扑关... 基于RCC5得到宽边界区域和简单区域间的交集模型,根据宽边界模型的约束条件提出算法,并得到11种可以实现且完备的拓扑关系。本文所建立的宽边界区域和简单区域间的表达和推理模型,可用于表达和预测台风风圈区域和特定岛屿地区间的拓扑关系,对岛屿地区抗台风预警机制的建立具有一定的指导意义。 展开更多

关键词 人工智能 区域连接演算 宽边界 气旋

下载PDF 职称材料

RCC11复合表的表示(英文)

8

作者 李永明 李三江 《软件学报》 EI CSCD 北大核心 2007年第10期2458-2468,共11页

主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由Düntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平... 主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由Düntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当a∩b≠ф. 展开更多

关键词 区域连接演算 连接关系代数 RCC11复合表 补闭圆盘代数 对偶关系集 扩张性

下载PDF 职称材料

基于缓冲区的扩展拓扑关系模型及应用

9

作者 王生生 刘杰 +1 位作者 谢琦 刘大有 《计算机研究与发展》 EI CSCD 北大核心 2009年第11期1900-1906,共7页

定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.... 定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.针对缺乏基本关系可处理且易于在GIS系统中实现的模型等情况,提出了一种扩展拓扑关系模型BERCC.BERCC源于RCC理论,其主要思想是通过考虑缓存区之间的拓扑关系来提高模型表达能力,同时能表达一定程度的距离信息.推导了BERCC的弱复合表,证明了BERCC基本关系是可处理的,给出了一个包括全集关系和基本关系的可处理子集,在此基础上实现了约束满足推理算法.最后,基于该理论和方法实现了一个实验系统,进一步验证了模型及算法的正确性和实用性. 展开更多

关键词 定性空间推理 区域连接演算 缓冲区 约束满足问题 结合空间关系

下载PDF 职称材料

三个简单区域间的拓扑关系的表示模型 被引量：4

10

作者 李健 欧阳继红 +1 位作者 王振鑫 汪威 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2013年第1期117-122,共6页

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个... 空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。 展开更多

关键词 人工智能 三元拓扑关系 简单区域 区域连接演算 8-交集矩阵

下载PDF 职称材料

凹形区域和带单洞区域间拓扑关系的表示 被引量：3

11

作者 李健 欧阳继红 +1 位作者 富倩 陈岗 《模式识别与人工智能》 EI CSCD 北大核心 2013年第3期225-230,共6页

现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出... 现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出前10种拓扑关系的示意图.提出算法,并通过程序验证161种拓扑关系均可实现.证明所获得的161种基本关系的完备性和互斥性,通过与相关工作的比较可知该表示模型比其它相关模型表达力更强. 展开更多

关键词 拓扑关系 凹形区域 区域连接演算(RCC5) 人工智能 带单洞区域 4×4交集矩阵

下载PDF 职称材料

一种双嵌套区域与简单区域间的拓扑关系模型 被引量：2

12

作者 李健 欧阳继红 +1 位作者 朱佳斌 富倩 《电子学报》 EI CAS CSCD 北大核心 2013年第10期1988-1993,共6页

本文通过将经典4-交集矩阵中的区域内部替换为区域外部,使其可以表示RCC5关系.在此基础上定义了4@4交集矩阵,构建了双嵌套区域与简单区域间的拓扑关系模型.给出约束条件,得到双嵌套区域与简单区域间实际存在的53种拓扑关系,给出其关系... 本文通过将经典4-交集矩阵中的区域内部替换为区域外部,使其可以表示RCC5关系.在此基础上定义了4@4交集矩阵,构建了双嵌套区域与简单区域间的拓扑关系模型.给出约束条件,得到双嵌套区域与简单区域间实际存在的53种拓扑关系,给出其关系示意图及概念邻域图,在此基础上建立了拓扑关系的推理系统,给出关系复合表.应用本文所建立的拓扑关系模型,可用于对台风降水区域与指定目标地区的拓扑关系进行定性模拟,对台风及降水的预警机制具有一定的指导意义. 展开更多

关键词 定性空间推理 双嵌套区域 RCC5 台风

下载PDF 职称材料

基于ALC的空间语义知识库 被引量：2

13

作者 王生生 刘大有 +2 位作者 谷方明 谢琦 李昕 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第2期424-429,共6页

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语... 基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。 展开更多

关键词 人工智能 定性空间推理 描述逻辑 约束满足问题 区域连接演算

下载PDF 职称材料

改进的分层定性空间表示和推理方法 被引量：1

14

作者 刘大有 董飒 +1 位作者 欧阳继红 王生生 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第4期1041-1046,共6页

针对李三江和Bernhard提出的一种分层定性空间表示与推理方法,在固定分辨率的情况下,就该方法关于两个粗区域间关系的表示和推理进行了扩展,特别分析了粗区域下近似为零情况的推理问题,完善了确定两个粗区域间RCC5关系的定理。本文的改... 针对李三江和Bernhard提出的一种分层定性空间表示与推理方法,在固定分辨率的情况下,就该方法关于两个粗区域间关系的表示和推理进行了扩展,特别分析了粗区域下近似为零情况的推理问题,完善了确定两个粗区域间RCC5关系的定理。本文的改进方法还可用于其他RCC关系理论。 展开更多

关键词 人工智能 定性空间推理 分层空间模型 广义区域关系演算 分辨率 粗区域

下载PDF 职称材料

半定性约束满足问题求解

15

作者 王生生 刘大有 +3 位作者 谷方明 刘东 杨峰 刘辉武 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2012年第4期942-946,共5页

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件... 从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。 展开更多

关键词 人工智能 定性空间推理 半定性约束满足问题 区域连接演算 空间对象布尔运算

下载PDF 职称材料