公开(公告)号：CN115186635A

公开(公告)日：2022-10-14

申请号：CN202210818650.1

申请日：2022-07-12

Applicant: 中国科学院软件研究所

Inventor： 张洪滨 ,  林泓宇 ,  韩柳彤 ,  邢明杰 ,  武延军 ,  赵琛

IPC: G06F40/166 ,  G06F40/253 ,  G06F40/14

Abstract: 本发明公开了一个基于思维导图的PDDL问题计算方法及系统。所述方法包括：基于要编辑的PDDL问题，得到domain.pddl文件，并根据所述domain.pddl文件，确定编辑所述domain.pddl文件对应的PDDL问题所需要的组件信息；利用所述组件信息，对所述PDDL问题进行思维导图编辑；解析所述思维导图，得到problem.pddl信息；根据所述problem.pddl信息与所述PDDL问题对应的domain，生成problem.pddl文件；基于所述domain.pddl文件与所述problem.pddl文件，得到所述PDDL问题的解。本发明能够为用户利用PDDL求解规划问题提供便利。

公开(公告)号：CN118069149A

公开(公告)日：2024-05-24

申请号：CN202410343147.4

申请日：2024-03-25

Applicant: 中国科学院软件研究所

Inventor： 林泓宇 ,  张忠坤 ,  邢明杰 ,  武延军 ,  赵琛

IPC: G06F8/41 ,  G06F9/445

Abstract: 本发明公开一种用于ROS机器人任务规划的图形化PDDL编译方法及系统，属于智能规划领域技术领域。所述方法包括：获取思维导图；基于目标任务对思维导图进行调整；将调整后的思维导图编译为PDDL源文件数据，并基于该PDDL源文件数据生成所述目标任务的规划结果；将规划结果编译为ROS形式的话题消息，以使ROS机器人基于所述话题消息执行所述目标任务。本发明实现了图形化PDDL和ROS系统的结合，有助于开发者检验PDDL模型的实用性和有效性。