史蒂文·肖卡特;李三江 使用凸区域实现RCC8网络。 （英语） Zbl 1319.68212号 Artif公司。智力。 218, 74-105 (2015). 小结：RCC8是区域连接演算的一个流行片段，它可以表达区域之间的定性空间关系，例如邻接、重叠和部分。虽然RCC8本质上是无量纲的，但大多数当前的应用仅限于对二维或三维物理空间的推理。然而，在本文中，我们主要对概念空间感兴趣，概念空间通常是高维欧几里德空间，其中自然语言概念的含义可以用凸区域表示。本文的目的是分析凸区域的约束如何约束RCC8关系网络的可实现性。首先，我们确定了限制RCC8基关系集的所有方法，以确保一致网络可以分别在1D、2D、3D和4D中凸实现。最令人惊讶的是，我们发现如果不允许“部分重叠”关系，所有一致的RCC8原子网络都可以在4D中凸实现。相反，如果不允许对关系“的一部分”进行细化，则所有一致的原子RCC8关系都可以在3D中凸实现。我们进一步证明，除其他外，任何具有（2n+1）变量的一致RCC8网络都可以使用（n）维欧氏空间中的凸区域来实现。 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：定性空间推理;区域连接演算;凸性;概念空间 软件：PelletSpatial公司;地理SPARQL PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{S.Li}，Artif。智力。21874--105（2015；Zbl 1319.68212） 全文： 内政部 arXiv公司 参考文献： [1] Randell，D。；崔，Z。；Cohn，A.，《基于区域和联系的空间逻辑》，（第三届知识表示与推理国际会议论文集（1992）），165-176 [2] Sridhar，M。；科恩，A.G。；Hogg，D.C.，《从视频到RCC8：利用基于距离的语义来稳定单拓扑关系的解释》（空间信息理论会议（2011），Springer），110-125 [3] Grütter，R。；沙伦巴赫，T。；Bauer-Messmer，B.，通过OWL公理改进RCC-衍生地理空间近似，（国际语义网络会议论文集（2008）），293-306 [4] 斯托克，M。；Sirin，E.，Pelletspaciate:混合RCC-8和RDF/OWL推理和查询引擎，（Hoekstra，R.；Patel-Schneider，P.F.，OWLED.OWLED，CEUR研讨会论文集，第529卷（2008）） [5] 巴特，R。；Kolas，D.，使用议会和GeoSPARQL启用地理空间语义网，Semant。Web，3，4，355-370（2012） [6] Koubarakis先生。；基齐拉科斯，K。；Karpathiotakis，M。；尼古拉·C·。；Sioutis，M。；瓦索斯，S。；Michail，D。；Herekakis，T。；康托斯，C。；Papoutsis，I.，链接地理空间数据中定性空间推理的挑战，（Worskshop on Benchmark and Applications of spatial reasoning（2011）），33-38 [7] 聪明，P.D。；Abdelmoty，A.I。；El-Geresy，学士。；Jones，C.B.，《结合规则和地理概念的框架》（Web推理和规则系统（2007），Springer），133-147 [8] Renz，J.，《区域连接微积分的标准模型》，J.Appl。非类别。日志。，12, 3-4, 469-494 (2002) ·Zbl 1185.03061号 [9] Gärdefors，P。；Williams，M.，《关于概念空间中类别的推理》（《国际人工智能联合会议论文集》（2001）），385-392 [10] Rosch，E.H.，自然分类，干邑。心理医生。，4, 3, 328-350 (1973) [11] 纳尔班托夫，G.I。；Groenen，P.J。；Bioch，J.C.，最近凸包分类（2006），伊拉斯谟经济学院（ESE），技术代表。 [12] 德拉克，J。；Schockaert，S.，使用flickr丰富地方类型的分类法，（第八届信息和知识系统基础国际研讨会论文集（2014）），174-192·Zbl 1407.68526号 [13] Erk，K.，将单词表示为向量空间中的区域，（第十三届计算自然语言学习会议论文集（2009）），57-65 [14] Freksa，C.，《概念邻域及其在时间和空间推理中的作用》，（Singh，M.；Travé-Massuyès，L.，《决策支持系统和定性推理》（1991），北荷兰：北荷兰阿姆斯特丹），181-187 [15] 肖克尔特，S。；Prade，H.，通过对原子命题的灵活解释解决信息合并中的冲突，Artif。智力。，175, 11, 1815-1855 (2011) ·Zbl 1226.68104号 [16] 科恩，A。；Gotts，N.，《不确定边界区域的“蛋鸡”表示法》（Burrough，P.A.；Frank，A.U.，《边界不确定的地理对象》（1996），Taylor and Francis Ltd.），171-187 [17] 肖克尔特，S。；Cock，医学博士。；Kerre，E.E.，《模糊区域连接演算中的空间推理》，Artif。智力。，第173页，第258-298页（2009年）·兹比尔1180.03013 [18] 肖克尔特，S。；Li，S.，将RCC5关系与介数信息相结合，（第二十届国际人工智能联合会议论文集（2013）），1083-1089 [19] Elith，J。；Leathwick，J.R.，《物种分布模型：跨空间和时间的生态解释和预测》，《年度》。经济评论。进化。系统。，40, 677-697 (2009) [20] Walley，P.，《概率不精确的统计推理》（1991），查普曼和霍尔：查普曼与霍尔伦敦·Zbl 0732.62004号 [21] Allen，J.，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983年）·Zbl 0519.68079号 [22] 维兰，M。；考茨，H。；van Beek，P.，《时间推理的约束传播算法：修订报告》（Weld，D.S.；de Kleer，J.，《物理系统定性推理读物》（1990），摩根考夫曼出版社），373-381 [23] 戴维斯，E。；北卡罗来纳州戈茨。；Cohn，A.，拓扑关系和凸性的约束网络，约束，4241-280（1999）·Zbl 0946.68082号 [24] 巴苏，S。；波拉克，R。；罗伊，M.-F.，《关于量词消去的组合和代数复杂性》，J.ACM，43，6，1002-1045（1996）·Zbl 0885.68070号 [25] 特尼，P.D。；Pantel，P.，《从频率到意义：语义的向量空间模型》，J.Artif。智力。第37号、第1号、第141-188号决议（2010年）·Zbl 1185.68765号 [26] 韦斯特法尔，M。；Wölfl，S.，《定性CSP、有限CSP和SAT:基于定性约束推理的比较方法》，（第21届国际乔特人工智能会议论文集（2009）），628-633 [27] 肖克尔特，S。；Li，S.，RCC8网络的凸解，（第20届欧洲人工智能会议论文集（2012）），726-731·Zbl 1327.68234号 [28] 崔，Z。；科恩，A。；Randell，D.，空间数据库中的定性和拓扑关系，（空间数据库的进展，空间数据库的发展，计算机科学讲义，第692卷（1993年）），296-315 [29] Stell，J.，布尔连接代数：区域连接微积分的一种新方法，Artif。智力。，122, 1-2, 111-136 (2000) ·Zbl 0948.68142号 [30] Li，S.，关于拓扑一致性和实现，约束，11，1，31-51（2006）·Zbl 1103.68770号 [31] 伦茨，J。；Nebel，B.，《定性空间推理的复杂性：区域连接演算的最大可处理片段》，Artif。智力。，108, 1-2, 69-123 (1999) ·Zbl 0914.68160号 [32] Dewdney，A。；Vranch，J.，（R^3）的凸划分及其对Crum问题和Knuth邮局问题的应用，Util。数学。，193-199年12月（1977年）·兹比尔0367.52004 [33] Seidel，R.，（d）维Voronoi图中面数的精确上界，（Gritzman，P。；Sturmfels，B.，《应用几何与离散数学：维克托·克莱·费斯特施里夫》。应用几何和离散数学：维克托·克莱·费斯特施里夫，《离散数学和理论计算机科学的DIMACS系列》，第4卷（1991年），AMS出版社，517-530·Zbl 0752.5202号 [34] 埃里克森夫，J。；Kim，S.，同余对称凸三重拓扑的任意大邻域族，（离散几何：纪念W.Kuperberg的60岁生日（2003）），267-278·Zbl 1046.52008年 [35] Edelsbrunner，H.，组合几何中的算法，第10卷（1987），Springer·Zbl 0634.52001号 [36] Matoušek，J.，使用Borsuk-Ulam定理：组合数学和几何中的拓扑方法讲座（2003），Springer·Zbl 1016.05001号 [37] 安德森，B.，《多项式根拖动》，美国数学。周一。，100, 864-866 (1993) ·Zbl 0874.26007号 [38] 弗雷耶，C。；Swenson，J.A.，《多项式根运动》，美国数学。周一。，117, 7, 641-646 (2010) ·Zbl 1193.26011号 [39] Ozçep，O.L。；Möller，R.，概念的空间语义，（第26届描述逻辑国际研讨会论文集（2013）），816-828 [40] Hearst，M.A.，从大型文本语料库中自动获取上下位词，（第14届计算语言学会议论文集（1992）），539-545 [41] 肖克尔特，S。；Prade，H.，命题理论中使用概念空间定性知识的内插和外推推理，Artif。智力。，202, 86-131 (2013) ·Zbl 1329.68245号 [42] Sheremet，M。；蒂什科夫斯基，D。；Wolter，F。；Zakharyaschev，M.，概念和相似性的逻辑，J.Log。计算。，17, 3, 415-452 (2007) ·Zbl 1144.03010号 [43] Schaefer，M.，（一些几何和拓扑问题的复杂性。一些几何和拓扑学问题的复杂性，计算机科学讲义，第5849卷（2010）），334-344·Zbl 1284.68305号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。