经典规划PDDL-积木世界

于 2022-06-24 23:41:32 发布
阅读量496 收藏 1
点赞数 1
分类专栏： PDDL规划问题 文章标签： 人工智能 其他 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_50726065/article/details/125453897
版权

基于PDDL通用规划语言的积木世界规划求解

1 积木世界问题描述

在这里插入图片描述

2 PDDL求解

2.1 domain

在这里插入图片描述

2.2 problem

在这里插入图片描述

3 求解结果

在这里插入图片描述

早八
关注
  • 1
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
PDDL规划器使用
Dongbox
08-05 2564
关于PDDL规划器选择，一般要看你要处理的问题，如果你是刚入门刚接触（解决Strips等问题，ADL和时态的另说） 使用VScode配合第三方插件 加上 1、VAL语法检查https://github.com/KCL-Planning/VAL，在vscode插件安装使用 2、线上规划器http://planning.domains/（Vscode默认的alt+p调用规划器就是...
english-pddl-translator
05-15
英语-pddl-翻译器 这是一个简单的python软件包，可将英语输入转换为RMPL和PDDL语言。
【2023 收藏向】【PDDL/Planning/Planner-智能规划与规划器】 学习指南与工具推荐
学习者
12-02 3322
【2023】PDDL、Planner、Planning、智能规划、规划器的友好学习指南，定期更新！！！
UVa OJ 101 - The Blocks Problem (积木问题)
weixin_30318645的博客
08-04 138
Time limit: 3.000 second限时：3.000秒 Background背景 Many areas of Computer Science use simple, abstract domains for both analytical and empirical studies. For example, an early AI study of planning an...
Artificial Intelligence Planing (AIP) PDDL 人工智能规划 备考
忽逢桃林的博客
01-08 2842
文章目录classical planningDomain-Independence Automated Planning=GPSplan validation什么是planplan的最优解和次优解planner的更新换代transition systemsSTRIPSSAS+PDDLPDDL2.1 Hierachy（5 levels）PDDL2.2PDDL3PDDL+the big three p...
[AI]PDDL-汉诺塔经典规划问题
土豆大叔的博客
11-04 539
PDDL-汉诺塔经典规划问题 汉诺塔问题的描述如上图所示，其PDDL为： domain 文件： (define (domain hanoi) (:requirements :strips) (:predicates (disk ?x)(on ?x ?y)(smaller ?x ?y)(clear ?x)) (:action move :parameters (?disk ?from ?to) :precondition (and (disk ?disk) (on ?disk ?from)
pddl-instances:DL涵盖国际计划竞赛的PDDL实例
05-06
PDDL基准实例涉及国际计划竞赛的PDDL实例概述该存储库以一致的结构包含PDDL基准实例。 当前，该存储库涵盖了国际规划竞赛（IPC）的基准实例。格式对于每个IPC域，都有一个顶级自述文件，其中包含对该域的非正式描述...
PDDL-plan-validator
03-11
PDDL计划验证器 Java PDDL解析器/验证器 Compilação Com Gradle 您可以根据自己的喜好来编写程序，也可以根据需要对程序进行补充。 'gradle build'-编译Java脚本。 “渐进式运行”-执行一个有趣的demonstraçã...
PDDL-Estudos:用于以PDDL语言存储研究的存储库
04-12
PDDL研究用于以PDDL语言存储研究的存储库
PDDL4J-开源
04-26
PDDL4J是一个开放源代码库，用于促进基于PDDL（计划描述语言）的计划者的Java实现。 该库包含有关PDDL 3.0最新版本的解析器以及graphplan实现的示例。
pddlgym:将PDDL域转换为OpenAI Gym环境
05-04
PDDLGym：PDDL→OpenAI体育馆 该库由和。 通讯： 和 。 纸 请参阅该描述了PDDLGym背后的设计决策和实现细节。 地位 我们支持PDDL1.2的以下子集： 带子 打字（包括分层） 量词（永远存在） 析取（或） 平等 常数 派生谓词 我们当前不支持的显着功能包括条件效应和操作成本。 包括几个PDDL环境，例如： 推箱子 仓库 积木 钥匙和门 河内的塔 蛇 冰箱 夹爪 渡船 电梯 TSP 《我的世界》 “重新安排” “旅行” “烘烤” （带引号的环境表示我们由自己组成。未带引号的环境是标准的环境，其PDDL文件可在线获得，并进行了少量修改以支持我们的界面。） 我们还支持PPDDL语法中指定的概率效应。 包括几个PPDDL环境，例如： 河 三角轮胎世界 爆炸块 如果您有兴趣参与，请与我们取得联系！ 姐妹包： 和 。 安装 Python版本 我们需
采用PDDL的Web服务组合方法研究 (2011年)
05-12
针对单个智能（AI）规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况，基于本体描述语言（OWL-S）和规划描述语言（PDDL）结构上有极大的相似性，提出了一种将Web服务转化为PDDL描述的算法。该算法通过对OWL-S和PDDL中相应元素的转换，将Web服务组合问题成功地转换为规划问题。完成该转换后，就可自由选择AI规划器对Web服务进行组合，以查询天气信息作为组合案例，对本文提出的组合方法进行了验证，结果表明，文中所提的组合方法可用于解决Web服务组合问题，提高了AI规划器
[AI]搜索算法 规划算法PDDL 人工智能练习题汇总
土豆大叔的博客
10-24 1237
无信息搜索： 深度优先、广度优先、迭代加深搜索练习题 启发式搜索： 循环检测 Loop Check 禁止数字Forbidden Numbers 3传教士3食人族、单臂机器人、汉诺塔 启发式可采纳性练习题
uva 101
那些年
08-07 864
题意： move a onto b where a and b are block numbers, puts block a onto block b after returning any blocks that are stacked on top of blocks a and b to their initial positions.a和b都是积木的编号，先将a和b上面所有的
[PDDL人工智能] 01.PDDL规划器安装及入门详解（规划领域定义语言）
热门推荐
杨秀璋的专栏
06-11 1万+
该系列文章主要介绍PDDL人工智能知识，规划领域定义语言，是一种解决人工智能规划问题的比较前沿的方法。PDDL常用于解决智能规划问题，例如机器人将一个屋子的球搬运到另一间屋子里，通过合理的组织流程建造一间房子等。PDDL的规划任务（planning task）由五部分组成。由于自己也是初学者，所以欢迎大家批评指正，也希望文章对您有所帮助，一起加油喔~
UVa 101 - The Blocks Problem 木块问题
weixin_30246221的博客
03-26 173
如果有某位童鞋不幸看到了这篇文章，一定记着，要自己写一遍。（这很重要） 初识这道题的时候，逻辑上就不太懂题意，反反复复理解了半天也没什么思路，索性直接学习别人的代码，理解之后，自己写了一遍。前前后后花了两个半小时... 个人感觉，学习大牛的代码，然后自己写一遍会有很大的收获。（尝试过才知道）不知从哪看来的一句话说，每个大牛在菜鸟时期都曾经有一段默写别人代码的经历。 等他们成了大牛就会觉得很蠢...
The Blocks Problem (积木问题) -Uva101
eit520的专栏
03-18 2910
在计算机科学中的很多地方都会使用简单，抽象的方法来做分析和实验验究。比如在早期的规划学和机器人学的人工智能研究就利用一个积木世界，让机械臂执行操作积木的任务。
PDDL规划领域定义语言学习资料汇总
思我所
05-17 805
PDDL学习。
人工智能 一种现代方法 第10章 经典的规划问题（classical planning）
知行合一，止于至善
07-10 3542
文章目录规划问题定义(PDDL)为一个搜索问题状态空间搜索规划算法前向状态空间搜索后向相关状态搜索规划的启发式资源分享 本文旨在讲明： 1）规划问题定义（PDDL）为一个搜索问题 2）前向搜索，后向搜索，及搜索的启发式 3）从规划图获得启发式及提取规则 规划问题定义(PDDL)为一个搜索问题 Planning Domain Definition Language（简称PDDL，规划区域定义语言） ...
我们继续刚刚的话题，请用pddl实现积木世界中的move动作，现在已经实现moveToTable的动作，其中move动作中给出了两个初始参数?x ?y，你可能要用到forall和when，注意，不能增删变量，且不能额外添加函数
最新发布
05-29
好的，假设我们有以下 PDDL 领域和问题描述： ``` (define (domain blocksworld) (:requirements :strips :typing) (:types block) (:predicates (on ?x - block ?y - block) (ontable ?x - block) (clear ?x - block) (holding ?x - block)) (:action pickup :parameters (?x - block) :precondition (and (ontable ?x) (clear ?x)) :effect (and (holding ?x) (not (ontable ?x)) (not (clear ?x)))) (:action putdown :parameters (?x - block) :precondition (holding ?x) :effect (and (ontable ?x) (clear ?x) (not (holding ?x)))) (:action moveToTable :parameters (?x - block) :precondition (and (clear ?x) (not (ontable ?x))) :effect (and (ontable ?x) (not (clear ?x)))) (:action move :parameters (?x - block ?y - block) :precondition (and (clear ?x) (not (ontable ?x)) (clear ?y)) :effect (and (on ?x ?y) (clear ?x) (not (clear ?y)) (not (on ?x ?z)))) ) (define (problem blocks-4) (:domain blocksworld) (:objects a b c) (:init (ontable b) (ontable c) (clear a) (clear b) (clear c)) (:goal (and (on a b) (on b c) (ontable c)))) ``` 现在我们需要实现 `move` 动作。在 `move` 动作中，我们需要给出两个积木参数 `?x` 和 `?y`，将 `?x` 放到 `?y` 上面。 我们可以使用 `forall` 关键字来描述 “所有的积木 `?i` 都不在 `?y` 上面” 的条件，然后使用 `when` 关键字来实现 “当所有的积木 `?i` 都不在 `?y` 上面时，才可以执行 `move` 动作”。 具体来说，我们可以这样实现 `move` 动作： ``` (:action move :parameters (?x - block ?y - block) :precondition (and (clear ?x) (not (ontable ?x)) (clear ?y) (forall (?i - block) (not (on ?i ?y)))) :effect (and (on ?x ?y) (clear ?x) (not (clear ?y)) (forall (?i - block) (when (on ?i ?x) (not (on ?i ?y)))) (not (on ?x ?z)))) ``` 其中，`(forall (?i - block) (not (on ?i ?y)))` 表示所有的积木 `?i` 都不在 `?y` 上面，`(forall (?i - block) (when (on ?i ?x) (not (on ?i ?y))))` 表示所有在 `?x` 上面的积木 `?i` 都被移动到了 `?y` 上面。

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值