-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhotelP6.pddl
157 lines (152 loc) · 3.94 KB
/
hotelP6.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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
(define (problem hotelprob5) (:domain hotel2)
(:objects
qs1 qs2 qs3 qs4 - quartosimples
qd1 qd2 qd3 qd4 - quartoduplo
qt1 qt2 qt3 qt4 - quartotriplo
qq1 qq2 qq3 qq4 - quartoquadruplo
joao maria carla bruno - hospede
man1 wm1 man2 wm2 wm3 wm4 - hospede
amigo1 amigo2 amigo3 amigo4 - hospede
)
(:init
(= (orcamento) 2200)
(= (preco-quartoS qs1) 150)
(= (preco-quartoS qs2) 150)
(= (preco-quartoS qs3) 150)
(= (preco-quartoS qs4) 150)
(= (preco-quartoD qd1) 225)
(= (preco-quartoD qd2) 225)
(= (preco-quartoD qd3) 225)
(= (preco-quartoD qd4) 225)
(= (preco-quartoT qt1) 300)
(= (preco-quartoT qt2) 300)
(= (preco-quartoT qt3) 300)
(= (preco-quartoT qt4) 300)
(= (preco-quartoQ qq1) 370)
(= (preco-quartoQ qq2) 370)
(= (preco-quartoQ qq3) 370)
(= (preco-quartoQ qq4) 370)
(= (ocupacaoS qs1) 0)
(= (ocupacaoS qs2) 0)
(= (ocupacaoS qs3) 0)
(= (ocupacaoS qs4) 0)
(= (ocupacaoD qd1) 0)
(= (ocupacaoD qd2) 0)
(= (ocupacaoD qd3) 0)
(= (ocupacaoD qd4) 0)
(= (ocupacaoT qt1) 0)
(= (ocupacaoT qt2) 0)
(= (ocupacaoT qt3) 0)
(= (ocupacaoT qt4) 0)
(= (ocupacaoQ qq1) 0)
(= (ocupacaoQ qq2) 0)
(= (ocupacaoQ qq3) 0)
(= (ocupacaoQ qq4) 0)
(sao-casal joao maria)
(sao-casal carla bruno)
(e-casal joao)
(e-casal maria)
(e-casal carla)
(e-casal bruno)
(se-odeiam joao carla)
(se-odeiam joao wm1)
(se-odeiam joao wm2)
(se-odeiam joao wm3)
(se-odeiam joao wm4)
(se-odeiam joao bruno)
(se-odeiam joao man1)
(se-odeiam joao man2)
(se-odeiam joao amigo1)
(se-odeiam joao amigo2)
(se-odeiam joao amigo3)
(se-odeiam joao amigo4)
(se-odeiam bruno man1)
(se-odeiam bruno man2)
(se-odeiam bruno amigo1)
(se-odeiam bruno amigo2)
(se-odeiam bruno amigo3)
(se-odeiam bruno amigo4)
(se-odeiam bruno maria)
(se-odeiam bruno wm1)
(se-odeiam bruno wm2)
(se-odeiam bruno wm3)
(se-odeiam bruno wm4)
(se-odeiam carla joao)
(se-odeiam carla man1)
(se-odeiam carla man2)
(se-odeiam carla amigo1)
(se-odeiam carla amigo2)
(se-odeiam carla amigo3)
(se-odeiam carla amigo4)
(se-odeiam maria bruno)
(se-odeiam maria man1)
(se-odeiam maria man2)
(se-odeiam maria amigo1)
(se-odeiam maria amigo2)
(se-odeiam maria amigo3)
(se-odeiam maria amigo4)
(se-odeiam wm1 joao)
(se-odeiam wm1 bruno)
(se-odeiam wm1 man1)
(se-odeiam wm1 man2)
(se-odeiam wm1 amigo1)
(se-odeiam wm1 amigo2)
(se-odeiam wm1 amigo3)
(se-odeiam wm1 amigo4)
(se-odeiam wm2 joao)
(se-odeiam wm2 bruno)
(se-odeiam wm2 man1)
(se-odeiam wm2 man2)
(se-odeiam wm2 amigo1)
(se-odeiam wm2 amigo2)
(se-odeiam wm2 amigo3)
(se-odeiam wm2 amigo4)
(se-odeiam wm3 joao)
(se-odeiam wm3 bruno)
(se-odeiam wm3 man1)
(se-odeiam wm3 man2)
(se-odeiam wm3 amigo1)
(se-odeiam wm3 amigo2)
(se-odeiam wm3 amigo3)
(se-odeiam wm3 amigo4)
(se-odeiam wm4 joao)
(se-odeiam wm4 bruno)
(se-odeiam wm4 man1)
(se-odeiam wm4 man2)
(se-odeiam wm4 amigo1)
(se-odeiam wm4 amigo2)
(se-odeiam wm4 amigo3)
(se-odeiam wm4 amigo4)
)
(:goal (and
(alocado joao)
(alocado maria)
(alocado carla)
(alocado bruno)
(alocado man1)
(alocado man2)
(alocado wm1)
(alocado wm2)
(alocado wm3)
(alocado wm4)
(alocado amigo1)
(alocado amigo2)
(alocado amigo3)
(alocado amigo4)
))
;un-comment the following line if metric is needed
(:metric maximize (orcamento))
)
;(pagaoquartoduplo qd2)
;(pagaoquartotriplo qt3)
;(poenoquartotriplo wm2 wm1 wm4 qt3)
;(pagaoquartotriplo qt2)
;(poenoquartotriplo man2 amigo4 amigo1 qt2)
;(pagaoquartotriplo qt1)
;(poenoquartotriplo man1 amigo2 amigo3 qt1)
;(pagaoquartoduplo qd1)
;(poecasal carla bruno qd1)
;(poecasal joao maria qd2)
;(pagaoquartotriplo qt4)
;(poenoquartotriplo wm3 wm3 wm3 qt4)
;time: 27.607242426 seconds