[PDDL人工智能] 02.PDDL规划领域定义语言之语法理解和示例详解

于 2023-01-12 18:24:53 发布
阅读量3.9k 收藏 17
点赞数 5
分类专栏： Python人工智能 文章标签： 人工智能
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/eastmount/article/details/125299411
版权

智能规划来源于人工智能对理性行为研究，针对一个具体行为的实施目的，开展动作规划以模拟或指导行为的实施，是AI开展研究的关键问题。本文主要介绍PDDL规划领域定义语言的基础语法知识和示例详解，希望文章对您有所帮助。

该系列文章主要介绍PDDL人工智能知识，由于自己也是初学者，所以欢迎大家批评指正，一起加油喔~

文章目录

前文赏析：

一.PDDL简介

PDDL：Planning Domain Definition Language
规划领域定义语言，是一种解决人工智能规划问题的比较前沿的方法。PDDL常用于解决智能规划问题，例如机器人将一个屋子的球搬运到另一间屋子里，通过合理的组织流程建造一间房子等。PDDL的规划任务（planning task）由五部分组成。

  • Objects（对象）
    Things in the world that interest us.
  • Predicates（谓词）
    Properties of objects that we are interested in; can be true or false.
  • Initial state（初始状态）
    The state of the world that we start in.
  • Goal specification（目标规范）
    Things that we want to be true.
  • Actions/Operators（操作/运算符）
    Ways of changing the state of the world.

定义规划任务的三要素：

  • 状态
  • 动作：动作是规划问题的一个关键部分
  • 目标

PDDL指定的规划任务分为两个文件，domain 文件和 problem 文件。

  1. A domain file（域文件） for predicates and actions.
  2. A problem file（问题文件） for objects, initial state and goal specification.

在这里插入图片描述

Domain Files
域文件定义如下：

在这里插入图片描述

(define (domain <domain name>)
	<PDDL code for predicates>
	<PDDL code for first action>
	[...]
	<PDDL code for last action>
)
  • <域名>：domain name，是标识规划域的字符串，例如gripper，后续gripper.pddl会详细介绍。

Problem Files
问题文件定义如下：

在这里插入图片描述

(define (problem <problem name>)
	(:domain <domain name>)
	<PDDL code for objects>
	<PDDL code for initial state>
	<PDDL code for goal specification>
)
  • <问题名称>：problem name，是一个标识计划任务的字符串，例如gripper-four-balls。
  • <域名>：domain name，必须与对应域名文件中的域名匹配，详见gripper-four.pddl文件。

推荐下列参考资料：

二.PDDL基础语法知识

四个球移动的任务（Gripper task with four balls）：假设有一个机器人可以在两个房间之间移动，并用两条手臂中的任何一条捡起或扔掉球。 最初，所有球和机器人都在第一个房间，我们希望移动球到第二个房间中。

  • 对象： 两个房间、四个球和两个机械臂。
    Objects：The two rooms, four balls and two robot arms.
  • 谓词：x是一个房间？ x是球？ 球x在房间y内？机械臂x是空的吗？
    Predicates：Is x a room? Is x a ball? Is ball x inside room y? Is robot arm x empty? […]
  • 初始状态：所有球和机器人都在第一个房间， 所有机器人手臂都是空的。
    Initial state：All balls and the robot are in the first room. All robot arms are empty. […]
  • 目标说明：所有球必须在第二个房间。
    Goal specification：All balls must be in the second room.
  • 动作/操作：机器人可以在房间之间移动、捡球或丢球。
    Actions/Operators：The robot can move between rooms, pick up a ball or drop a ball.

接下来简单给出基本定义，由于其英语直译非常明确，这里仅给出描述，下一篇文章再进行详细的语法介绍。

Gripper task: Objects

在这里插入图片描述

Gripper task: Predicates

在这里插入图片描述

Gripper task: Initial state

  • 初始状态四个球都在房间rooma中

在这里插入图片描述

Gripper task: Goal specification

  • 目标：将四个球移动到roomb中

在这里插入图片描述

Gripper task: Movement operator

  • 移动操作：机器人从x移动到y

在这里插入图片描述

Gripper task: Pick-up operator

  • pick-up操作：机器人使用z从y中捡起x

在这里插入图片描述

Gripper task: Drop operator

  • drop操作：机器人使用z从y中丢掉x

在这里插入图片描述

A Note on Action Effects

在这里插入图片描述

三.入门示例详解

1.domain.pddl

规划域描述整个规划世界的基础构成信息，包括实体类型、实体实例化、谓词逻辑状态、实体状态等。

  • 定义：谓词和动作

示例代码如下：

(define (domain gripper-strips)
    (:requirements :negative-preconditions)
    (:predicates (room ?r)
                (ball ?b)
                (at ?b ?r)
                (at-robby ?r)
                (gripper ?g)
                (free ?g)
                (carry ?b ?g))
    (:action pick
        :parameters(?obj ?room ?gripper)
        :precondition 
            (and 
                (ball ?obj) 
                (room ?room) 
                (gripper ?gripper)
                (free ?gripper) 
                (at ?obj ?room) 
                (at-robby ?room)
            )
        :effect 
            (and 
                (not 
                    (free ?gripper)
                ) 
                (carry ?obj ?gripper) 
                (not (at ?obj ?room))
            )
        )
    (:action move
        :parameters (?from ?to)
        :precondition 
            (and 
                (room ?from) 
                (room ?to) 
                (at-robby ?from)
            )
        :effect 
            (and 
                (at-robby ?to)
                (not 
                    (at-robby ?from)
                )
            )
    )
    (:action drop
        :parameters (?room ?ball ?gripper)
        :precondition
            (and 
                (room ?room) 
                (ball ?ball) 
                (at-robby ?room) 
                (gripper ?gripper)
                (not 
                    (free ?gripper)
                )
                (carry ?ball ?gripper)
                (at-robby ?room))
        :effect 
            (and 
                (free ?gripper) 
                (at ?ball ?room) 
                (not
                    (carry ?ball ?gripper)
                )
            )
        )
)

2.question.pddl

问题域描述在这样的规划世界中一个具体问题的条件与目标。

  • 目标：将ball1和ball2两个球从a房间移动到b房间
  • 定义：对象、 初始状态和目标规范

示例代码如下：

(define (problem solve)
    (:domain gripper-strips)
    (:objects 
        rooma roomb 
        ball1 ball2 
        left right
    )
    (:init 
        (room rooma)
        (room roomb) 
        (ball ball1) 
        (ball ball2)
        (gripper left) 
        (gripper right) 
        (free left) 
        (free right)
        (at ball1 rooma) 
        (at ball2 rooma) 
        (at-robby rooma)
    )
    (:goal 
        (and
            (at ball1 roomb)
            (at ball2 roomb)
        )
    )
)

3.运行结果

运行结果如下图所示：

在这里插入图片描述

Planning service: http://solver.planning.domains/solve
Domain: gripper-strips, Problem: solve
 --- OK.
 Match tree built with 18 nodes.

PDDL problem description loaded: 
	Domain: GRIPPER-STRIPS
	Problem: SOLVE
	#Actions: 18
	#Fluents: 14
Landmarks found: 2
Starting search with IW (time budget is 60 secs)...
rel_plan size: 5
#RP_fluents 7
Caption
{#goals, #UNnachieved,  #Achieved} -> IW(max_w)

{2/2/0}:IW(1) -> [2][3][4]rel_plan size: 4
#RP_fluents 6
{2/1/1}:IW(1) -> [2][3][4][5][6][7];; NOT I-REACHABLE ;;
Total time: 4.47035e-10
Nodes generated during search: 42
Nodes expanded during search: 35
IW search completed
Starting search with BFS(novel,land,h_add)...
--[4294967295 / 8]--
--[1 / 8]--
--[1 / 6]--
--[1 / 5]--
--[1 / 4]--
--[1 / 2]--
--[1 / 1]--
--[1 / 0]--
--[0 / 0]--
Total time: 4.47035e-10
Nodes generated during search: 22
Nodes expanded during search: 7
Plan found with cost: 7
BFS search completed
0.00100: (pick ball2 rooma left)
0.00200: (move rooma roomb)
0.00300: (drop roomb ball2 left)
0.00400: (move roomb rooma)
0.00500: (pick ball1 rooma left)
0.00600: (move rooma roomb)
0.00700: (drop roomb ball1 left)
Planner found 1 plan(s) in 0.689secs.

另一种运行结果如下图所示：

在这里插入图片描述

4.逻辑解释

下面介绍该实例的智能规划逻辑。

前提：假设存在两个房间（Rooma和Roomb）、两个球（Ball1和Ball2）机器人拥有左手和右手，且机器人和球初始位置是Rooma房间。

  • action pick
  • action move
  • action drop

问题：如何将两个球从房间Rooma移动到Roomb？

在这里插入图片描述

第一步：机器人左手提起Ball1。

在这里插入图片描述

第二步：机器人移动至Roomb。

在这里插入图片描述

第三步：机器人释放Ball1。

在这里插入图片描述

第四步：机器人移动至Rooma。

在这里插入图片描述

第五步：机器人右手拿起Ball2。

在这里插入图片描述

第六步：机器人移动至Roomb。

在这里插入图片描述

第七步：机器人右手释放Ball2。

在这里插入图片描述

至此，完成移动任务。PDDL显示的逻辑路线如下图所示：

在这里插入图片描述

另一种方法如下图所示：机器人捡起两个球移动再释放。

在这里插入图片描述

四.总结

写到这里，本文就介绍完毕，希望对您有所帮助。

  • 一.PDDL简介
  • 二.PDDL基础语法知识
  • 三.入门示例详解
    1.domain.pddl
    2.question.pddl
    3.运行结果
    4.逻辑解释
  • 四.总结

大学之道在明明德，
在亲民，在止于至善。
这周又回答了很多博友的问题，有大一学生的困惑，有论文的咨询，也有老乡和考博的疑问，还有无数博友奋斗路上的相互勉励。虽然自己早已忙成狗，但总忍不住去解答别人的问题。最后那一句感谢和祝福，永远是我最大的满足。虽然会花费我一些时间，但也挺好的，无所谓了，跟着心走。不负遇见，感恩同行。莫愁前路无知己，继续加油。晚安娜和珞。

在这里插入图片描述

(By:Eastmount 2023-01-12 夜于贵阳 http://blog.csdn.net/eastmount/ )

参考文献：

Eastmount
关注
  • 5
    点赞
  • 踩
  • 17
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论
专栏目录
PDDL语言语法
05-02
关于人工智能领域PDDL的语法说明，包含domain和problem的定义以及其中模块的说明
【2023 收藏向】【PDDL/Planning/Planner-智能规划与规划器】 学习指南与工具推荐
学习者
12-02 3022
【2023】PDDL、Planner、Planning、智能规划、规划器的友好学习指南，定期更新！！！
人工智能 一种现代方法 第10章 经典的规划问题（classical planning）
知行合一，止于至善
07-10 3368
文章目录规划问题定义(PDDL)为一个搜索问题状态空间搜索规划算法前向状态空间搜索后向相关状态搜索规划的启发式资源分享 本文旨在讲明： 1）规划问题定义（PDDL）为一个搜索问题 2）前向搜索，后向搜索，及搜索的启发式 3）从规划图获得启发式及提取规则 规划问题定义(PDDL)为一个搜索问题 Planning Domain Definition Language（简称PDDL，规划区域定义语言） ...
【PDDL语法学习】 了解领域文件（Domain）第一篇：PDDL1.2
学习者
12-02 1029
​原文地址：https://planning.wiki/ref/pddl/domain 推荐通过原文了解更多没有翻译到位的内容。 简介 PDDL目前已经是PDDL3.1，不同版本添加了各种语法补充，但绝大部分语法都是PDDL1.2中推出。 PDDL 1.2中的域文件定义了问题的“通用（universal）”方面。本质上，这些方面是不会改变的，不管我们试图解决什么特定的情况。在PDDL 1.2中，这主要是模型中可能存在的对象类型、谓词和操作。
PDDL规划领域定义语言学习资料汇总
思我所
05-17 782
PDDL学习。
人工智能入门——ｐｄｄｌ简例
weixin_41111088的博客
05-06 1万+
作为一个刚刚学习人工智能的小白，对许多的知识都表示一脸懵逼。随着课程进展到规划问题，不可避免地与ｐｄｄｌ相遇，经历了一段时间的学习，下面以小白的角度简要介绍一下ｐｄｄｌ，并且附带简例说明。Planning Domain Definition Language（简称ｐｄｄｌ，规划区域定义语言）是一种标准化的人工智能规划语言，主要涉及到逻辑学以及规划任务问题，这里不细说。大家可以自行谷歌，这有一个关于...
[PDDL人工智能] 01.PDDL规划器安装及入门详解（规划领域定义语言）
杨秀璋的专栏
06-11 1万+
该系列文章主要介绍PDDL人工智能知识，规划领域定义语言，是一种解决人工智能规划问题的比较前沿的方法。PDDL常用于解决智能规划问题，例如机器人将一个屋子的球搬运到另一间屋子里，通过合理的组织流程建造一间房子等。PDDL的规划任务（planning task）由五部分组成。由于自己也是初学者，所以欢迎大家批评指正，也希望文章对您有所帮助，一起加油喔~
PDDL入门
工控小白2021的博客
11-27 3754
PDDL的组成部分 Objects：对象，世界上我们感兴趣的事物。 Predicates：谓词，我们感兴趣的事实（例如对象的属性），可以为真，也可以为假。 An initial state：初始化状态，我们开始所处的世界状态，即开始时为真的事物。 Goal specification：目标状态，我们想要结束的世界的状态，即我们希望最终成为真实的事情。 Actions/Operators：动作/操作，改变世界状态的方式，即发生的事情改变了事实。 PDDL语法 PDDL 文件的扩展名通常是.pddl 要
PDDL
lazy storm
10-29 818
What is planning “Planning is a discipline of Artificial Intelligence that aims at the development of generic algorithms allowing autonomous systems to choose and organize their actions to achieve a ...
pddl4j:PDDL4J是LGPL许可下的开放源代码库，其目的是促进基于PDDL语言（规划域描述语言）的Java自动开发工具的开发。
05-15
PDDL4J库 1.联系方式 达米恩·佩里尔（Damien Pellier）（ ） 2.说明 PDDL4J是LGPL许可下的开源库。 PDDL4J的目的是促进基于PDDL语言（规划域描述语言）的Java for自动规划工具的开发。 在相关文献中，自动计划和调度通常称为简单计划，是人工智能的一个分支，涉及战略或动作序列的实现，通常由智能代理，自动驾驶机器人和无人驾驶车辆执行。 PDDL最初是由Drew McDermott和1998年计划竞赛委员会开发的。 它的灵感来自于需要鼓励对计划系统进行实证比较，并在社区内交换计划基准。 它的发展改善了研究结果的交流，并引发了计划系统的性能，表达力和健壮性的爆炸式增长。 PDDL已成为描述规划领域的事实上的标准语言，不仅用于竞争，而且更广泛地用于描述规划领域，因为它提供了一个机会，可以对越来越多的普遍采用的标准基准领域进行规划系统的实证评估。 语
pyddl:在 Python 中具有类似 PDDL 的问题规范的 STRIPS 规划器
05-30
PyDDL 在 Python 中具有类似 PDDL 的问题规范的 STRIPS 规划器 作者：加里·多兰 ( ) 安装 PyDDL 可以使用pip安装： pip install -e git+https://github.com/garydoranjr/pyddl.git#egg=pyddl 或通过运行安装脚本： python setup.py install 关于 这是我为 AI 课堂作业编写的类似 STRIPS 的规划器。 规划域和问题在 Python 中指定，其方式旨在让人联想到 PDDL。 但是，仅实现了一小部分类似于 PDDL 的构造。 规划是使用A*搜索进行的，但并没有花费太多精力来优化搜索效率。 因此，PyDDL 最适合解决较小的问题。 用法 规划域被指定为一个Domain对象，并采用一个Action对象列表。 与 PDDL 不同，谓词不需要显式定义。 Actio
pddl-instances:DL涵盖国际计划竞赛的PDDL实例
05-06
PDDL基准实例 涉及国际计划竞赛的PDDL实例 概述 该存储库以一致的结构包含PDDL基准实例。 当前，该存储库涵盖了国际规划竞赛（IPC）的基准实例。 格式 对于每个IPC域，都有一个顶级自述文件，其中包含对该域的非正式描述。 问题的实例驻留在instances子目录和的形式为instance-x.pddl ，其中x ≥1（没有前导零）。 对于大多数域，所有实例只有一个域描述domain.pddl 。 在某些情况下，会为每个实例提供适当的域，在这种情况下，域描述存储在domains子目录中。 国际规划比赛 除非另有说明，否则以下国际计划竞赛将完全涵盖。 （7个域，14个变体） （5个域，12个变体） （8个域，48个变体），没有未类型的变体 （8个域，47个变体），确定性跟踪 （7个域，50个变体），确定性跟踪 （11个域，41个变体），确定性跟踪 （19个域
pDDL.Operating Manual.v1.2.2 .pdf
11-22
PDDL电台用户手册
strips-fiddle:使用 PDDL 进行 STRIPS AI 规划的在线编辑器。 用meteor.js 创建
05-30
带-提琴 使用创建人工智能规划程序的在线编辑器。 直接在网络浏览器中运行您最喜欢的 STRIPS PDDL 程序。 在尝试一下 如果您不熟悉 STRIPS 自动规划，这里有一个很棒的可以帮助您入门。 STRIPS-Fiddle 由 node.js 库提供支持。
acumos-planners:如何在ACUMOS中构建和使用PDDL规划器
03-20
>这个项目包含一个ACUMOS分量，充当GRPC服务器，能够拨打电话PDDL行动策划者（ ff ， fd ， popf和optic现在）。这更多地是关于如何将PDDL Planner集成到可用于ACUMOS混合管道的docker中的概念证明。如果要在本地...
致CSDN读者的一些话：感恩这十年的陪伴，不负遇见，短暂消失
热门推荐
杨秀璋的专栏
04-28 3万+
有人说，世间一切，都是遇见，都是机缘。是啊，因为CSDN，我与很多人成为了好朋友，虽未谋面，但这种默默鼓励、相互分享的感觉真好；因为CSDN，我人生进度条八分之一（十年）的许多故事在这里书写，笔耕不辍，也算不得辜负时光吧；因为CSDN，我更珍惜每一位博友、每一位朋友、每一位老师，解答大家的问题，鼓励考研或找工作失败的人继续战斗；因为CSDN，我认识了女神，并分享了许多我们一家的故事。感恩遇见，不负青春。
[当人工智能遇上安全] 6.基于机器学习的入侵检测和攻击识别——以KDD CUP99数据集为例
杨秀璋的专栏
10-24 2万+
首先，祝大家1024程序员节快乐，祝CSDN越来越好，感谢大家十年的陪伴。基于机器学习的恶意代码检测方法一直是学界研究的热点。由于机器学习算法可以挖掘输入特征之间更深层次的联系，更加充分地利用恶意代码的信息，因此基于机器学习的恶意代码检测往往表现出较高的准确率，并且一定程度上可以对未知的恶意代码实现自动化的分析。下面让我们开始进行系统的介绍吧~
[Python人工智能] 六.神经网络的评价指标、特征标准化和特征选择
杨秀璋的专栏
06-12 2万+
从本系列文章开始，作者正式开始研究Python深度学习、神经网络及人工智能相关知识。前五篇文章讲解了神经网络基础概念、Theano库的安装过程及基础用法、theano实现回归神经网络、theano实现分类神经网络、theano正规化处理，这篇文章讲解神经网络的评价指标、特征标准化和特征选择，均是基础性知识。主要是学习"莫烦大神" 网易云视频的在线笔记，后面随着深入会讲解具体的项目及应用。基础性文章和在线笔记，希望对您有所帮助，本系列作者采用一篇基础一篇代码的形式讲解，也建议大家一步步跟着
用PDDL语言实现农夫过河问题的规划
最新发布
04-28
好的，农夫过河问题可以用PDDL语言进行规划，以下是一个简单的PDDL实现： ``` (define (problem farmer-crossing) (:domain farmer-crossing) (:objects farmer - person wolf - animal goat - animal cabbage - vegetable left - location right - location) (:init (at farmer left) (at wolf left) (at goat left) (at cabbage left) (opposite left right)) (:goal (and (at farmer right) (at wolf right) (at goat right) (at cabbage right))) (:action cross-farmer :parameters () :precondition (at farmer here) :effect (and (at farmer there) (not (at farmer here)))) (:action cross-wolf :parameters () :precondition (and (at farmer here) (at wolf here)) :effect (and (at wolf there) (not (at wolf here)))) (:action cross-goat :parameters () :precondition (and (at farmer here) (at goat here)) :effect (and (at goat there) (not (at goat here)))) (:action cross-cabbage :parameters () :precondition (and (at farmer here) (at cabbage here)) :effect (and (at cabbage there) (not (at cabbage here)))) (:action return-farmer :parameters () :precondition (at farmer there) :effect (and (at farmer here) (not (at farmer there)))) (:action return-wolf :parameters () :precondition (and (at farmer there) (at wolf there)) :effect (and (at wolf here) (not (at wolf there)))) (:action return-goat :parameters () :precondition (and (at farmer there) (at goat there)) :effect (and (at goat here) (not (at goat there)))) (:action return-cabbage :parameters () :precondition (and (at farmer there) (at cabbage there)) :effect (and (at cabbage here) (not (at cabbage there)))) (:predicate opposite :parameters (?x ?y) :precondition () :effect (or (and (eq ?x left) (eq ?y right)) (and (eq ?x right) (eq ?y left))))) ``` 在这个例子中，我们定义了“farmer-crossing”领域，并定义了对象、初始状态和目标状态。我们还定义了动作，如“cross-farmer”、“cross-wolf”等，以及这些动作的前提条件和效果。最后，我们定义了谓词“opposite”，表示两个位置之间的关系。 通过这个PDDL实现，我们可以使用规划器来解决农夫过河问题。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Eastmount

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值