forked from aibasel/pyperplan
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtask04.pddl
133 lines (106 loc) · 2.76 KB
/
task04.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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
; woodworking task with 6 parts and 140% wood
; Machines:
; 1 grinder
; 1 glazer
; 1 immersion-varnisher
; 1 planer
; 1 highspeed-saw
; 1 spray-varnisher
; 1 saw
; random seed: 240917
(define (problem wood-prob)
(:domain woodworking)
(:objects
grinder0 - grinder
glazer0 - glazer
immersion-varnisher0 - immersion-varnisher
planer0 - planer
highspeed-saw0 - highspeed-saw
spray-varnisher0 - spray-varnisher
saw0 - saw
blue red mauve white - acolour
beech teak - awood
p0 p1 p2 p3 p4 p5 - part
b0 b1 b2 - board
s0 s1 s2 s3 s4 s5 s6 s7 s8 - aboardsize
)
(:init
(grind-treatment-change varnished colourfragments)
(grind-treatment-change glazed untreated)
(grind-treatment-change untreated untreated)
(grind-treatment-change colourfragments untreated)
(is-smooth smooth)
(is-smooth verysmooth)
(boardsize-successor s0 s1)
(boardsize-successor s1 s2)
(boardsize-successor s2 s3)
(boardsize-successor s3 s4)
(boardsize-successor s4 s5)
(boardsize-successor s5 s6)
(boardsize-successor s6 s7)
(boardsize-successor s7 s8)
(has-colour glazer0 blue)
(has-colour glazer0 white)
(has-colour immersion-varnisher0 blue)
(has-colour immersion-varnisher0 white)
(has-colour immersion-varnisher0 red)
(empty highspeed-saw0)
(has-colour spray-varnisher0 blue)
(has-colour spray-varnisher0 white)
(has-colour spray-varnisher0 red)
(unused p0)
(goalsize p0 medium)
(unused p1)
(goalsize p1 medium)
(unused p2)
(goalsize p2 medium)
(available p3)
(colour p3 blue)
(wood p3 teak)
(surface-condition p3 verysmooth)
(treatment p3 varnished)
(goalsize p3 large)
(unused p4)
(goalsize p4 small)
(unused p5)
(goalsize p5 medium)
(boardsize b0 s8)
(wood b0 beech)
(surface-condition b0 smooth)
(available b0)
(boardsize b1 s4)
(wood b1 beech)
(surface-condition b1 rough)
(available b1)
(boardsize b2 s2)
(wood b2 teak)
(surface-condition b2 rough)
(available b2)
)
(:goal
(and
(available p0)
(colour p0 white)
(wood p0 beech)
(available p1)
(wood p1 beech)
(treatment p1 glazed)
(available p2)
(colour p2 blue)
(wood p2 beech)
(surface-condition p2 verysmooth)
(available p3)
(colour p3 red)
(wood p3 teak)
(surface-condition p3 verysmooth)
(treatment p3 varnished)
(available p4)
(wood p4 teak)
(surface-condition p4 smooth)
(treatment p4 glazed)
(available p5)
(wood p5 beech)
(treatment p5 varnished)
)
)
)