西尔维·蒂埃鲍克斯；霍夫曼，约格；伯恩哈德·内贝尔 为捍卫PDDL公理。 （英语） Zbl 1132.68714号 Artif公司。智力。 168，编号1-2，38-69（2005）. 摘要：对于规划师是否需要显式支持类PDDL公理和派生谓词才能有效地处理实际领域，存在争议。许多研究人员对这些公理缺乏精确的语义表示遗憾，而其他人则认为最好把它们汇编起来。我们为pddl公理提出了一个适当的语义，并通过证明如果我们限制计划和领域描述的增长为多项式，则不可能编译掉它们，从而表明它们是一个基本特征。这些结果表明，在规划器中添加一个合理的实现来处理公理有助于提高性能。我们的实验证实了这一建议。 引用于10文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 关键词：经典规划；PDDL公司；表达能力 软件：UCPOP公司；PDDL公司；自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{S.Thiébaux}等人，Artif。智力。168，编号1--2，38-69（2005；Zbl 1132.68714） 全文： 内政部 参考文献： [1] Abiteboul，S。；霍尔，R。；Vianou，V.，《数据库基础》（1995年），Addison Wesley:Addison Wesley Reading，马萨诸塞州·Zbl 0848.68031号 [2] （Aiello，L.C.；Doyle，J.；Shapiro，S.，《知识表示和推理原则：第五届国际会议论文集》（KR-96），马萨诸塞州坎布里奇（1996），Morgan Kaufmann:Morgan Koufmann San Mateo，CA） [3] 阿普特，K。；布莱尔，H。；Walker，A.，朝向陈述性知识理论，（演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），89-148 [4] F.Bacchus，AIPS2000规划竞赛PDDL子集，AIPS-00规划竞赛委员会，2000年；F.Bacchus，AIPS2000规划竞赛PDDL子集，AIPS-00规划竞赛委员会，2000年 [5] A.Barrett，D.Christianson，M.Friedman，C.Kwok，K.Golden，S.Penberthy，Y.Sun，D.Weld，美国大学公共政策学院用户手册，技术报告93-09-06d，华盛顿大学计算机科学系，1995年；A.Barrett，D.Christianson，M.Friedman，C.Kwok，K.Golden，S.Penberthy，Y.Sun，D.Weld，UCPOP用户手册，技术报告93-09-06d，华盛顿大学计算机科学系，1995年 [6] Bertoli，P。；Cimatti，A。；斯莱尼，J。；Thiébaux，S.，通过符号模型检查解决供电恢复问题，（第15届欧洲人工智能会议（ECAI-02）会议记录，法国里昂（2002），威利：威利纽约），576-580 [7] B.Bonet，H.Geffner，GPT：一种针对不确定性和部分信息的规划工具。收录于：《不确定性和不完整信息下的规划问题研讨会论文集IJCAI-01》，2001年，第82-87页；B.Bonet，H.Geffner，GPT：一种具有不确定性和部分信息的规划工具。收录于：《不确定性和不完整信息下的规划问题研讨会论文集IJCAI-01》，2001年，第82-87页 [8] B.Bonet，S.Thiébaux，《GPT与PSR的会面》，载于：E.Giunchiglia，N.Muscettola，D.Nau（编辑），《第十三届国际自动规划与调度会议论文集》（ICAPS-03），意大利特伦托，2003年，第102-111页；B.Bonet，S.Thiébaux，《GPT与PSR的会面》，载于：E.Giunchiglia，N.Muscettola，D.Nau（编辑），《第十三届国际自动规划与调度会议论文集》（ICAPS-03），意大利特伦托，2003年，第102-111页 [9] Brewka，G。；Hertzberg，J.，《如何用世界做事情：关于形式化行动和计划》，J.Logic Comput。，3, 5, 517-532 (1993) ·Zbl 0802.68145号 [10] 卡多利，M。；Donini，F.M.，《知识汇编调查》，AI Comm.，10，3-4，137-150（1997） [11] M.Cadoli，F.M.Donini，P.Liberatore，M.Schaerf，比较命题知识表示形式主义的空间效率，见[2]，第364-373页；M.Cadoli，F.M.Donini，P.Liberatore，M.Schaerf，比较命题知识表示形式主义的空间效率，见[2]，第364-373页·Zbl 0946.68134号 [12] 钱德拉，A。；Kozen，D。；Stockmeyer，L.，Alternation，J.ACM，28，1，114-133（1981）·Zbl 0473.68043号 [13] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 3, 374-425 (2001) [14] M.Davidson，M.Garagnani，《包含语言公理的预处理规划领域》，载于《英国规划与调度SIG第21次研讨会论文集》（PlanSIG-02），2002年，第23-34页；M.Davidson，M.Garagnani，《包含语言公理的预处理规划领域》，载于：《英国规划与调度SIG第21次研讨会论文集》（PlanSIG-02），2002年，第23-34页 [15] Edelkamp，S.，《Promela规划》（模型检查软件，第十届国际SPIN研讨会（2003），施普林格：施普林格柏林），197-212·Zbl 1023.68527号 [16] S.Edelkamp，J.Hoffmann，PDDL2.2：第四届国际规划竞赛经典部分的语言，《195年技术报告》，阿尔伯特·卢德维格斯大学信息学院，德国弗莱堡，2004年；S.Edelkamp，J.Hoffmann，PDDL2.2：第四届国际规划竞赛经典部分的语言，《195年技术报告》，阿尔伯特·卢德维格斯大学信息学院，德国弗莱堡，2004年 [17] 埃罗尔，K。；Nau，D.S。；Subrahmanian，V.S.，域相关规划的复杂性、可判定性和不可判定性结果，人工智能，76，1-2，75-88（1995）·Zbl 1013.68548号 [18] 福克斯，M。；Long，D.，PDDL2.1：PDDL的扩展，用于表达时间规划域，《人工智能研究杂志》，20，61-124（2003）·Zbl 1036.68093号 [19] Garagnani，M.，《使用预处理领域公理进行有效规划的正确算法》，（智能系统研究与开发XVII（2000），Springer:Springer Berlin），363-374 [20] Gazen，B.C。；Knoblock，C.，《将UCPOP的表现力与Graphplan的效率结合起来》，（Steel，S.；Alami，R.，《人工智能规划的最新进展》，第四届欧洲规划会议（ECP’97），法国图卢兹。人工智能规划的最新进展。第四届欧洲规划会议（ECP’97），法国图卢兹，人工智能讲义，第1348卷（1997），施普林格：施普林格柏林），221-233 [21] G.Gogic，H.A.Kautz，C.H.Papadimitriou，B.Selman，知识表示的比较语言学，载于：第14届国际人工智能联合会议论文集（IJCAI-95），魁北克省蒙特利尔市，1995年，第862-869页；G.Gogic，H.A.Kautz，C.H.Papadimitriou，B.Selman，《知识表征的比较语言学》，摘自：《第十四届国际人工智能联合会议论文集》（IJCAI-95），魁北克省蒙特利尔，1995年，第862-869页 [22] J.Gustafsson，P.Doherty，《拥抱闭塞以明确行动的间接影响》，载于：[2]，第87-98页；J.Gustafsson，P.Doherty，《拥抱闭塞以明确行动的间接影响》，载于：[2]，第87-98页 [23] Hoffmann，J.，规划基准中的局部搜索拓扑：理论分析，（Ghallab，M.；Hertzberg，J.；Traverso，P.，《第六届人工智能规划与调度国际会议论文集》（AIPS-02），法国图卢兹（2002），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），92-100 [24] 霍夫曼，J。；Nebel，B.，FF计划系统：通过启发式搜索快速生成计划，人工智能研究，14253-302（2001）·Zbl 0970.68044号 [25] Holzmann，G.，模型检查器Spin，IEEE Trans。软件工程，23，5，279-295（1997） [26] 卡普·R·M。；Lipton，R.J.，接受建议的图灵机，Enseign。数学。，28, 191-210 (1982) ·Zbl 0529.68025号 [27] 考茨，H.A。；Selman，B.，《快速推理的形成概念》（《美国人工智能协会第十届全国会议论文集》（AAAI-92），加利福尼亚州圣何塞市（1992年），麻省理工学院出版社：马萨诸塞州坎布里奇市，786-793） [28] Lifschitz，V.，《关于STRIPS的语义》（Georgeff，M.P.；Lansky，A.，《关于行动和计划的推理：1986年研讨会论文集》，Timberline，OR（1986），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），1-9 [29] F.Lin，《在具体说明行动的间接影响时拥抱因果关系》，载于：《第十四届国际人工智能联合会议论文集》（IJCAI-95），魁北克省蒙特利尔，1995年，第1985-1993页；F.Lin，《在指定行动的间接影响时拥抱因果关系》，摘自：《第十四届国际人工智能联合会议论文集》（IJCAI-95），魁北克省蒙特利尔，1995年，第1985-1993页 [30] Lloyd，J.W.，《逻辑编程基础》（1984），《施普林格：施普林格柏林》·Zbl 0547.68005号 [31] N.McCain，H.Turner，《后果和资格的因果理论》，摘自：《第十四届国际人工智能联合会议论文集》（IJCAI-95），魁北克省蒙特利尔，1995年，第1978-1984页；N.McCain，H.Turner，《后果和资格的因果理论》，摘自：《第十四届国际人工智能联合会议论文集》（IJCAI-95），魁北克省蒙特利尔，1995年，第1978-1984页 [32] D.McDermott，PDDL-规划领域定义语言，技术报告CVC TR-98-003/DCS TR-1165，耶鲁计算视觉与控制中心，1998年；D.McDermott，PDDL-规划领域定义语言，技术报告CVC TR-98-003/DCS TR-1165，耶鲁计算视觉与控制中心，1998年 [33] D.Nau，Y.Cao，A.Lotem，H.Munoz-Avila，《简单层次有序规划师》，摘自：《第十六届国际人工智能联合会议论文集》（IJCAI-99），瑞典斯德哥尔摩，1999年，第968-975页；D.Nau，Y.Cao，A.Lotem，H.Munoz-Avila，《简单层次有序规划师》，摘自：《第十六届国际人工智能联合会议论文集》（IJCAI-99），瑞典斯德哥尔摩，1999年，第968-975页·Zbl 0926.00030号 [34] Nebel，B.，《命题规划形式的可编译性和表达能力》，《人工智能研究杂志》，第12期，第271-315页（2000年）·Zbl 0943.68182号 [35] Sandewall，E.，Features and Fluents（1994），牛津大学出版社：牛津大学出版社，英国牛津·Zbl 0842.68077号 [36] 斯莱尼，J。；Thiébaux，S.，《重访街区世界》，人工智能，125，119-153（2001）·Zbl 0969.68136号 [37] 蒂博，S。；Cordier，M.，《配电系统供电恢复——不确定性下规划的基准》（Cesta，a.；Borrajo，D.，《人工智能规划的最新进展》，第六届欧洲规划会议（ECP’01），西班牙托莱多（2001），施普林格：施普林格柏林），85-95 [38] S.Thiébaux，J.Hoffmann，B.Nebel，《捍卫PDDL公理》，G.Gottlob（编辑），《第十八届国际人工智能联合会议论文集》（IJCAI-03），墨西哥阿卡普尔科，2003年，第961-966页；S.Thiébaux，J.Hoffmann，B.Nebel，《捍卫PDDL公理》，G.Gottlob（编辑），《第十八届国际人工智能联合会议论文集》（IJCAI-03），墨西哥阿卡普尔科，2003年，第961-966页 [39] M.Y.Vardi，关系查询语言的复杂性，摘自：第14届ACM计算理论研讨会论文集，1982年，第137-146页；M.Y.Vardi，关系查询语言的复杂性，摘自：第14届ACM计算理论研讨会论文集，1982年，第137-146页 [40] S.Vorobyov，A.Voronkov，《具有复杂值的非递归程序的复杂性》，技术报告MPI-I-97-2-010，Max-Planck-Institut für Informatik，德国萨尔布吕肯，1997年；S.Vorobyov，A.Voronkov，复杂值非递归程序的复杂性，技术报告MPI-I-97-2-010，Max-Planck-Institut für Informatik，德国萨尔布吕肯，1997 [41] M.S.Winslett，使用可能的模型方法推理行动。摘自：《美国人工智能协会第七届全国会议记录》（AAAI-88），密歇根州圣保罗，1988年，第89-93页；M.S.Winslett，使用可能的模型方法对行动进行推理。摘自：美国人工智能协会第七届全国会议记录（AAAI-88），密歇根州圣保罗，1988年，第89-93页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。