-
Notifications
You must be signed in to change notification settings - Fork 0
/
problem3.pddl
37 lines (34 loc) · 1.46 KB
/
problem3.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
(define (problem problem1) (:domain base)
(:objects
w1 - waiter
drink1 drink2 drink3 drink4 - drink
br - bar
table1 table2 table3 table4 - table
)
(:init
(at w1 br) (free w1)
(at drink1 br) (at drink2 br) (at drink3 br) (at drink4 br)
(empty drink1) (empty drink2) (empty drink3) (empty drink4)
(warm drink1) (warm drink2) (warm drink3) (warm drink4)
(= (dist br table1) 2) (= (dist br table2) 2) (= (dist br table3) 3) (= (dist br table4) 3)
(= (dist table1 br) 2) (= (dist table2 br) 2) (= (dist table3 br) 3) (= (dist table4 br) 3)
(= (dist table1 table2) 1) (= (dist table1 table3) 1) (= (dist table1 table4) 1)
(= (dist table2 table3) 1) (= (dist table2 table4) 1) (= (dist table2 table1) 1)
(= (dist table3 table4) 1) (= (dist table3 table1) 1) (= (dist table3 table2) 1)
(= (dist table4 table1) 1) (= (dist table4 table2) 1) (= (dist table4 table3) 1)
(= (capacity w1) 1)
(= (carrying w1) 0)
(= (dist_to_goal w1) 0)
(= (preparation_time) 0)
(= (size table1) 1) (= (size table2) 1) (= (size table3) 2) (= (size table4) 1)
(= (time_to_clean table1) 0) (= (time_to_clean table2) 0) (= (time_to_clean table3) 0) (= (time_to_clean table4) 0)
(clean table1) (clean table2) (clean table4)
)
(:goal (and
(at drink1 table1) (at drink2 table1) (at drink3 table4) (at drink4 table4)
(clean table3)
(not (using_tray w1))
))
;un-comment the following line if metric is needed
;(:metric minimize (???))
)