From fd84d337bd6869a84c468868a6328e432ed9baea Mon Sep 17 00:00:00 2001 From: HombreLaser Date: Tue, 22 Nov 2022 22:35:43 -0600 Subject: Añadido dominio y ejemplo MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- domain.pddl | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 domain.pddl (limited to 'domain.pddl') diff --git a/domain.pddl b/domain.pddl new file mode 100644 index 0000000..6250683 --- /dev/null +++ b/domain.pddl @@ -0,0 +1,30 @@ +(define (domain METRO) + (:requirements :strips :typing) + (:types person + station + train) + (:predicates (at ?x - train ?y - station) + (in ?x - person ?y - train) + (on ?x - person ?y - station) + (connected ?x - station ?y - station)) + + (:action goto + :parameters (?origin - station ?destination - station ?x - train ?y - person) + :precondition (and (connected ?origin ?destination) (at ?x ?origin) (in ?y ?x)) + :effect + (and (not (in ?x ?origin)) + (at ?x ?destination) + (in ?y ?x))) ;; Person in train. + + (:action exit + :parameters (?x - train ?y - person ?destination - station) + :precondition (and (in ?y ?x) (at ?x ?destination)) + :effect + (and (not (in ?y ?x)) + (on ?y ?destination))) + + (:action getin + :parameters (?x - train ?y - person) + :precondition (and (not (in ?y ?x))) + :effect + (and (in ?y ?x)))) \ No newline at end of file -- cgit v1.2.3