Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 关于定性空间和时间推理的邻域单例风格一致性。 （英语） Zbl 1518.68351号 Inf.计算。 280，文章ID 104638，17 p.（2021）. 摘要：给定一个定性约束网络（mathsf{QCN}），单一类型的一致性分别关注约束的每个基本关系（原子），而不是整个约束。这种局部一致性对于解决与\（mathsf{QCN}）s相关的基本推理问题至关重要，例如最小标记，但可能会受到冗余约束检查的影响，特别是当检查发生在远离修剪通常发生的位置时。在本文中，我们提出了仅应用于单点约束的邻域而不是整个网络的单点类型一致性。我们与现有一致性进行了理论比较，从而证明了新一致性的一些性质。此外，我们还提出了一些算法来增强我们的一致性，以及其中的一些简约变体，这些算法在实践中比现有技术更有效。在相变区对艾伦区间代数的随机和结构化（mathsf{QCN}）的实验评估证明了我们方法的潜力。 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 关键词：质量约束;空间和时间推理;单样式一致性;街区;最小标记问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人，《信息计算》。280，文章ID 104638，17 p.（2021；Zbl 1518.68351） 全文： 内政部 链接 参考文献： [1] Ligozat，G.，《定性空间和时间推理》（2013），威利·Zbl 1232.68004号 [2] Dylla，F。；Lee，J.H。；Mossakowski，T。；施耐德，T。；van Delden，A。；范德文，J。；Wolter，D.，《定性空间和时间计算的调查：代数和计算属性》，ACM Comput。调查。，50, 7:1-7:39 (2017) [3] 巴特，M。；Wallgrün，J.O.，《地理空间叙事及其时空动态：地理信息系统中高层分析的常识推理》，ISPRS Int.l J.Geo-Inf.，316-205（2014） [4] Dylla，F。；Wallgrün，J.O.，《基于概念邻域的agent控制定性空间推理》，J.Intell。机器人。系统。，48, 55-78 (2007) [5] 北卡罗来纳州克里希纳斯瓦米。；弗里德曼，S。；Pustejovsky，J.，结合深度学习和定性空间推理，从带有噪声的稀疏示例中学习复杂结构，（AAAI（2019）） [6] 故事，P.A。；Worboys，M.F.，《时空数据库应用程序的设计支持环境》（COSIT（1995）） [7] Dubba，K.S.R。；科恩，A.G。；霍格特区。；巴特，M。；Dylla，F.，《从视频中学习关系事件模型》，J.Artif。智力。研究，53，41-90（2015）·Zbl 1328.68161号 [8] 巴特，M。；Dylla，F。；Hois，J.，环境设计的空间终端推断（COSIT（2009）） [9] Sioutis，M。；Alirezaie，M。；雷诺克斯，J。；Loutfi，A.，《促进定性时空推理与智能环境在家中帮助老年人的协同作用》（IJCAI定性推理研讨会（2017）） [10] Suchan，J。；巴特，M。；瓦利加，P.A。；Schultz，C.P.L.，《高级诱拐的视觉解释：关于移动对象的答案集编程驱动推理》（AAAI（2018）） [11] Suchan，J。；巴特，M。；Varadarajan，S.，《看不见但不想不到：基于答案集编程的在线诱拐框架，用于自动驾驶中的视觉感知，》（IJCAI（2019）） [12] Suchan，J。；Bhatt，M.，《用视频和视觉追踪数据回答语义问题：人类视觉感知驱动的认知电影研究的人工智能基础》（IJCAI（2016）） [13] 崔，Z。；科恩，A.G。；Randell，D.A.，基于空间和时间逻辑形式主义的定性模拟（AAAI（1992）） [14] Moskovitch，R。；Shahar，Y.，《通过时间抽象和时间间隔挖掘对多元时间序列进行分类》，Knowl。信息系统。，45, 35-74 (2015) [15] O.科斯塔基斯。；Pappetrou，P.，《关于时间间隔的搜索和索引序列》，Data Min.Knowl。发现。，31, 809-850 (2017) ·Zbl 1416.62346号 [16] O.科斯塔基斯。；Tatti，N。；Gionis，A.，《发现时间网络中的重复活动》，Data Min Knowl。发现。，1840-1871年（2017年）·Zbl 1416.62700号 [17] 莫拉莱斯，A。；纳瓦雷特，I。；Sciavicco，G.，《空间推理的新模态逻辑：空间命题邻域逻辑》，《数学年鉴》。工件。整数。，51, 1-25 (2007) ·Zbl 1127.03013号 [18] 穆尼奥斯·韦拉斯科，E。；Pelegrín-García，M。；萨拉，P。；Sciavicco，G。；Stan，I.E.，《关于较粗区间时间逻辑》，Artif。整数。，266, 1-26 (2019) ·Zbl 1480.03010号 [19] 布雷索林，D。；D.D.莫妮卡。；Montanari，A。；萨拉，P。；Sciavicco，G.，艾伦关系的模态逻辑片段对理性的决定性和复杂性，Inf.Compute。，266, 97-125 (2019) ·Zbl 1436.03120号 [20] Hazarika，S.，《定性时空表征和推理：趋势和未来方向》（2012），IGI Global [21] 巴特，M。；Guesgen，H。；沃尔夫，S。；Hazarika，S.，《定性空间和时间推理：新兴应用、趋势和方向》，Spat。认知。计算。，11, 1-14 (2011) [22] 伦茨，J。；Nebel，B.，使用约束计算的定性空间推理，（空间逻辑手册（2007）），161-215 [23] Dylla，F。；Mossakowski，T。；施耐德，T。；Wolter，D.，定性时空计算的代数性质，（COSIT（2013）） [24] 哥伦比奇，M.C。；Shamir，R.，《时间推理的复杂性和算法：图形理论方法》，J.ACM，40，1108-1133（1993）·Zbl 0795.68095号 [25] Montanari，U.，《约束网络：图像处理的基本属性和应用》，《信息科学》。，7, 95-132 (1974) ·Zbl 0284.68074号 [26] Gottlob，G.，《关于最小约束网络》，Artif。整数。，191-192, 42-60 (2012) ·Zbl 1270.68268号 [27] 范贝克，P。；Dechter，R.，关于行凸约束网络的极小性和可分解性，J.ACM，42543-561（1995）·Zbl 0885.68087号 [28] Gerevini，A。；Saetti，A.，通过元图闭包计算基于点的定性时间推理中的最小关系，人工制品。整数。，175, 556-585 (2011) ·Zbl 1216.68266号 [29] 刘伟。；Li，S.，求解定性时空推理中的最小约束网络，（CP（2012）） [30] Amaneddine，N。；康多塔，J.-F。；Sioutis，M.，《解决时间和空间定性约束最小标记问题的有效方法》（IJCAI（2013）） [31] Chmeiss，A。；Condotta，J.，三角化时间定性约束网络的一致性（ICTAI（2011）） [32] 伦茨，J。；Ligozat，G.，《定性时空推理的弱组合》（CP（2005））·Zbl 1153.68482号 [33] Wallace，R.J.，《邻域SAC：扩展和新算法》，AI Commun。，29, 249-268 (2016) ·Zbl 1373.68388号 [34] 利戈扎特，G。；什么是定性演算？总体框架（PRICAI（2004）） [35] Allen，J.F.，《保持时间间隔知识》，Commun。ACM，26832-843（1983）·Zbl 0519.68079号 [36] 艾伦，J.F。；Koomen，J.A.G.M.，《使用时间世界模型进行规划》（IJCAI（1983）） [37] Allen，J.F.，《作为时间推理的规划》（KR（1991））·Zbl 0765.68195号 [38] 佩拉文，R.N。；Allen，J.F.，具有时间范围的并发行为模型（AAAI（1987）） [39] Dorn，J.，《可靠的反应性事件导向规划》，《数据知识》。工程师，16，27-49（1995）·Zbl 0875.68769号 [40] Mudrová，L。；Hawes，N.，《使用区间代数的移动机器人任务调度》（ICRA（2015）） [41] 宋，F。；科恩，R.，《叙事中时间关系的解释》（IJCAI（1988）） [42] 丹尼斯，P。；Muller，P.，通过端点推理和图分解从文本中预测全局一致的时间结构，（IJCAI（2011）） [43] Snodgrass，R.T.，时间查询语言TQuel，ACM Trans。数据库系统。，12, 247-298 (1987) [44] 陈，C.X。；Zaniolo，C.，通用时间数据语言（DDLP（1998）） [45] 利特尔特区。；Ghafoor，A.，时间相关多媒体数据基于间隔的概念模型，IEEE Trans。知识。数据工程，551-563（1993） [46] Benzer，S.，《关于遗传精细结构的拓扑》，Proc。国家。阿卡德。科学。美国，451607-1620（1959） [47] 鲁·R。；Sadiq，S.W。；Padmanabhan，V。；Governatori，G.，《使用时间约束网络执行业务流程》（ADC（2006）） [48] Gamper，J。；Nejdl，W.，医学领域的抽象时间诊断，Artif。智力。医学，10209-234（1997） [49] Randell，D.A。；崔，Z。；Cohn，A.，《基于区域和连接的空间逻辑》（KR（1992）） [50] Sioutis，M。；长，Z。；Li，S.，通过变量消除有效推理定性约束，（SETN（2016）） [51] Dechter，R。；Pearl，J.，基于网络的约束满足问题启发式，Artif。整数。，34, 1-38 (1987) ·Zbl 0643.68156号 [52] Dechter，R。；梅里，I。；Pearl，J.，《时间约束网络》，Artif。整数。，49, 61-95 (1991) ·Zbl 0737.68070号 [53] Sioutis，M。；长，Z。；Li，S.，《利用变量消除有效推理定性约束》，国际期刊Artif。智力。工具，27，第1860001条pp.（2018） [54] 康多塔，J.-F。；Lecourse，C.，定性约束网络的一类\（_f^\d菱形\）-一致性，（KR（2010）） [55] 德布鲁因，R。；Bessière，C.，约束满足问题的一些实用滤波技术，（IJCAI（1997）） [56] Sioutis，M。；帕帕里佐，A。；Condotta，J.，《定性约束网络的基于单一元素的集体一致性》（TIME（2017）） [57] 博迪尔斯基，M。；Wölfl，S.，RCC8是有界树宽网络上的多项式（IJCAI（2011）） [58] Bennaceur，H。；Afane，M.，Partition-k-AC：结合域划分和弧一致性的高效过滤技术（CP（2001））·Zbl 1067.68614号 [59] Paparrizou，A。；Stergiou，K.，《邻域单点一致性》（IJCAI（2017）） [60] Sioutis，M。；Paparrizou，A。；Condotta，J.，高效近似定性约束网络的单点路径一致性的惰性算法，（ICTAI（2017）） [61] Sioutis，M。；Paparrizou，A。；Condotta，J.，《定性约束网络的基于单一元素的集体一致性：理论与实践》，Theor。计算。科学。，797, 17-41 (2019) ·Zbl 1435.68322号 [62] Nebel，B.，《解决难定性时间推理问题：评估ORD-Horn类的使用效率》，约束，1175-190（1997）·Zbl 0870.68138号 [63] Sioutis，M。；康多塔，J。；Koubarakis，M.，《处理大型现实世界定性空间网络的有效方法》，国际期刊Artif。智力。工具，25，1-33（2016） [64] Barabási，A.-L。；Albert，R.，《随机网络中尺度的出现》，《科学》，286509-512（1999）·Zbl 1226.05223号 [65] Tarjan，R.E。；Yannakakis，M.，测试图的弦性、测试超图的非循环性和选择性减少非循环超图的简单线性时间算法，SIAM J.Comput。，13, 566-579 (1984) ·Zbl 0545.68062号 [66] Sioutis，M。；Salhi，Y。；Condotta，J.-F.，《研究图形分解在定性时空推理中的使用和效果》，Knowl。工程版次，32，e4（2016） [67] 黄，J。；Li，J.J。；Renz，J.，《定性时空推理中的分解和可处理性》，Artif。整数。，195, 140-164 (2013) ·Zbl 1270.68270号 [68] Huang，J.，《紧致性及其对定性时空推理的影响》（KR（2012）） [69] Li，J.J。；黄，J。；Renz，J.，求解区间代数网络的分治方法，（IJCAI（2009）） [70] 贝西尔，C。；Debruyne，R.，单粒子弧一致性及其扩展的理论分析，Artif。整数。，172, 29-41 (2008) ·兹比尔1182.68217 [71] Wallace，R.J.，SAC和邻里SAC，AI社区。，28, 345-364 (2015) ·Zbl 1373.68387号 [72] Stergiou，K.，《邻域单态一致性，约束》，2494-131（2019）·Zbl 1468.68207号 [73] 伍德沃德·R·J。；B.Y.Choueiry。；Bessiere，C.，《基于循环的单点局部一致性》（AAAI（2017）） [74] Balafrej，A。；Bessiere，C。；Bouyakhf，E。；Trombettoni，G.，《自适应单点一致性》（AAAI（2014）） [75] Paparrizou，A。；Stergiou，K.，评估自适应约束传播的简单全自动启发式，（ICTAI（2012）） [76] Balafrej，A。；Bessiere，C。；科尔塔·R。；Bouyakhf，E.-H.，自适应参数化一致性，（CP（2013）） [77] 伍德沃德·R·J。；施耐德，A。；B.Y.Choueiry。；Bessiere，C.，《通过计数支持实现非二进制CSP的自适应参数化一致性》（CP（2014）） [78] Balafrej，A。；Bessiere，C。；Paparrizou，A.，《自适应约束传播的多武器强盗》（IJCAI（2015）） [79] O.Lhomme，《快速剃须》（AAAI（2005）） [80] Jonsson，P。；Lagerkvist，V.，为什么基于分区方案的CSP计算困难？，（MFCS（2018））·Zbl 1512.68110号 [81] 博迪尔斯基，M。；Jonsson，P。；马丁，B。；Mottet，A.，《定性推理问题的分类转移》（IJCAI（2018）） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。