-
Notifications
You must be signed in to change notification settings - Fork 1
/
base-viejo.pddl
132 lines (126 loc) · 4.27 KB
/
base-viejo.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
; Fichero de problema base
(define (problem Libros-base)
(:domain Lectura)
(:objects
Enero Febrero Marzo Abril Mayo Junio Julio Agosto Septiembre Octubre Noviembre Diciembre - mes
Libro1 Libro2 Libro3 Libro4 Par1 - quiereL
Libro0 Par2 Par3 - otrosL
)
(:init
; Informacion universal
(inm_anterior Enero Febrero)
(inm_anterior Febrero Marzo)
(inm_anterior Marzo Abril)
(inm_anterior Abril Mayo)
(inm_anterior Mayo Junio)
(inm_anterior Junio Julio)
(inm_anterior Julio Agosto)
(inm_anterior Agosto Septiembre)
(inm_anterior Septiembre Octubre)
(inm_anterior Octubre Noviembre)
(inm_anterior Noviembre Diciembre)
(anterior Enero Febrero)
(anterior Enero Marzo)
(anterior Enero Abril)
(anterior Enero Mayo)
(anterior Enero Junio)
(anterior Enero Julio)
(anterior Enero Agosto)
(anterior Enero Septiembre)
(anterior Enero Octubre)
(anterior Enero Noviembre)
(anterior Enero Diciembre)
(anterior Febrero Marzo)
(anterior Febrero Abril)
(anterior Febrero Mayo)
(anterior Febrero Junio)
(anterior Febrero Julio)
(anterior Febrero Agosto)
(anterior Febrero Septiembre)
(anterior Febrero Octubre)
(anterior Febrero Noviembre)
(anterior Febrero Diciembre)
(anterior Marzo Abril)
(anterior Marzo Mayo)
(anterior Marzo Junio)
(anterior Marzo Julio)
(anterior Marzo Agosto)
(anterior Marzo Septiembre)
(anterior Marzo Octubre)
(anterior Marzo Noviembre)
(anterior Marzo Diciembre)
(anterior Abril Mayo)
(anterior Abril Junio)
(anterior Abril Julio)
(anterior Abril Agosto)
(anterior Abril Septiembre)
(anterior Abril Octubre)
(anterior Abril Noviembre)
(anterior Abril Diciembre)
(anterior Mayo Junio)
(anterior Mayo Julio)
(anterior Mayo Agosto)
(anterior Mayo Septiembre)
(anterior Mayo Octubre)
(anterior Mayo Noviembre)
(anterior Mayo Diciembre)
(anterior Junio Julio)
(anterior Junio Agosto)
(anterior Junio Septiembre)
(anterior Junio Octubre)
(anterior Junio Noviembre)
(anterior Junio Diciembre)
(anterior Julio Agosto)
(anterior Julio Septiembre)
(anterior Julio Octubre)
(anterior Julio Noviembre)
(anterior Julio Diciembre)
(anterior Agosto Septiembre)
(anterior Agosto Octubre)
(anterior Agosto Noviembre)
(anterior Agosto Diciembre)
(anterior Septiembre Octubre)
(anterior Septiembre Noviembre)
(anterior Septiembre Diciembre)
(anterior Octubre Noviembre)
(anterior Octubre Diciembre)
(anterior Noviembre Diciembre)
; (leido Libro0)
(predecesor Libro0 Libro1)
(predecesor Libro1 Libro2)
(predecesor Libro3 Libro4)
(paralelo Par1 Par2)
(paralelo Par2 Par1)
(paralelo Par1 Par3)
(paralelo Par3 Par1)
(paralelo Par2 Par3)
(paralelo Par3 Par2)
(predecesor Par2 Libro3)
(= (paginas Libro0) 800)
(= (paginas Libro1) 800)
(= (paginas Libro2) 800)
(= (paginas Libro3) 800)
(= (paginas Libro4) 800)
(= (paginas Par1) 100)
(= (paginas Par2) 800)
(= (paginas Par3) 700)
(= (paginas-leidas Enero) 0)
(= (paginas-leidas Febrero) 0)
(= (paginas-leidas Marzo) 0)
(= (paginas-leidas Abril) 0)
(= (paginas-leidas Mayo) 0)
(= (paginas-leidas Junio) 0)
(= (paginas-leidas Julio) 0)
(= (paginas-leidas Agosto) 0)
(= (paginas-leidas Septiembre) 0)
(= (paginas-leidas Octubre) 0)
(= (paginas-leidas Noviembre) 0)
(= (paginas-leidas Diciembre) 0)
)
(:goal
; Para todos los libros que se quieren leer, asignados. Para los paralelos a los asignados, ya leidos o asignados
(and (forall (?l - quiereL) (asignado ?l))
(forall (?l - libro ?par - libro) (imply (and (asignado ?l) (paralelo ?l ?par)) (or (asignado ?par) (leido ?par))))
)
)
)