aiddl-test.planning.state-variable.dock-worker-robot.problem-02.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.dwr.p02)

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

(^State@SVP S0
  {
    (belong crane1 loc1) : true
    (belong crane2 loc2) : true
    (belong crane3 loc3) : true

    (attached p1a loc1) : true
    (attached p1b loc1) : true
    (attached p1c loc1) : true

    (attached p2a loc2) : true
    (attached p2b loc2) : true
    (attached p2c loc2) : true

    (attached p3a loc3) : true
    (attached p3b loc3) : true
    (attached p3c loc3) : true

    (empty crane1) : true
    (empty crane2) : true
    (empty crane3) : true 

    (in c11 p1a) : true
    (in c12 p1a) : true
    (top c11 p1a) : true
    (on c11 c12) : true    
    (on c12 pallet) : true
    (top pallet p1b) : true
    (top pallet p1c) : true
    

    ;; (in c21 p2a) : true
    ;; (in c22 p2a) : true
    ;; (in c23 p2a) : true   
    ;; (top c21 p2a) : true
    ;; (on c21 c22) : true        
    ;; (on c22 c23) : true    
    ;; (on c23 pallet) : true
    ;; (top pallet p2b) : true
    ;; (top pallet p2c) : true
    

    ;; (in c31 p3a) : true
    ;; (in c32 p3a) : true
    ;; (in c33 p3a) : true
    ;; (in c34 p3a) : true       
    ;; (top c31 p3a) : true
    ;; (on c31 c32) : true            
    ;; (on c32 c33) : true        
    ;; (on c33 c34) : true    
    ;; (on c34 pallet) : true
    ;; (top pallet p3b) : true
    ;; (top pallet p3c) : true

  })

(^Goal@SVP G
  {
    (on c11 c12) : true
    (on c12 pallet) : true
    (in c12 p1c) : true

    ;; (on c21 c22) : true
    ;; (on c22 c23) : true
    ;; (on c23 pallet) : true
    ;; (in c23 p2c) : true

    ;; (on c31 c32) : true
    ;; (on c32 c33) : true
    ;; (on c33 c34) : true   
    ;; (on c34 pallet) : true
    ;; (in c34 p3c) : true

  }
)

(^Problem@SVP problem
  (
    operators:O@DWR
    initial-state:$S0
    goal:$G
  )
)

(org.aiddl.eval.type.tuple call (plan $S0 $G O@DWR org.aiddl.examples.run-module))