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

(#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 c2)) : true
  })

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