原创 PDDL規劃器使用
關於PDDL規劃器選擇，一般要看你要處理的問題，如果你是剛入門剛接觸（解決Strips等問題，ADL和時態的另說），我建議 使用VScode配合第三方插件 （寫插件的大佬人賊好，github反映了個bug，一週內就有反饋並上傳了新版本）
2019-08-07 03:10:32
27
原创 PDDL語法學習-Problem篇-1
一個 problem 是規劃問題的另一半。在這個領域中，我們表達問題的全局“ worldly”方面，比如我們可以執行哪些操作，以及我們計劃的世界中存在哪些類型的對象。 然後，通過準確定義對象的存在、它們的真實情況以及最終的目標是什麼，這個
2019-08-06 02:32:48
6
原创 PDDL語法學習-Domain篇-4
PDDL2.2的域語法向域添加了非常小的更改。但是，與對PDDL的任何更新一樣，它引入了新的 requirements，但惟一的新語法是派生謂詞，謂詞的定義方式與 actions 的定義方式類似，並且在域文件的同一節中定義。 先引入一個簡
2019-08-06 02:32:48
2
原创 PDDL語法學習-Problem篇-3
爲了支持定時初始（ timed initial）字面值，PDDL 2.2中的問題語法進行了非常簡單的擴展。關鍵字的選擇是一個有趣的選擇，因爲 at 是一個常用的謂詞名，用於指示某個可定位的位置 (at Adam Bush-House) 這
2019-08-06 02:32:48
原创 PDDL語法學習-Domain篇-5
與PDDL以前的所有安裝一樣，PDDL 3.0引入了新的要求。它還引入了定義約束的語法。約束是目標的一種形式，必須在計劃的所有狀態中得到滿足。 另外，雖然約束可能會給狀態空間增加更多的複雜性，但通常它允許我們通過增加無效狀態的數量來顯著減
2019-08-06 02:32:48
23
原创 PDDL語法學習-Domain篇-3
PDDL2.1中的域語法在1.2版的基礎上進行了擴展，包括兩個關鍵的新特性，持久性操作（ durative-actions）和函數（ functions），它們被稱爲數值流。在1.2規範的基礎上指定了額外的新需求，以允許較老的規劃器識別出
2019-08-06 02:32:48
31
原创 PDDL語法學習-Problem篇-2
爲了補充域文件的語法，必須擴展PDDL 2.1中的問題語法。PDDL 2.1中語法的一個有趣擴展是添加了一個度量（ metric）。行爲類似於優化函數的 metric 爲計劃定義了一個成本值。然後，我們表示是否希望這個指標最大化(如足球)
2019-08-06 02:32:48
1
原创 關於durative-action中的"condition"與"effect"的邏輯表達式問題
拿機器人來做例子，我init設(is_foot_use) 爲True (:durative-action acion_d :parameters () :duration (= ?duration 6) :condition (and
2019-08-06 02:32:48
原创 爬蟲——隱藏的url獲取教學
要爬取信息，最關鍵的是獲取一個正確的url，有時候我們在F12看到的請求是不完整的，是掩蓋了真實的url後的結果，所以我們一直找不到所需的url，那麼如何獲取真正的所需url，下面就拿某豬的搜索來做介紹 先打開某豬網站的首頁 我們想
2019-07-30 01:41:20
10
原创 PDDL語法學習-Domain篇-1
PDDL 1.2中的域文件定義了問題的“通用（universal）”方面。本質上，這些方面是不會改變的，不管我們試圖解決什麼特定的情況。在PDDL 1.2中，這主要是模型中可能存在的對象類型、謂詞和操作。 先引入一個簡單的例子：
2019-05-01 00:53:24
16
原创 PDDL語法學習-Domain篇-2
PDDL+爲PDDL中的域引入了兩種新的結構，一種是過程，另一種是 Events，本質上可以分別看作是不可控制的持續行爲（ uncontrollable durative actions）和不可控制的瞬時行爲（ uncontrollabl
2019-05-01 00:53:24
6
原创 python+openCV實現圖像追蹤加輪廓(1)
百度了一下，發現了openCV實現動態追蹤的兩種方法，然後下了箇中文版python-openCV的文檔來查看每個函數的用法,現在做出了第一種方法的識別，原理是根據闕值來跟蹤，也就是遍歷每一幀根據顏色來跟蹤，很簡單的方法，文檔中的已經可以實
2018-08-22 16:39:22
12
原创 算法設計-分治法解決多重數問題（目前沒有bug）
ps:下面是我上網找來後進行修改的，之前會出現結果出錯的問題，修改了cnt的賦值之後就可以了，但是！！！這個程序還有個bug沒解決，就是對數組元素的中位數有重數的運算不會出錯，沒有的話就會陷入死循環，問題應該在於分割數組那
2018-08-22 16:39:21
原创 tp5框架下的阿里雲短信後端
下個完整的SDK之後，在這個文件下建一個文件第一種是將阿里雲給的smsdemo裏面用到發短信的方法拿出來<?php /** * Created by PhpStorm. * User: bobo * Date: 2018/3/7
2018-08-22 16:39:21
3
原创 python結合第三方庫bs4初次嘗試爬取聚合數據api信息
運用bs4來爬取聚合數據api的所有信息https://www.juhe.cn/docsimport urllib import urllib.request import urllib.parse from bs4 import Bea
2018-08-22 16:39:21
1