PDDL

规划领域定义语言(PDDL)。PDDL2.1:PDDL的扩展,用于表示时间规划域。近年来,规划界的研究日益趋向于将规划师应用于涉及时间和多种资源的现实问题。例如,空间研究社区对规划的兴趣激发了观测计划、行星探测器探测和航天器控制领域的工作。其他时间和资源密集型领域,包括物流规划、工厂控制和制造业,也有助于社区关注建模和推理问题,这些问题必须使规划技术满足应用的挑战。自1998年以来,国际规划竞赛一直是推动规划工作取得进展的重要动力。第三届国际规划竞赛(2002年举行)向规划界提出了处理时间和数字资源的挑战。这就需要开发一种能够表达规划域的时间和数值特性的建模语言。在本文中,我们描述了比赛中使用的语言PDDL2.1。我们描述了语言的语法、形式语义和并发计划的验证。我们注意到PDDL2.1具有相当大的建模能力——超过了当前规划技术的能力——并对研究社区提出了许多重要的挑战。


zbMATH中的参考文献(参考文献92篇文章,1标准件)

显示第1到第20个结果,共92个。
按年份排序(引用)
  1. 阿方索·埃米利奥:书评:P。Haslum等人,《规划领域定义语言导论》(2020)
  2. 格雷维尼,阿方索·埃米利奥;Schubert,Lenhart:在\textsDiscoPlan中发现具有条件效果的计划的状态约束。一(2020年)
  3. 格拉斯蒂恩,阿尔班;Scala,Enrico:CPCES:通过反例引导的优化来解决符合规划问题的规划框架(2020)
  4. 森卡克里维奇;卡什莫尔,迈克尔;玛加兹尼,丹妮尔;塞德马克,桑多尔;Piater,Justus:使用机器学习降低规划中的状态不确定性(2020)
  5. 库丘加诺夫,M。五、 :表格转换的递归定义(2020年)
  6. 奥奇皮蒂·利伯曼,安德烈és;阿肯,安德烈亚斯;伦斯维格,拉斯穆斯æ一阶认知规划的动态项模态逻辑(2020)
  7. 佩雷拉,拉蒙·弗拉加;奥伦,近红外;Meneguzzi,Felipe:基于里程碑的目标识别方法(2020)
  8. 阿涅托,迭戈;吉姆é内兹·塞洛里奥,塞尔吉奥;Onaindia,Eva:具有最小可观测性的学习行动模型(2019年)
  9. 巴塞洛缪,迈克尔;李卓勇:具有内涵函数的一阶稳定模型语义(2019)
  10. 亚历山德罗·西马蒂;做,明;米其莉,安德烈;罗维里,马可;史密斯,大卫E.:具有不可控制持续时间的强有力的时间计划(2018)
  11. 杨方凯,吕道明,刘波,史蒂芬·古斯塔夫森:整合符号规划和分层强化学习,以实现稳健决策(2018)阿尔十四
  12. 德拉罗莎,汤姆ás;Fuentetaja,Raquel:学习规划政策的打包策略(2017)
  13. Š托尔巴,米甲;科门达,安东ín: MADLA planner:分布式与局部启发式搜索相结合的多智能体规划(2017)
  14. 泰诺斯,莫里茨;Beetz,Michael:机器人知识在\textscKnowRobframework中的表示(2017)
  15. 特里斯卡,简;Vychodil,Vilem:时间属性含义的逻辑(2017)
  16. 卡利梅里,弗朗西斯科;格布瑟,马丁;马拉提亚,马可;Ricca,Francesco:第五届答案集编程大赛(2016)的设计与结果
  17. 德贾科莫,朱塞佩;Lesp公司é兰斯,伊夫;Patrizi,Fabio:有界情境演算行动理论(2016)
  18. 赫恩á乔斯·恩德斯·奥拉罗é; 市场í尼兹飞了,费尔南多;施密特;席伯斯,迈克尔;Dowe,David L.:解决智能测试问题的计算机模型:进展与启示(2016)ioport公司
  19. 德利卡利;拉佐维克,亚历山大;Aiello,Marco:《不确定和动态环境下的服务领域独立规划》(2016)
  20. 埃佩,曼弗雷德;Bhatt,Mehul:有效后发推理的基于历史的近似认知行为理论(2015)