×
阿方索·杰雷维尼（Alfonso E.Gerevini）。;亚历山德罗·萨埃蒂

通过元图闭包计算基于点的定性时序推理中的最小关系。 （英语） Zbl 1216.68266号

工件。因特尔。 175，第2期，556-585（2011）.
摘要：在点代数（PA）上计算给定约束集（CSP）的最小表示是一个基本的时态推理问题。PA上最小CSP的主要性质是CSP中任意一对变量之间的最强隐含关系可以在恒定时间内导出。我们研究了解决这个问题的一些新方法，利用并扩展了PA上CSP的两个突出的基于图形的表示：时间图和串行并行（SP）元图。本质上，这些是分别划分为链集和系列平行子图集的图，元图数据结构支持在这些子图上进行搜索。该方法基于计算这些表示的元图闭包，这可以通过本文研究的一些方法来实现。
与已知的基于增强路径一致性的技术相比，在输入CSP的结构和生成的元图的大小一定的条件下，所提出的元图闭合方法具有更好的最坏情况时间和空间复杂度。此外，对于凸PA上的每个稀疏CSP，时间复杂性从（O（n^{3}）降为（O（n ^{2}），其中（n）是CSP中涉及的变量数。
本文给出了一个广泛的实验分析，将所提出的技术与其他已知算法进行了比较。这些实验结果确定了最佳执行方法，并表明，在实践中，对于表现出链或SP-graph结构的CSP和随机生成（稀疏和密集）的CSP，元图闭包方法明显快于基于加强路径一致性的方法。

引用于三文件

MSC公司：

第68页第27页 人工智能中的逻辑

关键词：

定性时间推理;时间关系与约束;点代数;点微积分;简单区间代数;极小关系;时间CSP;基于约束的推理;基于图形的推理;易驾驭的推理

软件：

商店2
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Gerevini}和\textit{A.Saetti}，Artif。智力。175，No.2，556--585（2011；Zbl 1216.68266）
全文： 内政部

参考文献：

[1] Allen，J.F.，《保持对时间间隔的了解》，《ACM的沟通》，26，1，832-843（1983）·Zbl 0519.68079号
[2] Allen，J.F.，《时间推理和规划》（Allen，J F.；Kautz，H.A.；Pelavin，R.；Tenenberg，J.，《关于计划的推理》（1991），Morgan Kaufmann:Morgan Koufmann San Mateo，CA）·Zbl 0765.68195号
[3] C.Bessière，《改进区间代数网络中路径一致性的简单方法》，收录于：《美国人工智能协会第13届全国会议论文集》（AAAI-96），俄勒冈州波特兰，1996年，第375-380页。；C.Bessière，《改进区间代数网络中路径一致性的简单方法》，收录于：《美国人工智能协会第13届全国会议论文集》（AAAI-96），俄勒冈州波特兰，1996年，第375-380页。
[4] Dechter，R.，《约束处理》（2003），摩根·考夫曼
[5] Delgrade，J。；古普塔，A。；Van Allen，T.，《基于点的定性时间推理方法的比较》，《人工智能》，131135-170（2001）·Zbl 0996.68196号
[6] Delgrade，J.P。；Gupta，A.，有效时间推理的代表，（美国人工智能协会第十三届全国会议论文集（AAAI-96）（1996），AAAI出版社/麻省理工学院出版社），381-388
[7] Dorn，J.，序列图中的时间推理，（美国人工智能协会第十届全国会议论文集（AAAI-92）（1992），AAAI出版社/麻省理工学院出版社），735-740
[8] Drakengren，T。；Jonsson，P.，艾伦代数的第二十一大可驯服子类，人工智能，93，1-2，297-319（1997）·Zbl 1017.03514号
[9] 费希尔，M。；加巴伊，D。；Vila，L.，《人工智能中的时间推理手册》（2005），Elsevier Science·Zbl 1099.68106号
[10] Gerevini，A.，《增量定性时态推理：点代数和ORD-Horn类的算法》，《人工智能》，166，1-2，37-80（2005）·Zbl 1132.68730号
[11] Gerevini，A。；Saetti，A.，通过元图闭包高效计算最小点代数约束，（第四届约束编程原理与实践国际会议论文集（CP-07）。第四届约束编程原理与实践国际会议论文集（CP-07），《计算机科学讲义》，第4741卷（2007年），Springer Verlag，301-316·Zbl 1145.68515号
[12] Gerevini，A。；Renz，J.，将拓扑和尺寸信息结合起来用于空间推理，人工智能，137，1-42（2002）·兹比尔0995.68073
[13] Gerevini，A。；舒伯特，L.，关于时间的定性推理的有效算法，人工智能，74207-248（1995）·Zbl 1013.68553号
[14] Gerevini，A。；舒伯特，L.，关于计算时间点代数网络中的最小标号，计算智能，11，3，443-448（1995）
[15] 加拉布，M。；Mounir Alaoui，A.，通过索引生成树有效管理时间关系，（第十一届国际人工智能联合会议论文集（IJCAI-89）（1989），Morgan Kaufmann），1297-1303·Zbl 0718.68080号
[16] 哥伦比克，C.M。；Shamir，R.，《时间推理的复杂性和算法：一种图形理论方法》，《计算机协会期刊》（ACM），40，5，1108-1133（1993）·兹比尔0795.68095
[17] P.B.Ladkin，R.Maddux，关于二进制约束网络，KES技术报告。加州帕洛阿尔托凯斯特尔研究所U.88.8，1988年。；P.B.Ladkin，R.Maddux，关于二进制约束网络，KES技术报告。U.88.8，凯斯特尔研究所，加利福尼亚州帕洛阿尔托，1988年·Zbl 0813.03045号
[18] 拉德金，P.B。；Maddux，R.，《关于二进制约束问题》，计算机协会期刊（ACM），41，3，435-469（1994）·Zbl 0813.03045号
[19] Ligozat，G.，《关于基本方向的推理》，《视觉语言与计算杂志》，9，1，23-44（1998）
[20] Long博士。；Fox，M.，《第三届国际规划竞赛：结果与分析》，《人工智能研究杂志》，2003年第20期，第1-59页·Zbl 1036.68097号
[21] Mackworth，A.K.，关系网络的一致性，人工智能，8，1，99-118（1977）·Zbl 0341.68061号
[22] Mackworth，A.K。；弗洛伊德，E.C.，约束满足问题多项式网络一致性算法的复杂性，人工智能，25，65-73（1985）
[23] Meiri，I.，结合时间推理中的定性和定量约束，人工智能，87，1-2，343-385（1996）·Zbl 1506.68142号
[24] I.Meiri，J.Pearl，时间推理的快速约束满足算法，技术报告R-151，加州大学洛杉矶分校计算机科学系，加利福尼亚州90024-15961991年。；I.Meiri，J.Pearl，时间推理的快速约束满足算法，技术报告R-151，加州大学洛杉矶分校计算机科学系，加利福尼亚州90024-15961991年。
[25] Miller，S.A。；舒伯特，L.K.，《时间重温》，计算智能，6108-118（1990）
[26] Montanari，U.，《约束网络：图像处理的基本属性和应用》，信息科学，7，3，95-132（1974）·兹标0284.68074
[27] Nau，D。；金、钍。；O.伊尔加米。；库特，美国。；Munoz-Avila，H。；默多克，J。；Wu，D。；Yaman，F.，SHOP和SHOP2的应用，IEEE智能系统，20，2，34-41（2005）
[28] Nau，D。；金、钍。；O.伊尔加米。；库特，美国。；默多克，W。；Wu，D。；Yaman，F.，SHOP2:HTN规划系统，《人工智能研究杂志》（JAIR），20379-404（2003）·Zbl 1058.68106号
[29] Nebel，B.，《解决定性时间推理难题：评估ORD horn类的使用效率》，（第十五届欧洲人工电子智能会议论文集（ECAI-96）（1996），John Wiley and Sons），38-42
[30] Nebel，B。；Bürckert，H.J.，《关于时间关系的推理：艾伦区间代数的一个最大可处理的子类》，计算机协会杂志，42，1，43-66（1995）·Zbl 0886.68077号
[31] Nökel，K.，《技术诊断中的时间分布症状》，《人工智能讲义》，第517卷（1991年），Springer-Verlag:Springer-Verlag Berlin，Heidelberg，New York·Zbl 0786.68088号
[32] S.Penberthy，J.《持续变化的规划》，华盛顿大学博士论文，1993年。可参见技术报告UW-CSE-93-12-01。；S.Penberthy，J.《持续变化的规划》，华盛顿大学博士论文，1993年。可参见技术报告UW-CSE-93-12-01。
[33] 拉格尼，M。；Wölfl，S.，《暂时化基本方向：从约束满足到规划》，（第十届知识表示和推理原则国际会议论文集（2006年），AAAI出版社），472-480
[34] 宋，F。；Cohen，R.，《叙事中时间关系的解释》（《美国人工智能协会第七届全国会议论文集》（AAAI-88）（1988），摩根·考夫曼），745-750
[35] 塔斯基，A.，《关系演算》，《符号逻辑杂志》，第673-89页（1941年）
[36] 瓦尔德斯，J。；Tarjan，R.E。；Lawler，E.L.，《串并有向图的识别》，SIAM计算机杂志，11，2，298-313（1982）·Zbl 0478.68065号
[37] van Beek，P.，《关于定性时间信息的推理》（《美国人工智能协会第八届全国会议论文集》（AAAI-90）（1990），AAAI出版社/麻省理工学院出版社），728-734
[38] van Beek，P.，不确定信息的时间查询处理，医学中的人工智能，3325-339（1991）
[39] van Beek，P.，《关于定性时间信息的推理》，人工智能，58，1-3，297-321（1992）·Zbl 0782.68106号
[40] van Beek，P。；Cohen，R.，关于时间关系的精确和近似推理，计算智能，6132-144（1990）
[41] van Beek，P。；Manchak，D.W.，《时序推理算法的设计和实验分析》，《人工智能研究杂志》，1996年第4期，第1-18页·Zbl 0900.68389号
[42] 维拉因，M。；Kautz，H.A.，时间推理的约束传播算法，（美国人工智能协会第五届全国会议论文集（AAAI-86）（1986），Morgan Kaufmann），377-382
[43] 维兰，M。；Kautz，H.A。；van Beek，P.，《时态推理的约束传播算法：修订报告》，（Weld，D.S.；de Kleer，J.，《物理系统定性推理读物》（1990），Morgan Kaufmann），373-381
[44] 魏达，R。；Litman，D.，《带约束网络的术语推理及其在计划识别中的应用》，（《第三届知识表示与推理原则国际会议论文集》（KR-92）（1992），Morgan Kaufmann），282-293
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。