PDDL

规划领域定义语言(PDDL)。表达pd1.dlan域的pd2.planning。近年来,社区规划的应用问题越来越受到规划者的关注。例如,空间研究社区对规划的兴趣激发了观测计划、行星探测器探测和航天器控制领域的工作。同时,还必须将时间建模和物流规划等技术应用于工厂,以应对这些挑战。国际规划竞赛是推动1998年以来规划工作取得进展的重要动力。第三次com请愿(2002年举行)给规划界带来了处理时间和数字资源的挑战。这就需要开发一种能够表达规划域的时间和数值特性的建模语言。在本文中,我们描述了比赛中使用的语言PDDL2.1。本文描述了它的形式化语法和形式化的验证方案。我们注意到PDDL2.1具有相当大的建模能力——超过了当前规划技术的能力——并对研究社区提出了许多重要的挑战。


zbMATH中的参考文献(引用于 90篇文章,1标准件)

显示第61到80个结果,共90个。
按年份排序(引用)
  1. Antonio Garrido;Arangu,Marlene;Onaindia,Eva:规划的约束规划公式:从计划调度到计划生成(2009)
  2. Gerevini,Alfonso E.;Haslum,Patrik;Long,Derek;Saetti,Alessandro;Dimopulos,Yannis:第五届国际规划竞赛中的确定性规划:PDDL3和规划师的实验评估(2009)
  3. 马尔特有限域规划(PDT),2009年
  4. Christophe Lecoutre;Saïs,Lakhdar;Tabary,sébastien;Vidal,Vincent:约束编程中最后一次冲突的推理(2009)
  5. Li,Haitao;Womer,Keith:基于MILP/CP Benders混合分解算法的多技能项目调度(2009)
  6. 尼科拉,普利塞拉;塞斯塔,阿梅迪奥;奥迪,安杰洛;史密斯,斯蒂芬F.:求解和机器人(2009)
  7. Roberts,Mark;Howe,Adele:《从规划师绩效中学习》(2009)
  8. Armando,Alessandro;Compagna,Luca:基于SAT的安全协议分析模型检查(2008)ioport公司
  9. Gerevini,Alfonso E.;Saetti,Alessandro;Serina,Ivan:一种利用数值水流和多准则规划质量的有效规划方法(2008)
  10. Jensen,Rune M.;Veloso,Manuela M.;Bryant,Randal E.:状态集分支:利用BDD进行启发式搜索(2008)
  11. Sapena,O.;Onaindía,E.:高度动态环境中的计划:时间限制下的随时计划方法(2008)ioport公司
  12. Schockaert,Steven;de Cock,Martine:关于模糊区间的时间推理(2008)
  13. 时态语义学,时态语义学,利隆加语义学;利隆加语义学
  14. de la Asunción,Marc;Castillo,Luis;Fernández Olivares,Juan;García-Pérez,Oscar;González,Antonio;Palao,Francisco:在规划环境中处理模糊时间约束(2007)
  15. 杨强;吴康恒;蒋云飞:利用加权MAX-SAT从计划实例学习行动模型(2007)
  16. 自动生成;阿瑟·刘易斯,2006;自动生成
  17. Rintanen,Jussi;Heljanko,Keijo;Niemelä,Ilkka:作为可满足性的计划:并行计划和计划搜索算法(2006)
  18. Vidal,Vincent;Geffner,Héctor:分支和修剪:基于约束规划的最优时态POCL规划器(2006)
  19. Wah,Benjamin W.;Chen,Yixin:用于解决时间规划问题的惩罚公式中的约束划分(2006)
  20. Bock,Conrad;Gruninger,Michael:PSL:流模型的语义域(2005)ioport公司