×
A.邦迪。;金奇利亚，F。;R·塞巴斯蒂亚尼。;T·沃尔什。

计算关键性。 （英文） Zbl 0906.68138号

Artif公司。智力。 88，编号1-2，39-67（1996）.
摘要：我们提出了一种在规划中构建Abstraps风格抽象层次的新方法。该方法的目的是通过限制抽象层之间和抽象层内的回溯来最小化搜索。以前构建Abstraps风格抽象的方法通过直接推理计划来确定操作符前提条件的关键性。在这里，我们采用了一种更简单、更快的方法，即使用规划过程的数值模拟。我们开发了一个简单但强大的理论来证明我们方法的理论优势。我们使用这个理论来识别一些以前方法中缺少但我们的方法拥有的简单属性。我们使用Abtweak系统通过一组四个基准实验证明了我们方法的经验优势。我们将生成的抽象层次结构的质量与Alpine和Highpoint算法构建的抽象层次结构的质量进行比较。

引用于2文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

计划
PDF格式BibTeX公司 XML格式引用
\textit{A.Bundy}等人，Artif。智力。88，编号1--2，39-67（1996；Zbl 0906.68138）
全文： 内政部

参考文献：

[1] 巴克斯，F。；Yang，Q.，《向下细化和分层问题解决的效率》，Artif。智力。，71，43-100（1994年）·Zbl 0938.68829号
[2] Bäckström，C。；Jonsson，P.，《采用抽象层次结构的规划可能会以指数形式降低效率》（Proceedings IJCAI-95）。《美国魁北克省蒙特利尔市IJCAI-95会议记录》（1995），1599-1604
[3] A.邦迪。；Giunchiglia，F。；塞巴斯蒂亚尼，R。；Walsh，T.，《通过数值模拟计算抽象层次》（Proceedings AAAI-96）。美国俄勒冈州波特兰市AAAI-96会议记录（1996年）
[4] 查普曼，D.，《联合目标规划》，Artif。智力。，32, 333-377 (1987) ·Zbl 0642.68171号
[5] Giunchiglia，F.，使用弃权抽象-我们站在哪里？，（IRST-技术报告（1996），IRST:IRST-Trento）
[6] Giunchiglia，F。；Walsh，T.，《使用抽象》（《人工智能和行为模拟研究学会第八届会议论文集》，《人工智能与行为模拟研究协会第八届大会论文集》（1991年），利兹）
[7] 同时：IRST-技术报告9010-08，IRST，Trento；另请参阅：特伦托IRST技术报告9010-08
[8] 另：爱丁堡大学DAI研究论文515。；爱丁堡大学DAI研究论文515。
[9] Giunchiglia，F。；Walsh，T.，抽象理论，Artif。智力。，56, 323-390 (1992) ·Zbl 0762.68054号
[10] 同时：IRST-技术报告9001-14，IRST，Trento。；另请参阅：IRST-技术报告9001-14，IRST，Trento。
[11] Green，C.，《定理证明在问题解决中的应用》（Proceedings IJCAI-69）。《国际JCAI-69会议记录》，华盛顿特区（1969），219-239
[12] Knoblock，C.A.，《河内塔的抽象》，（AAAI-90近似和抽象自动生成研讨会工作笔记（1990）），13-23
[13] Knoblock，C.A.，《自动生成规划抽象》，Artif。智力。，68, 243-302 (1994) ·Zbl 0942.68712号
[14] Peot，M.A。；Smith，D.A.，《部分订单计划的威胁消除策略》（Proceedings AAAI-93）。AAAI-93会议记录，华盛顿特区（1993年）
[15] Sacerdoti，E.D.，《抽象空间层次结构中的规划》（Proceedings IJCAI-73）。加利福尼亚州斯坦福市IJCAI-73会议记录（1973年）·Zbl 0288.68052号
[16] 史密斯，D.E。；Peot，M.A.，《对Knoblock等级机制的批判性研究》（《第一届人工智能规划系统国际会议论文集》（1992）），307-308
[17] 杨琼。；Tenenberg，J。；Woods，S.，关于Abtweak公司，计算。智力。，12 (1996)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。