EUROPA建模和规划框架

EUROPAS 是 NASA 出品的一个规划框架，用来建模和处理规划调度和约束满足问题。该框架包含如下内容

• 规划数据库（A Plan Database）：EUROPA的技术基石，用于在计划初始化和完善时存储和处理计划。EUROPA计划数据库将动作，状态，对象和约束的丰富表示与用于自动推理，传播，查询和操纵的强大算法集成在一起。

• 问题解决器（A Problem Solver)：一个核心解决者，可以自动查找和修复计划数据库中的缺陷。可以将其配置为计划，安排或同时进行。可以轻松地对其进行自定义，以集成专门的试探法和解析操作。

• 工具箱（A Tool Box）： Europa包括一个调试器，用于对应用程序进行检测和可视化。它还包括用于描述问题域和局部计划的非常高级的声明式建模语言。