FightCode - Space Apps Challenge

Team Updates

APLICACIÓN DE TECNICAS DE PLANIFICACIÓN AUTOMÁTICA PARA LA RESOLUCIÓN DE PROBLEMAS EN ESCENARIOS DE INUNDACIÓN

E

Estefany Diez

      
        (define (domain ruta_escape)
      
         (:requiriments :strips :typing)
      
         (:types ubicacion localizable - objeto
      
                persona vehiculo area - localizable)
      
        )
      
        (:predicates
      
         (at ?persona - localizable ?loc- ubicacion )
      
         (in ?persona1 - persona  ?unvehiculo - vehiculo)
      
         (disponible ?unvehiculo - vehiculo )
      
         (evacuar ?persona - persona)
      
         (distancia ?desde - ubicacion ?para -ubicacion)
      
         (maximacapacidad ?unvehiculo - vehiculo)
      
        )
      
        (:action move
      
          :parameters (?persona - persona
      
                       ?loc - ubicacion
      
                       ?unvehiculo - vehiculo
      
                       ?origen - ubicacion
      
                       ?destino - ubicacion
      
          )
      
          :precondition (and (at start ( at ?vehiculo ?origen))
      
                        (at start (> (maximacapacidad ?vehiculo) (0)))
      
                        (at start(disponible ?unvehiculo)))
      
          :effect (and (at start (not (at ?unvehiculo ?origen)))
      
                   (at end (at ?unvehiculo ?destino))
      
        )

view raw fichero del dominio en PDDL hosted with ❤ by GitHub

Keysi

      
        (define (domain ruta_escape)
      
         (:requiriments :strips :typing)
      
         (:types ubicacion localizable - objeto
      
                persona vehiculo area - localizable)
      
        )
      
        (:predicates
      
         (at ?persona - localizable ?loc- ubicacion )
      
         (in ?persona1 - persona  ?unvehiculo - vehiculo)
      
         (disponible ?unvehiculo - vehiculo )
      
         (evacuar ?persona - persona)
      
         (distancia ?desde - ubicacion ?para -ubicacion)
      
         (maximacapacidad ?unvehiculo - vehiculo)
      
        )
      
        (:action move
      
          :parameters (?persona - persona
      
                       ?loc - ubicacion
      
                       ?unvehiculo - vehiculo
      
                       ?origen - ubicacion
      
                       ?destino - ubicacion
      
          )
      
          :precondition (and (at start ( at ?vehiculo ?origen))
      
                        (at start (> (maximacapacidad ?vehiculo) (0)))
      
                        (at start(disponible ?unvehiculo)))
      
          :effect (and (at start (not (at ?unvehiculo ?origen)))
      
                   (at end (at ?unvehiculo ?destino))
      
        )

view raw fichero del dominio en PDDL hosted with ❤ by GitHub

Keysi

Modificando y compilando ejemplos, sin avances!

Zulibeth Barrios

:(

Marlene Garibaldi

Problems in the programming of the pddl!

Zulibeth Barrios

Marlene Garibaldi

I

Isidro

trabajando para dar una buena solución a los desastres naturales

I

Isidro

Space Apps Challenge 2018

FightCode | Don’t Forget the Can Opener!

Team Updates

	(define (domain ruta_escape)
	(:requiriments :strips :typing)
	(:types ubicacion localizable - objeto
	persona vehiculo area - localizable)
	)

	(:predicates
	(at ?persona - localizable ?loc- ubicacion )
	(in ?persona1 - persona ?unvehiculo - vehiculo)
	(disponible ?unvehiculo - vehiculo )
	(evacuar ?persona - persona)
	(distancia ?desde - ubicacion ?para -ubicacion)
	(maximacapacidad ?unvehiculo - vehiculo)

	)

	(:action move
	:parameters (?persona - persona
	?loc - ubicacion
	?unvehiculo - vehiculo
	?origen - ubicacion
	?destino - ubicacion
	)
	:precondition (and (at start ( at ?vehiculo ?origen))
	(at start (> (maximacapacidad ?vehiculo) (0)))
	(at start(disponible ?unvehiculo)))

	:effect (and (at start (not (at ?unvehiculo ?origen)))
	(at end (at ?unvehiculo ?destino))
	)