PDDL公司 swMATH编号： 7079 软件作者： 福克斯，M。；Long，D。；Ghallab，M.、Howe，A.、Knoblock，C.、McDermott，D.、Ram，A.、Veloso，M.，Weld，D.、Wilkins，D。 描述： 规划领域定义语言（PDDL）。PDDL2.1：PDDL的扩展，用于表示时间规划域。近年来，规划界的研究越来越倾向于将规划师应用于涉及时间和多种类型资源的现实问题。例如，空间研究界对规划的兴趣激发了观测调度、行星漫游者探索和航天器控制领域的工作。其他时间和资源密集型领域，包括物流规划、工厂控制和制造业，也有助于将社区重点放在建模和推理问题上，这些问题必须面对，才能使规划技术应对应用的挑战。国际规划竞赛是1998年以来规划取得进展的重要推动力。第三次投诉（2002年举行）给规划界带来了处理时间和数字资源的挑战。这就需要开发一种能够表达规划领域的时间和数字属性的建模语言。在本文中，我们描述了比赛中使用的语言PDDL2.1。我们描述了该语言的语法、形式语义和并发计划的验证。我们发现，PDDL2.1具有相当大的建模能力，超过了当前规划技术的能力，并给研究界带来了许多重要挑战。 主页： http://www.informatik.uni-ulm.de/ki/Edu/Vorlesungen/GdKI/WS0203/pddl.pdf 关键词： 观测调度 相关软件： 图规划;徒步旅行;萨帕;液化石油气;UCPOP公司;超小卫星;CP计划;VHPOP（VHPOP）;CCalc公司;STAN公司;高尔夫;自旋蛋白;工控机-4;科林;扣;糠;github;亚萨特;克林戈;AltAlt键 引用于： 95文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 PDDL2.1：PDDL的扩展，用于表示时间规划域。 Zbl 1036.68093号福克斯，M。;龙，D。 2003 全部的 前5名208位作者引用 5 阿方索·埃米利奥·杰雷维尼 5 长，德里克 4 玛丽亚·福克斯 4 安吉洛·蒙塔纳里 3 博拉霍，丹尼尔 3 德拉罗萨，托马斯 3 马丁·格布瑟 3 赫克托·杰夫纳 3 尼古拉·吉甘特 3 霍夫曼，约格 3 希拉·麦克拉伊思。 3 伊娃·奥奈迪亚 3 亚历山德罗·萨蒂 2 迭戈·艾内托 2 Jorge A.Baier。 2 布莱·博内 2 陈一新 2 卢卡什Chrpa 2 马丁·库珀。 2 亚尼斯·迪莫普洛斯 2 拉奎尔·富恩特塔哈 2 亚当·加卢斯卡 2 安东尼奥·加里多 2 帕特里克·哈斯鲁姆 2 马尔特·赫尔默特 2 米哈伊尔·瓦勒埃维奇·库丘加诺夫 2 林方珍 2 弗雷德里克·马里斯 2 托马斯·利奥·麦克卢斯基 2 安德烈亚·米凯利 2 安德烈亚·奥兰迪尼 2 皮埃尔·雷格尼尔 2 恩里科·斯卡拉 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 伊凡·塞琳娜 2 儿子Tran Cao 2 迈克尔·泰尔舍尔 2 毛罗·瓦拉蒂 2 文森特·维达尔 1 马丁·阿巴迪 1 道格拉斯·阿伯丁 1 安德烈亚斯·阿琴 1 马可·艾略 1 瓦瓦拉·艾利米西斯 1 玛琳·阿兰古 1 法希姆·巴克斯 1 奇塔·R·巴拉尔。 1 迈克尔·巴塞洛缪 1 迈克尔·贝茨 1 亚瑟·伯恩斯坦。 1 梅胡尔·巴特 1 梅亨·宾文努 1 劳拉·博泽利 1 斯宾塞·布雷纳 1 Randal E.布莱恩特。 1 自助餐，奥利维尔 1 弗朗西斯科·卡利默里 1 迈克尔·卡什莫尔 1 路易斯·卡斯蒂略（Luis E.Castillo）。 1 阿梅迪奥·塞斯塔 1 玛尔塔·恰尔迪亚·梅耶 1 梅耶·玛尔塔·恰尔迪亚 1 亚历山德罗·西马蒂 1 科尔斯，A.I。 1 科尔斯，A.J。 1 安德鲁·科尔斯 1 帕拉布·达斯古普塔 1 欧内斯特·戴维斯 1 马丁·德·科克 1 朱塞佩·德贾科莫 1 马克·德拉亚松森 1 黛拉·莫妮卡，达里奥 1 董金松 1 托马斯·艾特 1 曼弗雷德·埃佩 1 埃斯拉·埃尔登 1 沃尔夫冈·费伯 1 胡安·费尔南德斯·奥利瓦雷斯 1 克里斯蒂安·弗里茨 1 安吉尔·加西亚·奥拉亚 1 奥斯卡·加西亚·佩雷斯 1 H.A.杰夫纳。 1 迈克尔·盖尔芬德 1 马利克·加拉布 1 Gholamreza Ghassem-Sani 1 卡姆莱什·戈什 1 安东尼奥·冈萨雷斯·穆尼奥斯 1 阿尔班·格雷斯廷 1 基思·哈尔西 1 凯乔·赫尔扬科 1 安德烈亚斯·赫齐格 1 Adele E.豪。 1 黄若云 1 弗兰克·哈特 1 Rune Möller Jensen 1 季建民 1 姜云飞 1 Jiménez Celorrio，塞尔吉奥·希门尼斯 1 塞尔吉奥·希梅内兹 1 金、科宾 …还有108位作者 全部的 前5名25篇连载文章中引用 43 人工智能 7 人工智能研究杂志 4 数学与人工智能年鉴 3 调度日志 3 计算智能 2 理论计算机科学 2 自动推理杂志 2 AI通信 1 哲学逻辑杂志 1 运筹学年鉴 1 智能与机器人系统杂志 1 应用智能 1 控制科学档案 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 约束条件 1 美国计算机学会期刊 1 逻辑程序设计理论与实践 1 自然计算 1 应用逻辑杂志 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。Mekhanika。Komp'yuternye Nauki公司 1 欧洲计算优化杂志 全部的 前5名在9个字段中引用 91 计算机科学（68至XX） 9 运筹学、数学规划（90-XX） 5 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文