aiddl-test.planning.state-variable.data-collection.problem-03.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.data-collection.p-03)

(#req Domain "domain.aiddl")

(State@CP                 s
   {(at):station (adj station loc-1):true (adj loc-1 station):true (adj loc-1 loc-2):true (adj loc-2 loc-1):true (adj loc-2 loc-3):true (adj loc-3 loc-2):true (is-config c1):true (is-config c2):true (is-config c3):true (config loc-1):c1 (config loc-2):c1 (config loc-3):c1 (sample slot-1):empty (sample slot-2):empty (sample slot-3):empty}
  )

(Goal@CP                  g
     {(collected (data loc-3 c1)):true}
  )

(Problem@CP problem
  (
    operators     : O@Domain,
    initial-state : $s,
    goal          : $g))