软件搜索-zbMATH Open

FODD-计划

swMATH编号：	7747
软件作者：	Joshi，S。；R.卡顿。
描述：	具有一阶决策图的概率关系规划动态规划算法已经成功地应用于命题随机规划问题，通过使用紧致表示，特别是代数决策图，来捕获领域动力学和值函数。符号动态编程的工作使用几种表示方案将这些思想提升到一阶逻辑。最近的工作引入了决策图的一阶变体（FODD），并开发了用于此表示的值迭代算法。本文对FODD算法进行了几项改进，使该方法具有实用性。这些包括减少表示大小的新约简操作符、几种加速技术和值近似技术。结合这些，本文提出了一个用于解决相关随机规划问题的规划系统FODD-Planner。该系统在多个领域进行了评估，包括最近国际规划竞赛中出现的问题，并显示了与顶级系统的竞争表现。这是该方法可行性的首次证明，它表明通过紧凑表示进行抽象是一种很有前途的随机规划方法。
主页：	https://code.google.com/p/foddplanner/
关键词：	不确定性下的规划;一阶决策图;FODD-计划;随机规划;动态程序设计;代数决策图
相关软件：	氟氯化钙;图规划;高尔夫;ProbLog（问题日志）;风暴;棱镜;VAMPIRE公司;NMRDPP公司;IBAL公司;代理发言;YACS公司;斯莫德尔斯;人民;雷巴;CCalc公司;博客;PREGO公司;教堂;4.5条;ACUOS2号机组
引用于：	15文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
带有一阶决策图的概率关系规划。 Zbl 1219.68145号乔希，S。;R.卡顿。	2011