×
李三江;龙志国;刘伟明;马特·杜卡姆;都是，艾伦

冗余拓扑约束。 （英语） Zbl 1343.68234号

Artif公司。智力。 225, 51-76 (2015).
摘要：冗余校验是知识表示和推理研究中的一项重要任务。在本文中，我们考虑了冗余的定性约束。对于定性约束的集合\（\Gamma\），我们说\（\Gamma\）中的约束\（（xRy）\）是多余的，如果它是由\（\Gamma\）的其余部分引起的。素子网\（\Gamma\）是\（\Gamma\）的子集，它不包含冗余约束，并且具有与\（\伽玛\）相同的解集。自然会问如何计算这样一个素子网，以及它何时是唯一的。我们证明了这个问题通常是难以处理的，但如果（Gamma）在定性演算的可处理子代数（mathcal{S}）上，这个问题就会变得容易处理。此外，如果\（\mathcal{S}\）是区域连接演算RCC8的一个子代数，其中弱合成分布在非空交点上，则\（\Gamma\）具有唯一的素子网络，可以通过从\（\Gamma\）中同时删除所有冗余约束来在立方时间内获得该素子网络。作为副产品，我们证明了在这样一个分配子代数上的任何路径一致网络在定性意义上都是最小的和全局一致的。对真实地理数据集上的素子网络进行的彻底的实证分析表明，该方法能够识别比以前提出的算法多得多的冗余约束，特别是在部分重叠关系比例较大的约束网络中。

引用于1文件

MSC公司：

68立方英尺 知识表示

关键词：

定性空间推理;区域连接演算;冗余;素子网;分配子代数
PDF格式BibTeX公司 XML格式引用
\textit{S.Li}等人，Artif。智力。225、51-76（2015；Zbl 1343.68234）
全文： 内政部 arXiv公司

参考文献：

[1] Allen，James F.，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983年）·Zbl 0519.68079号
[2] 努哈德·阿曼丁；Condotta，Jean-François，《时间定性约束网络中从路径一致性到全局一致性》（AIMSA（2012）），152-161
[3] 努哈德·阿曼丁；Condotta，Jean-François，关于时间和空间定性约束的最小标记问题，（FLAIRS（2013）），16-21
[4] 菲利普·巴尔比亚尼；Jean-François Condotta；del Cerro，Luis Fariñas，矩形代数的一个新的可处理子类，（IJCAI（1999）），442-447·Zbl 0964.68126号
[5] 安东·贝洛夫（Anton Belov）；米科拉斯·哈诺塔；林奇，因斯；Marques-Silva，Joáo，关于计算最小等价子公式（CP（2012）），158-174·Zbl 1405.68340号
[6] 曼纽尔·博迪尔斯基；Wölfl，Stefan，RCC8是有界树宽网络上的多项式，（IJCAI（2011）），756-761
[7] 博洛巴斯，贝拉，现代图论，数学研究生教材，第184卷（1998年），斯普林格·Zbl 0902.05016号
[8] 普里蒂·钱德拉；Pujari，Arun K.，空间CSP中的极小性和凸性，（ICTAI（2005）），589-593
[9] 阿塞夫·克梅斯；文森特·克劳奇克；Sais，Lakhdar，CSP中的冗余，（ECAI（2008）），907-908
[10] Wo Choi，Chiu；何曼·李，吉米；Stuckey，Peter J.，消除冗余建模中的传播冗余约束，ACM Trans。计算。日志。，8, 4 (2007) ·Zbl 1367.68262号
[11] 安东尼·科恩（Anthony G.Cohn）。；Jochen Renz，《定性空间推理》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），Elsevier）
[12] Jean-François Condotta；苏希拉·卡奇；Nicolas Schwind，《合并定性约束网络的框架》（FLAIRS（2008）），586-591
[13] 欧内斯特·戴维斯，解读文本和叙事的定性空间推理，斯帕特。认知。计算。，13, 4, 264-294 (2013)
[14] 欧内斯特·戴维斯；尼古拉斯·马克·戈茨（Nicholas Mark Gotts）；Cohn，Anthony G.，拓扑关系和凸性的约束网络，约束，4，3，241-280（1999）·Zbl 0946.68082号
[15] 马特·杜卡姆（Matt Duckham）；李，三江；刘伟明；Long，Zhiguo，关于冗余拓扑约束（扩展抽象），（KR（2014）），500-508
[16] Düntsch，Ivo，关系代数及其在时空推理中的应用，Artif。智力。修订版，23、4、315-357（2005）·兹比尔1105.68099
[17] 杜恩施，伊沃；王辉；Stephen McCloskey，区域连接演算的关系代数方法，Theor。计算。科学。，255, 1-2, 63-83 (2001) ·Zbl 0974.68161号
[18] 马克斯·埃根霍夫（Max J.Egenhofer）。；Mark，David M.，《天真地理学》（COSIT（1995）），1-15
[19] 马克斯·埃根霍夫（Max J.Egenhofer）。；Sharma，Jayant，评估完整和不完整拓扑信息的一致性，Geogr。系统。，1, 1, 47-68 (1993)
[20] 阿方索·盖雷维尼；Saetti，Alessandro，通过元图闭包计算基于点的定性时间推理中的最小关系，Artif。智力。，175, 2, 556-585 (2011) ·Zbl 1216.68266号
[21] Ginsberg，Allen，《知识库简化：检查知识库不一致性和冗余的新方法》（AAAI（1988）），585-589
[22] 格奥尔格·戈特洛布；Fermüller，Christian G.，消除从句中的冗余，Artif。智力。，61, 2, 263-289 (1993) ·Zbl 0779.68015号
[23] 斯蒂芬·格林（Stephan Grimm）；Jens Wissmann，《本体论中冗余的消除》（ESWC（2011）），260-274
[24] Guesgen，Hans W.，《基于艾伦时间逻辑的空间推理》（1989），国际计算机科学研究所，技术报告
[25] 利维亚·霍伦斯坦；Ross Purves，《通过用户生成的内容探索地方：使用Flickr描述城市核心》，J.Spat。信息科学。，1, 1, 21-48 (2010)
[26] 黄金波；Li，Jason Jingshi；Renz，Jochen，《定性时空推理中的分解和可处理性》，Artif。智力。，195, 140-164 (2013) ·Zbl 1270.68270号
[27] Peter Jonsson；Thomas Drakengren，《RCC-5中可牵引性的完整分类》，J.Artif。智力。第6号决议（1997年）·兹伯利0894.68096
[28] 孔查科夫，罗马人；亚沃·内诺夫；伊恩·普拉特·哈特曼；Michael Zakharyaschev，《关于二维和三维欧几里德空间中连通约束的可判定性》（IJCAI（2011）），957-962
[29] Li，Jason Jingshi；Li，三江，关于寻找定性约束网络的近似解，（ICTAI（2013）），30-37
[30] 李三江；刘伟明；Wang，Shengsheng，定性约束满足问题：具有里程碑的扩展框架，Artif。智力。，201, 32-58 (2013) ·Zbl 1334.68208号
[31] 李三江；应明生，《区域连接演算：模型与构成表》，Artif。智力。，145, 1-2, 121-146 (2003) ·Zbl 1082.68821号
[32] 解放者，保罗，《逻辑中的冗余I：CNF命题公式》，Artif。智力。，163, 2, 203-232 (2005) ·Zbl 1132.68736号
[33] 利戈扎特，杰拉德，《关于基本方向的推理》，J.维斯。语言计算。，9, 1, 23-44 (1998)
[34] 热拉尔·利戈扎特；Renz，Jochen，什么是定性演算？一般框架，（PRICAI（2004）），53-64
[35] 刘伟明；李三江，关于扩展对象之间基本方向的推理：NP-harrdness结果，Artif。智力。，175, 18, 2155-2169 (2011) ·Zbl 1238.68155号
[36] 刘伟明；李三江，求解定性时空推理中的最小约束网络（CP（2012）），464-479
[37] 刘伟明；张晓彤；李三江；应，明生，关于扩展对象之间基本方向的推理，Artif。智力。，174, 12-13, 951-983 (2010) ·Zbl 1205.68399号
[38] Montanari，Ugo，《约束网络：图像处理的基本属性和应用》，《信息科学》。，7, 95-132 (1974) ·Zbl 0284.68074号
[39] Nebel，Bernhard，定性空间推理的计算性质：第一次结果，（KI（1995）），233-244
[40] 伯恩哈德·内贝尔；Bürckert，Hans-Jürgen，关于时间关系的推理：Allen区间代数的一个最大可处理子类，J.ACM，42，1，43-66（1995）·Zbl 0886.68077号
[41] David A.Randell。；崔、詹；安东尼·科恩，《基于区域和连接的空间逻辑》（KR（1992）），165-176
[42] Jochen Renz，《区域连接演算的最大可处理碎片：完整分析》（IJCAI（1999）），448-455
[43] Jochen Renz；Nebel，Bernhard，《论定性空间推理的复杂性：区域连接演算的最大可处理片段》（IJCAI（1997）），522-527·Zbl 0914.68160号
[44] 詹姆斯·施莫尔泽（James G.Schmolze）。；Wayne Snyder，使用术语重写语义检测生产规则中的冗余，Knowl-基于系统。，12, 1-2, 3-11 (1999)
[45] 史蒂文·肖卡特（Steven Schockaert）；李三江，RCC8网络的凸解决方案，（ECAI（2012）），726-731·Zbl 1327.68234号
[46] 施、惠；Jian，Cui；Krieg-Brückner，Bernd，移动机器人的人类路线指令的定性空间建模，（ACHI（2010）），1-6
[47] Michael Sioutis；Koubarakis，Manolis，脊索RCC-8网络的一致性，（ICTAI（2012）），436-443
[48] 穆拉利克里什纳（Muralikrishna Sridhar）；安东尼·科恩（Anthony G.Cohn）。；David C.Hogg，《从视频到RCC8：利用基于距离的语义来稳定单拓扑关系的解释》（COSIT（2011）），第110-125页
[49] Stell，John G.，《布尔连接代数：区域连接演算的新方法》，Artif。智力。，122, 1, 111-136 (2000) ·Zbl 0948.68142号
[50] van Beek，Peter，时间推理的近似算法，（IJCAI（1989）），1291-1296·Zbl 0718.68065号
[51] 马克·维兰（Marc B.Vilain）。；Henry A.Kautz，《时态推理的约束传播算法》（AAAI（1986）），第377-382页
[52] Wallgrün，Jan Oliver，利用定性空间推理进行空间数据拓扑调整，（SIGSPATIAL/GIS（2012）），229-238
[53] Wallgrün，Jan Oliver；Dylla，Frank，《具有质量完整性约束的空间数据集成》（Purves，Ross；Weibel，Robert，《第六届国际地理信息科学会议在线论文集》，第六届地理信息科学国际会议在线论文集中，GIScience 2010（2010））
[54] 沃尔特，迪德里奇；Frank Dylla；Wölfl，Stefan；Wallgrün，Jan Oliver；卢茨，弗罗姆伯格；伯恩哈德·内贝尔；克里斯蒂安·弗雷克萨（Christian Freksa），《出海：海上航行中的空间认知》（Sailaway），昆斯特尔。智力。，22, 1, 28-30 (2008)
[55] 弗兰克·沃尔特（Frank Wolter）；Zakharyaschev，Michael，RCC-8中布尔区域项的空间推理，（ECAI（2000）），244-250
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。