aiddl-test.planning.state-variable.elevator.domain.aiddl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aiddl-common-scala Show documentation

Provides common types and algorithm implementations for the fast prototyping integrative AI systems with the AIDDL framework.

The newest version!

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; AIDDL version of the International Planning Competition (IPC) domain
;; 'Elevators' (http://www.icaps-conference.org/index.php/Main/Competitions)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(#mod self org.aiddl.test.planning.state-variable.elevator)

(#req SVP org.aiddl.common.planning.state-variable)

(^Operator@SVP move
  (name : (move ?e ?f1 ?f2)
   preconditions :
    {
      (liftAt ?e) : ?f1
      (reachable ?f2 ?e) : true
    }
   effects :
    {
      (liftAt ?e)  : ?f2
    }) )
      
(^Operator@SVP board
  (name : (board ?p ?e ?f)
   preconditions :
    {
      (liftAt ?e)  : ?f
      (passengerAt ?p)  : ?f
    }
   effects :
    {
      (passengerAt ?p)  : ?e
    }) )

(^Operator@SVP leave
  (name : (leave ?p ?e ?f)
   preconditions :
    {
      (liftAt ?e)  : ?f
      (passengerAt ?p)  : ?e
    }
   effects :
    {
      (passengerAt ?p)  : ?f
    }) )

(^Operators@SVP O { $move $board $leave })