大数据最全[PDDL人工智能] 01

最新推荐文章于 2025-03-11 23:59:08 发布

沉默的王二

最新推荐文章于 2025-03-11 23:59:08 发布

阅读量982

点赞数 17

分类专栏：程序员文章标签：大数据

本文链接：https://blog.csdn.net/2301_76379606/article/details/138432416

版权

本文介绍了如何在VSCode中安装和配置PDDL插件，包括安装PDDL和VAL工具，创建PDDL文件，调用在线规划器，以及应对断网情况的本地规划器配置。同时，文章提供了PDDL基础案例的快速入门步骤。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

第一步，在VSCode中安装PDDL插件。

在这里插入图片描述

安装成功后如下图所示：

在这里插入图片描述

第二步，在VSCode中安装VAL语法检查。

在这里插入图片描述

在VS Code安装PDDL成功后，打开PDDL Overview进行安装VAL。

在这里插入图片描述

安装过程如下图所示，对应“VAL tools”点击“Download”。

在这里插入图片描述

第三步，安装成功之后，可以看到详细的配置信息如下：

planning engine（在线规划引擎）
Planning service: http://solver.planning.domains/solve
PDDL parser（PDDL解析器）
c:\Users\xxx\AppData\Roaming\Code\User\globalStorage\jan-dolejsi.pddl\val\Val-20210215.2-win64\bin\Parser.exe
Plan Validator（规划验证器）
c:\Users\xxx\AppData\Roaming\Code\User\globalStorage\jan-dolejsi.pddl\val\Val-20210215.2-win64\bin\Validate.exe

在这里插入图片描述

此时，我们可以进入后续的PDDL代码编写过程。同时，存在部分在线访问的问题，后续尝试解决。

VSCode PDDL
VSCode是建模规划域的良好工具，其扩展将PDDL引入了一流的编程语言家族中，让其与C#、Python、JavaScript等处于同等级别。PDDL旨在通过以下功能帮助新手并为专家赋能。

规划领域建模
planning domain modeling
通过回归或可扩展性测试用例的数量规划域验证
planning domain validation by number of regression or scalability test cases
通过从模板生成问题文件来规划工业化解决方案
planning solution industrializing by problem file generation from templates
计划验证
plan validation

当扩展在 .pddl 文件（通常包含域或问题定义）或选定的PDDL命令被激活时，即可配置解释器（parser）或规划器（planner）。