阿方索·杰雷维尼（Alfonso E.Gerevini）。;亚历山德罗·萨埃蒂;伊凡·塞琳娜 一种具有数值流和多标准规划质量的高效规划方法。 （英语） Zbl 1183.68575号 Artif公司。智力。 172，编号8-9，899-944（2008）. 摘要：在许多现实世界的规划领域中，处理数字信息实际上很重要，在这些领域中，行动的可执行性可能取决于某些数字条件，而行动效果可能消耗或更新一些关键的连续资源，这些资源在PDDL中可以用数字流来表示。当规划问题涉及数值流时，解的质量可以用一个目标函数来表示，该目标函数可以考虑不同的规划质量标准。针对PDDL数值规划问题，我们提出了一种具有数值流和多准则目标函数的自动规划增量方法。本文中的技术通过在LPG规划器中实现动作图和局部搜索，大大扩展了规划框架。我们定义了数值计划的数值行动图（NA-graph）表示，并使用该表示提出了一些新的局部搜索技术，包括NA-graphs的启发式搜索邻域、基于放松数值计划的启发式评估函数、，以及基于特定搜索重启的增量计划质量优化方法。此外，我们通过广泛的实验研究分析了我们的方法，旨在评估某些特定技术对该方法性能的重要性，并分析了其在快速计算有效计划和在给定CPU时间限制内生成的最佳计划质量方面的有效性。总的来说，结果表明，与处理数值流的其他最新规划师相比，我们的规划师表现得相当好。 引用于7文件 理学硕士： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90 C90 数学规划的应用 关键词：自动化规划;域相关规划;有效的规划;利用数字信息进行规划;数值气道;启发式规划搜索 软件：图规划;SAPA公司;禁忌搜索;IPC-4项目;PDDL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}等人，Artif。智力。172，编号8--9，899--944（2008；Zbl 1183.68575） 全文： 内政部 参考文献： [1] F.Bacchus，M.Ady，《资源与并发规划：前向链接方法》，载于《第17届国际人工智能联合会议论文集》（IJCAI-01），西雅图，华盛顿州，美国，2001年，第417-424页；F.Bacchus，M.Ady，《资源与并发规划：前向链接方法》，载于《第17届国际人工智能联合会议论文集》（IJCAI-01），西雅图，华盛顿州，美国，2001年，第417-424页·Zbl 0986.68002号 [2] J.Benton，M.B.Do，S.Kambhampati，《有数字目标的过度订阅计划》，载于：《第19届国际人工智能联合会议论文集》（IJCAI-05），苏格兰爱丁堡，2005年，第1207-1214页；J.Benton，M.B.Do，S.Kambhampati，《具有数字目标的超额认购计划》，载于《第19届国际人工智能联合会议论文集》（IJCAI-05），苏格兰爱丁堡，2005年，第1207-1214页 [3] Blum，A。；Furst，M.L.，通过规划图分析快速规划，人工智能，90，281-300（1997）·Zbl 1017.68533号 [4] 陈，Y。；徐，C。；Wah，B.，《在SGPlan中使用子目标划分和分解的时间规划》，《人工智能研究杂志》（JAIR），26，323-369（2006）·Zbl 1182.68229号 [5] Y.Chen，C.Hsu，W.Wha，SGPlan：规划中的子目标划分和解决方案，载于：ICAPS-04竞争规划师摘要手册，2004年，第30-32页；陈寅、徐春伟、华华，《SGPlan:规划中的子目标划分与解决》，载《ICAPS-04竞争规划师摘要手册》，2004年，第30-32页 [6] Dechter，R。；美里，I。；Pearl，J.，《时间约束网络》，人工智能，49，61-95（1991）·Zbl 0737.68070号 [7] Y.Dimopoulos，A.Gerevini，P.Haslum，A.Saetti，IPC-5确定性部分的基准域，摘自：ICAPS-06竞争计划者摘要手册，2006年，第14-19页；Y.Dimopoulos，A.Gerevini，P.Haslum，A.Saetti，IPC-5确定性部分的基准域，摘自：ICAPS-06竞争计划者摘要手册，2006年，第14-19页 [8] 做，M。；Kambhampati，S.，《Sapa：一个多目标度量时间规划师》，《人工智能研究杂志》（JAIR），第20期，第155-194页（2003年）·Zbl 1036.68091号 [9] Edelkamp，S.，《模型检验综合规划系统中的驯服次数和持续时间》，《人工智能研究杂志》（JAIR），20，61-124（2003）·Zbl 1036.68092号 [10] M.Fox，D.Long，《在图构造和搜索中使用自动推断不变量》，载《第五届人工智能规划与调度国际会议论文集》（AIPS-00），科罗拉多州布雷肯里奇，美国，2000年，第102-111页；M.Fox，D.Long，《在图构造和搜索中使用自动推断不变量》，摘自：《第五届人工智能规划与调度国际会议论文集》（AIPS-00），科罗拉多州布雷肯里奇，美国，2000年，第102-111页 [11] 福克斯，M。；Long，D.，PDDL2.1：PDDL的扩展，用于表示时间规划领域，《人工智能研究杂志》（JAIR），20，61-124（2003）·Zbl 1036.68093号 [12] A.Garrido，D.Long，《多目标规划中的数值变量规划》，载于《第16届欧洲人工智能会议论文集》（ECAI-04），西班牙巴伦西亚，2004年，第662-666页；A.Garrido，D.Long，《多目标规划中的数值变量规划》，载于《第16届欧洲人工智能会议论文集》（ECAI-04），西班牙巴伦西亚，2004年，第662-666页 [13] A.Gerevini，D.Long，PDDL3中的计划约束和偏好，技术报告2005-08-47，布雷西亚大学，电子技术学院，2005年；A.Gerevini，D.Long，PDDL3中的计划约束和偏好，技术报告2005-08-47，布雷西亚大学，电子技术学院，2005年 [14] Gerevini，A。；Saetti，A。；Serina，I.，《关于处理液化石油气持续行动的时间信息管理》，（AI*IA 2003:人工智能进展（2003），Springer-Verlag:Springer-Verlag Berlin，Heidelberg，New York），第91-104页 [15] Gerevini，A。；Saetti，A。；Serina，I.，《通过随机局部搜索和时间动作图进行规划》，《人工智能研究杂志》（JAIR），2003年第20期，第239-290页·Zbl 1058.68103号 [16] A.Gerevini，A.Saetti，I.Serina，液化石油气局部搜索的一些启发式特征的实证分析，载于：《第14届国际自动规划与调度会议论文集》（ICAPS-04），加拿大惠斯勒，2004年，第171-180页；A.Gerevini，A.Saetti，I.Serina，液化石油气中本地搜索的一些启发式特征的实证分析，载于：《第14届国际自动化规划与调度会议论文集》（ICAPS-04），加拿大惠斯勒，2004年，第171-180页 [17] Gerevini，A。；Saetti，A。；Serina，I.，《具有可预测外生事件的域中的时间规划和调度方法》，《人工智能研究杂志》（JAIR），25，187-231（2006）·Zbl 1161.68783号 [18] A.Gerevini，A.Saetti，I.Serina，《利用数字影响力和多标准计划质量进行高效规划的方法》（初步报告），2007-01-53年技术报告，布雷西亚大学研究生文凭。di Elettronica per l'Automazione，2007年；A.Gerevini，A.Saetti，I.Serina，《利用数字影响力和多标准计划质量进行高效规划的方法》（初步报告），2007-01-53年技术报告，布雷西亚大学研究生文凭。2007年《汽车电子杂志》·Zbl 1183.68575号 [19] A.Gerevini，I.Serina，《通过贪婪行动图快速规划》，载于《第16届全国人工智能会议论文集》（AAAI-99），美国佛罗里达州奥兰多，1999年，第503-510页；A.Gerevini，I.Serina，通过贪婪的动作图进行快速规划，载于：《第16届全国人工智能会议论文集》（AAAI-99），美国佛罗里达州奥兰多，1999年，第503-510页 [20] M.Ghallab，A.Howe，C.Knoblock，D.McDermott，A.Ram，M.Veloso，D.Weld，D.Wilkins，PDDL-规划领域定义语言，技术报告CVC TR98-003/DCS TR-1165，耶鲁计算视觉与控制中心，1998年；M.Ghallab，A.Howe，C.Knoblock，D.McDermott，A.Ram，M.Veloso，D.Weld，D.Wilkins，PDDL-规划领域定义语言，技术报告CVC TR98-003/DCS TR-1165，耶鲁计算视觉与控制中心，1998 [21] 加拉布，M。；Nau，D。；Traverso，P.，《自动化规划：理论与实践》（2003），摩根·考夫曼出版社：摩根·考夫曼出版社，美国加利福尼亚州旧金山 [22] 手套，F。；Laguna，M.，Tabu Search（1997年），Kluwer学术出版社：Kluwer-学术出版社美国马萨诸塞州波士顿·Zbl 0930.90083号 [23] Goldberg，D.E.，《搜索、优化和机器学习中的遗传算法》（1989），Addison-Wesley:Addison-Whesley Boston，MA，USA·Zbl 0721.68056号 [24] P.Haslum，H.Geffner，《带时间和资源的启发式规划》，载于《第六届欧洲规划会议论文集》（ECP-01），西班牙托莱多，2001年；P.Haslum，H.Geffner，《带时间和资源的启发式规划》，载于《第六届欧洲规划会议论文集》（ECP-01），西班牙托莱多，2001年 [25] M.Helmert，数值状态变量规划的可决定性和不可决定性结果，载于《第六届人工智能规划与调度国际会议论文集》（AIPS-02），法国图卢兹，2002年，第303-312页；M.Helmert，数值状态变量规划的可判定性和不可判定性结果，载于《第六届人工智能规划与调度国际会议论文集》（AIPS-02），法国图卢兹，2002年，第303-312页 [26] Helmert，M.，《快速向下规划系统》，《人工智能研究杂志》（JAIR），26，191-246（2006）·Zbl 1182.68245号 [27] Hoffmann，J.，《Metric-FF规划系统：将“忽略删除列表”转换为数字状态变量》，《人工智能研究杂志》（JAIR），20，291-341（2003）·Zbl 1036.68095号 [28] 霍夫曼，J。；Edelkamp，S.，《IPC-4的确定性部分：概述》，《人工智能研究杂志》（JAIR），24519-579（2005）·Zbl 1080.68669号 [29] 霍夫曼，J。；Edelkamp，S。；蒂耶堡，S。；恩格尔·R。；Liporace，F。；Trueg，S.，《规划工程基准：IPC-4确定性部分中使用的领域》，《人工智能研究杂志》（JAIR），26，453-541（2006）·兹比尔1183.68579 [30] J.Hoffmann、H.Kautz、C.Gomes、B.Selman，《数值域中状态空间可达性问题的SAT编码》，载于《第20届国际人工智能联合会议论文集》（IJCAI-07），印度海得拉巴，2007年；J.Hoffmann，H.Kautz，C.Gomes，B.Selman，数值域中状态空间可达性问题的SAT编码，收录于：第20届国际人工智能联合会议论文集（IJCAI-07），印度海得拉巴，2007 [31] 霍夫曼，J。；Nebel，B.，《FF计划系统：通过启发式搜索快速生成计划》，《人工智能研究杂志》（JAIR），第14期，第253-302页（2001年）·Zbl 0970.68044号 [32] C.Hsu，B.W.Wah，R.Huang，Y.Chen，SGPlan中用于处理PDDL3.0中的偏好和约束的新功能，摘自：IPC-5竞争规划师摘要手册，2006年，第39-41页；C.Hsu，B.W.Wah，R.Huang，Y.Chen，SGPlan中用于处理PDDL3.0中的偏好和约束的新功能，摘自：IPC-5竞争规划师摘要手册，2006年，第39-41页 [33] H.Kautz，J.P.Walser，通过整数优化进行州空间规划，载于：《第16届全国人工智能会议论文集》（AAAI-98），美国威斯康星州麦迪逊，1998年，第526-533页；H.Kautz，J.P.Walser，《基于整数优化的状态空间规划》，载于《第16届全国人工智能会议论文集》（AAAI-98），美国威斯康星州麦迪逊，1998年，第526-533页 [34] J.Koehler，《资源约束下的规划》，载于《第13届欧洲人工智能会议论文集》（ECAI-98），英国布莱顿，1998年，第489-493页；J.Koehler，《资源约束下的规划》，载：《第13届欧洲人工智能会议论文集》（ECAI-98），英国布莱顿，1998年，第489-493页 [35] J.Koehler、B.Nebel、J.Hoffmann、Y.Dimopoulos。将规划图扩展到ADL子集，技术报告88，德国弗莱堡信息研究所，1997年；J.Koehler、B.Nebel、J.Hoffmann、Y.Dimopoulos。将规划图扩展到ADL子集，技术报告88，德国弗莱堡信息研究所，1997年 [36] Long，D。；Fox，M.，《第三届国际规划竞赛：结果与分析》，《人工智能研究杂志》，2003年第20期，第1-59页·Zbl 1036.68097号 [37] D.Nau，Y.Cao，A.Lotem，H.Muñoz Avila，SHOP：简单层次有序规划师，摘自《第16届国际人工智能联合会议论文集》（IJCAI-99），瑞典斯德哥尔摩，1999年，第968-973页；D.Nau，Y.Cao，A.Lotem，H.Muñoz Avila，SHOP：简单层次有序规划师，摘自《第16届国际人工智能联合会议论文集》（IJCAI-99），瑞典斯德哥尔摩，1999年，第968-973页 [38] J.S.Penberthy，D.S.Weld，《持续变化的时间规划》，载于《第十二届全国人工智能会议论文集》（AAAI-94），西雅图，华盛顿州，美国，1994年，第1010-1015页；J.S.Penberthy，D.S.Weld，《持续变化的时间规划》，载于《第十二届全国人工智能会议论文集》（AAAI-94），西雅图，华盛顿州，美国，1994年，第1010-1015页 [39] S.J.Penberthy，《持续变化的规划》，华盛顿大学博士论文，1993年。可作为技术报告UW-CSE-93-12-01获得；S.J.Penberthy，《持续变化的规划》，华盛顿大学博士论文，1993年。作为技术报告UW-CSE-93-12-01提供 [40] Ramesh，T.，《旅行购买者问题》，Opsearch，18，78-91（1981）·Zbl 0468.90048号 [41] I.Refanidis，I.Vlahavas，GRT：基于贪婪回归表的STRIPS世界的独立于领域的启发式，见《第五届欧洲规划会议论文集》（ECP-99），英国达勒姆，1999年，第346-358页；I.Refanidis，I.Vlahavas，GRT：基于贪婪回归表的STRIPS世界的独立于领域的启发式，见《第五届欧洲规划会议论文集》（ECP-99），英国达勒姆，1999年，第346-358页 [42] I.Refanidis，I.Vlahavas，《资源启发式规划》，载于《第14届欧洲人工智能会议论文集》（ECAI-00），德国柏林，2000年，第521-525页；I.Refanidis，I.Vlahavas，《资源启发式规划》，载于《第14届欧洲人工智能会议论文集》（ECAI-00），德国柏林，2000年，第521-525页 [43] Refanidis，I。；Vlahavas，I.，多目标启发式状态空间规划，《人工智能杂志》，145，1-2，1-32（2003）·Zbl 1082.68812号 [44] B.Selman，H.A.Kautz，B.Cohen，《改善局部搜索的噪音策略》，载于《第十二届全国人工智能会议论文集》（AAAI-94），西雅图，华盛顿州，美国，1994年，第337-343页；B.Selman，H.A.Kautz，B.Cohen，《改善局部搜索的噪音策略》，载于《第十二届全国人工智能会议论文集》（AAAI-94），西雅图，华盛顿州，美国，1994年，第337-343页 [45] Simon，A.H.，《人体模型》（1957），John Wiley&Sons公司：John Wiley&Sons公司，美国纽约 [46] D.Smith，《在超额认购计划中选择目标》，载于《第十四届自动计划和调度国际会议论文集》（ICAPS-04），加拿大惠斯勒，2004年；D.Smith，《在超额认购计划中选择目标》，载于《第14届国际自动计划与调度会议论文集》（ICAPS-04），加拿大惠斯勒，2004年 [47] Wilcoxon，F。；Wilcox，R.A.，《一些快速近似统计程序》（1964年），Lederle Laboratories：Lederle Laboratories Pearl River，New York，USA [48] M.Williamson，S.Hanks，《目标导向效用模型下的最优规划》，载于《第二届人工智能规划与调度国际会议论文集》（AIPS-94），美国伊利诺伊州芝加哥，1994年，第176-181页；M.Williamson，S.Hanks，《目标导向效用模型下的最优规划》，载于《第二届人工智能规划与调度国际会议论文集》（AIPS-94），美国伊利诺伊州芝加哥，1994年，第176-181页 [49] S.Wolfman，D.Weld，LPSAT系统及其在资源规划中的应用，载于《第16届国际人工智能联合会议论文集》（IJCAI-99），瑞典斯德哥尔摩，1999年；S.Wolfman，D.Weld，LPSAT系统及其在资源规划中的应用，载于：第16届国际人工智能联合会议论文集（IJCAI-99），瑞典斯德哥尔摩，1999年·Zbl 0926.00030号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。