From 658f524d131eb4fba10baf58e8dd8cdf303c731d Mon Sep 17 00:00:00 2001 From: HombreLaser Date: Thu, 24 Nov 2022 20:35:46 -0600 Subject: Añadido goto inverso MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- domain.pddl | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'domain.pddl') diff --git a/domain.pddl b/domain.pddl index 6250683..6c4e364 100644 --- a/domain.pddl +++ b/domain.pddl @@ -12,10 +12,18 @@ :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)) + (and (not (at ?x ?origin)) (at ?x ?destination) (in ?y ?x))) ;; Person in train. + (:action gofrom + :parameters (?destination - station ?origin - station ?x - train ?y - person) + :precondition (and (connected ?destination ?origin) (at ?x ?origin) (in ?y ?x)) + :effect + (and (not (at ?x ?origin)) + (at ?x ?destination) + (in ?y ?x))) + (:action exit :parameters (?x - train ?y - person ?destination - station) :precondition (and (in ?y ?x) (at ?x ?destination)) -- cgit v1.2.3