為了支援定時初始（
timed initial
）字面值，
pddl 2.2
中的問題語法進行了非常簡單的擴充套件。關鍵字的選擇是乙個有趣的選擇，因為
at是乙個常用的謂詞名，用於指示某個可定位的位置
(at adam bush-house)
這個關鍵字用於定義定時初始（
timed initial
）字面值的方式意味著它不應該與使用
at作為謂詞名的域發生衝突。然而，這完全取決於規劃器如何分析計畫。
先引入乙個簡單的例子：
(define
(problem trainplanning1)
(:domain railways)
(:objects
pompey guildford london - station
train1 train2 - train )
(:init
(train-
not-in-use train1)
(at
20 (train-
not-in-use train2)) )
... goal omitted )
內容
timed initial literals
(at ) 使用
time
關鍵字定義
timed initial
的初始文字，然後是謂詞變為
true
的時間點的值，然後是謂詞本身。
在計畫中，時間只是乙個數字，沒有對它所代表的範圍做任何假設，因此寫一些東西，比如10可以表示10秒，分鐘，甚至是小時。
最終，建模使用者的責任是確定他們希望將模型對映到什麼範圍，從而確定他們獲得的時間精確度的「解析度」。
(at 20 (train-not-in-use train2))
上述宣告表示，在某一時刻，2號列車將不再使用
references
來自 <>
PDDL語法學習 Domain篇 2
pddl 為pddl中的域引入了兩種新的結構，一種是過程，另一種是 events 本質上可以分別看作是不可控制的持續行為 uncontrollable durative actions 和不可控制的瞬時行為 uncontrollable instantaneous actions respectiv...
PDDL語法學習 Domain篇 4
pddl2.2 的域語法向域新增了非常小的更改。但是，與對 pddl 的任何更新一樣，它引入了新的 requirements 但惟一的新語法是派生謂詞，謂詞的定義方式與 actions 的定義方式類似，並且在域檔案的同一節中定義。先引入乙個簡單的例項 define domain railways r...
markdown語法學習
markdown是純文字格式的語法，支援轉換為html，可以幫助整理知識 學習筆記 markdown的段落是由若干行文字組成，前後由空行隔開 普通段落不該用空格或製表符縮排 markdown支援兩種標題樣式 setext和atx setext風格的標題用符號 first level 和 second...