-
Notifications
You must be signed in to change notification settings - Fork 1
/
domain-basico.pddl
33 lines (28 loc) · 1.03 KB
/
domain-basico.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
; Dominio de la practica de planificacion de IA.
; Version basica (Prerrequisitos limitados). En realidad es el mismo dominio que la extension 1.
; Recomendaciones VSCode: descargar extension PDDL
(define (domain Lectura)
(:requirements :adl :typing)
(:types
libro mes - object
)
(:predicates
(predecesor ?pre - libro ?post - libro)
(asignado ?l - libro)
(leyendo ?l - libro ?m - mes)
(anterior ?ant - mes ?post - mes)
(leido ?l - libro)
(quiere_leer ?l - libro)
)
(:action leer
:parameters (?l - libro ?mact - mes)
:precondition (and
(not (asignado ?l))
(not (leido ?l))
; Verifica que todos los prerequisitos se han asignado a meses previos al actual
(forall (?pre - libro) (imply (predecesor ?pre ?l)
(or (leido ?pre) (exists (?mpre - mes) (and (leyendo ?pre ?mpre) (anterior ?mpre ?mact)) ))))
)
:effect (and (asignado ?l) (leyendo ?l ?mact))
)
)