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

通过规则操作图和本地搜索在具有派生谓词的域中进行规划。 （英语） Zbl 1252.68269号

安。数学。Artif公司。智力。 62，第3-4号，259-298（2011）.
摘要：在规划领域的形式化中表达派生谓词的能力在实践和理论上都很重要。在本文中，我们提出了一种使用派生谓词进行规划的方法，其中搜索空间由“规则-动作图”、特定的动作图和表示派生谓词的规则组成。我们提出了一些表示此类规则并使用它们进行推理的技术，这些技术通过局部搜索和规则操作图集成到规划框架中。我们还提出了一些启发式方法来指导搜索表示有效计划的规则动作图。最后，我们通过广泛的实验研究分析了我们的方法，旨在评估某些特定技术对该方法性能的重要性。我们的实验结果还表明，与处理派生谓词的其他最新规划师相比，我们的规划师表现得相当好。

引用于1文件

理学硕士：

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

关键词：

自动化规划;域相关规划;有效的规划;使用派生谓词进行规划;启发式规划搜索

软件：

STAN公司;图规划;液化石油气;UCPOP公司;PDDL公司
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Gerevini}等人，《数学年鉴》。Artif公司。智力。62，No.3--4，259--298（2011；Zbl 1252.68269）
全文： 内政部

参考文献：

[1] Blum，A.，Furst，M.L.：通过规划图分析快速规划。Artif公司。智力。90, 281–300 (1997) ·Zbl 1017.68533号 ·doi:10.1016/S0004-3702（96）00047-1
[2] Bonet，B.，Geffner，H.：计划作为启发式搜索。Artif公司。智力。129 (1–2), 5–33 (2001) ·Zbl 0971.68146号 ·doi:10.1016/S0004-3702（01）00108-4
[3] Chen，Y.，Hsu，C.，Wah，B.：在SGPlan中使用子目标划分和分解进行时间规划。J.阿蒂夫。智力。研究（JAIR）26，323–369（2006）·Zbl 1182.68229号
[4] Davidson，M.，Garagnani，M.：包含语言公理的预处理规划领域。收录：英国规划与调度SIG第二十次研讨会会议记录（PlanSIG-02）（2002年）
[5] Fox，M.，Long，D.：PDDL2.1：PDDL的扩展，用于表示时间规划域。J.阿蒂夫。智力。研究（JAIR）20，61–124（2003）·Zbl 1036.68093号
[6] 弗里德曼：使用秩来避免方差分析中隐含的正态假设。《美国统计协会杂志》32、675–701（1937）·doi:10.1080/01621459.1937.10503522
[7] Garagnani，M.：使用预处理的领域公理进行有效规划的正确算法。摘自：智能系统研究与开发十七，第363–374页。施普林格出版社（2000）
[8] Gazen，B.，Knoblock，C.：结合UCPOP的表达能力和Graphplan的效率。In:P第四届欧洲规划会议（ECP-97）的进展（1997）
[9] Gerevini，A.，Saetti，A.，Serina，I.：通过随机局部搜索和时间动作图进行规划。J.阿蒂夫。智力。研究（JAIR）20，239–290（2003）·Zbl 1058.68103号
[10] Gerevini，A.，Saetti，A.，Serina，I.：具有可预测外部事件的域中的时间规划和调度方法。J.阿蒂夫。智力。研究（JAIR）25187-231（2006）·Zbl 1161.68783号
[11] Gerevini，A.，Saetti，A.，Serina，I.：一种利用数字影响力和多标准计划质量进行高效规划的方法。Artif公司。智力。172(8–9), 899–944 (2008) ·Zbl 1183.68575号 ·doi:10.1016/j.artint.2008.01.002
[12] Gerevini，A.，Saetti，A.，Serina，I.：通过规则操作图和本地搜索在具有派生谓词的域中进行规划。《技术报告R.T.2010-04-64》，布雷西亚大学信息技术学院（2010年）·Zbl 1252.68269号
[13] Gerevini，A.，Saetti，A.，Serina，I.，Toninelli，P.：在具有派生谓词的域中进行快速规划：一种基于规则操作图和本地搜索的方法。收录：第二十届全国人工智能会议记录（AAAI-05）（2005）·Zbl 1252.68269号
[14] Gerevini，A.，Serina，I.：通过贪婪的行动图快速规划。附：美国人工智能协会第十六届全国会议记录（AAAI-99）（1999）·兹比尔1074.68612
[15] Gerevini，A.，Serina，I.：LPG：一种基于本地搜索的带有行动成本的规划图的规划师。摘自：第六届国际人工智能规划与调度会议记录（AIPS-02）（2002年）
[16] Gerevini，A.，Serina，I.：作为命题CSP的规划：从Walksat到动作图的局部搜索。约束8（4），389–413（2003）·Zbl 1074.68612号 ·doi:10.1023/A:1025846120461
[17] Gerevini，E.，A.，Haslum，P.，Long，D.，Saetti，A.，Dimopoulos，Y.：第五届国际规划竞赛中的决定性规划：PDDL3和规划师的实验评估。Artif公司。智力。173(5–6), 619–668 (2009) ·Zbl 1191.68634号 ·doi:10.1016/j.artint.2008.10.012
[18] Ghallab，M.、Howe，A.、Knoblock，C.、McDermott，D.、Ram，A.、Veloso，M.，Weld，D.、Wilkins，D.：PDDL——规划领域定义语言。技术报告CVC TR98-003/DCS TR-1165，耶鲁计算视觉与控制中心，网址：http://cs-www.cs.yale.edu/home/dvm/ (1998)
[19] Helmert，M.：快速向下规划系统。J.阿蒂夫。智力。研究（JAIR）26、191–246（2006）·兹比尔1182.68245
[20] Helmert，M.、Do，M.和Refanidis，I.：第六届国际规划竞赛（IPC-2008）的决定性部分，决定性部分。在：http://ipc.informatik.uni-freiburg.de/ (2008)
[21] Hoffmann，J.，Edelkamp，S.：IPC-4的确定性部分：概述。J.阿蒂夫。智力。研究（JAIR）24，519–579（2005）·Zbl 1080.68669号
[22] Hoffmann，J.，Nebel，B.：FF计划系统：通过启发式搜索快速生成计划。J.阿蒂夫。智力。（JAIR）第14号决议，第253–302页（2001年）·Zbl 0970.68044号
[23] Long，D.，Fox，M.：STAN中计划图的有效实施。J.阿蒂夫。智力。研究（JAIR）10，87–115（1999）·Zbl 0914.68180号
[24] Long，D.，Fox，M.：第三届国际规划竞赛：结果与分析。J.阿蒂夫。智力。研究（JAIR）20，1-59（2003）·Zbl 1036.68097号
[25] Nguyen，X.，Kambhampati，S.：恢复部分订单规划。附：第十七届国际人工智能联合会议记录（IJCAI-01）（2001）
[26] Penberthy，J.S.，Weld，D.S.:UCPOP：ADL的健全、完整、部分订单计划员。收录于：第三届知识表示与推理原则国际会议记录（KR’92）（1992年）
[27] Pollack，M.E.，Joslin，D.，Paolucci，M.：部分订单计划的缺陷选择策略。J.阿蒂夫。智力。第6223-262号决议（JAIR）（1997年）
[28] Richter，S.、Helmert，M.、Westphal，M.：重新审视地标。收录：第二十届全国人工智能会议记录（AAAI-08）（2008）
[29] Sidney，S.，Castellan，N.J.：行为科学的非参数统计。麦格劳·希尔（1988）
[30] 西蒙，H.A.：《人类的模型》，约翰·威利；Sons Inc.，美国纽约（1957年）·Zbl 0082.35305号
[31] S.Thièbaux，Hoffmann，J.和Nebel，B.：为PDDL公理辩护。Artif公司。智力。168, 38–69 (2005) ·Zbl 1132.68714号 ·doi:10.1016/j.artint.2005.05.004
[32] Wilcoxon，F.，Wilcox，R.A.：一些快速近似统计程序。美国氰胺公司，纽约州珠江市（1964年）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。