谢小波zz-优快云博客

原创【优快云博客账号搬迁告知】 - dongbox_

优快云博客账号搬迁告知目前此账号因关联手机号失效已被弃用。dongbox_ ，这是新账号链接，如有私信或其他问题请通过新账号交流。

2021-12-02 11:57:57 238

关于PDDL规划器选择，一般要看你要处理的问题，如果你是刚入门刚接触（解决Strips等问题，ADL和时态的另说）一、快速安装上手说明：1、使用VScode配合第三方插件（1）插件安装：搜索PDDL安装，同时进入插件配置安装语法检查器VAL源码地址： https://github.com/KCL-Planning/VAL插件教学视频地址（FQ）：https://www.youtube.com/channel/UCAEydtNJWPORB8eskdVrhJg（2）额外说明：线上规划器 htt

2020-05-25 12:04:10 3415 3

原创 Ubuntu18 没有Recovery Menu进入Network mode

问题：安装了个xrdp-core后忘记安装input-all库包，重启后无法使用键盘鼠标解决方法：这时候需要用到Recovery的救援模式。第一种方法：这个简单方便进入Recovery Menu后可以直接选择network模式参考地址：https://www.bugfine.com/linux/ubuntu/ubuntu-18-04-turn-on-recovery-model/第二种方法：1.进入系统命令行模式通过e进入Recovery的编辑模式，对linux开头那一行进行修改删除r

2020-05-25 11:40:52 2545

原创关于在Dockerfile文件中使用本地代理（访问宿主机）

我现在仅仅需要是构建镜像的时候使用代理，也即是用完就扔，所以我构建完镜像后会取消代理设置1.在DockerFile文件中放到前面ENV http_proxy http://127.0.0.1:{Your port}ENV https_proxy http://127.0.0.1:{Your port}在最后ENV http_proxy ""ENV https_proxy ""不起效可以尝试RUN unset http_proxy && unset htt

2020-05-11 09:57:47 7498 1

原创 PDDL的requirements整理

PDDL中Requirements是非常重要的，一般我们可以从不同版本的PDDL的all Requirements中获取到当前版本PDDL所支持的语法，同时在requirements中添加参数可以判断所使用规划器是否支持某项语法（也可以直接看规划器所对应的论文中提到的requirements入手），可以说requirements是学习每个版本PDDL不可缺少的一步。（上图为PDDL2.2的...

2019-10-28 15:35:24 1384

原创 PDDL规划器使用

关于PDDL规划器选择，一般要看你要处理的问题，如果你是刚入门刚接触（解决Strips等问题，ADL和时态的另说）使用VScode配合第三方插件加上1、VAL语法检查https://github.com/KCL-Planning/VAL，在vscode插件安装使用2、线上规划器http://planning.domains/（Vscode默认的alt+p调用规划器就是...

2019-08-05 22:23:00 2729 6

翻译 PDDL语法学习-Problem篇-3

为了支持定时初始（ timed initial）字面值，PDDL 2.2中的问题语法进行了非常简单的扩展。关键字的选择是一个有趣的选择，因为 at是一个常用的谓词名，用于指示某个可定位的位置 (at Adam Bush-House)这个关键字用于定义定时初始（ timed initial）字面值的方式意味着它不应该与使用 at作为谓词名的域发生冲突。然而，这完全取决于规划器如何分析计划。...

2019-08-05 21:57:55 921 4

翻译 PDDL语法学习-Problem篇-2

为了补充域文件的语法，必须扩展PDDL 2.1中的问题语法。PDDL 2.1中语法的一个有趣扩展是添加了一个度量（ metric）。行为类似于优化函数的 metric为计划定义了一个成本值。然后，我们表示是否希望这个指标最大化(如足球)或最小化(如高尔夫球)。先引入一个简单的例子：(define (problem rover1) (:domain rover-doma...

2019-08-05 21:57:16 1242 1

翻译 PDDL语法学习-Problem篇-1

一个 problem是规划问题的另一半。在这个领域中，我们表达问题的全局“ worldly”方面，比如我们可以执行哪些操作，以及我们计划的世界中存在哪些类型的对象。然后，通过准确定义对象的存在、它们的真实情况以及最终的目标是什么，这个问题巩固了这个表达式。一旦规划完成，我们希望世界处于什么样的状态。先引入一个简单的例子：(define (problem buildingah...

2019-08-05 21:56:48 2181 1

翻译 PDDL语法学习-Domain篇-5

与PDDL以前的所有安装一样，PDDL 3.0引入了新的要求。它还引入了定义约束的语法。约束是目标的一种形式，必须在计划的所有状态中得到满足。另外，虽然约束可能会给状态空间增加更多的复杂性，但通常它允许我们通过增加无效状态的数量来显著减少状态空间。先引入一个简单的例子：(define (domain logistics) (:requirements :prefer...

2019-08-05 21:56:09 1030 1

翻译 PDDL语法学习-Domain篇-4

PDDL2.2的域语法向域添加了非常小的更改。但是，与对PDDL的任何更新一样，它引入了新的 requirements，但惟一的新语法是派生谓词，谓词的定义方式与 actions的定义方式类似，并且在域文件的同一节中定义。先引入一个简单的实例：(define (domain railways) (:requirements :derived-predicates :t...

2019-08-05 21:55:19 1231 5

翻译 PDDL语法学习-Domain篇-3

PDDL2.1中的域语法在1.2版的基础上进行了扩展，包括两个关键的新特性，持久性操作（ durative-actions）和函数（ functions），它们被称为数值流。在1.2规范的基础上指定了额外的新需求，以允许较老的规划器识别出他们不能解决这些新领域的问题引入一个例子：(define (domain rover-domain) (:requirements :durat...

2019-08-05 21:54:45 2496 4

原创关于durative-action中的"condition"与"effect"的逻辑表达式问题

拿机器人来做例子，我init设(is_foot_use) 为True(:durative-action acion_d:parameters ():duration (= ?duration 6):condition (and (at start (not (is_foot_use)) ) (over all (is_foot_use)))...

2019-08-05 21:52:11 558

原创爬虫——隐藏的url获取教学

要爬取信息，最关键的是获取一个正确的url，有时候我们在F12看到的请求是不完整的，是掩盖了真实的url后的结果，所以我们一直找不到所需的url，那么如何获取真正的所需url，下面就拿某猪的搜索来做介绍先打开某猪网站的首页我们想要爬取旅游的信息，那就要通过搜索各个地点，查看其中的月售通过月售信息来判断这个景点在一段时间内的热度那么用爬虫的第一步是什么：获取ur...

2019-07-25 15:06:38 23532

翻译 PDDL语法学习-Domain篇-2

PDDL+为PDDL中的域引入了两种新的结构，一种是过程，另一种是 Events，本质上可以分别看作是不可控制的持续行为（ uncontrollable durative actions）和不可控制的瞬时行为（ uncontrollable instantaneous actions respectively）。引入一个实例：(define (domain ballphys...

2019-04-29 22:15:40 1491 2

翻译 PDDL语法学习-Domain篇-1

PDDL 1.2中的域文件定义了问题的“通用（universal）”方面。本质上，这些方面是不会改变的，不管我们试图解决什么特定的情况。在PDDL 1.2中，这主要是模型中可能存在的对象类型、谓词和操作。先引入一个简单的例子：(define (domain construction) (:extends building) (:requirements...

2019-04-29 22:11:11 4733 9

Dongbox