aiddl-test.planning.state-variable.elevator.problem-04.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!

(#mod self org.aiddl.test.planning.state-variable.elevator.problem-04)

(#req P org.aiddl.common.planning.state-variable)
(#req E "domain.aiddl")

(^State@P s0 {
    (passengerAt p2) : f0
    (liftAt e1) :  f0
    (reachable f0 e1) : true
    (reachable f4 e1) : true
  })
	
(^Goal@P g {
  (passengerAt p2) :  f0
  })

(^Problem@P problem  (operators     : O@E,
                initial-state : $s0,
                goal          : $g))