APT.all-test.blocks-world.blocks-world-operator-subgoaling.search-control.soar Maven / Gradle / Ivy

Go to download

# Prefer moving block that achieves desired state

sp {blocks-world*prefer*clear-block 
   (state  ^operator  + 
              ^desired.clear 
              ^ontop )
   ( ^top-block  
         ^bottom-block )
   ( ^moving-block 
        ^destination <> )
   -->
   ( ^operator  >)}

sp {blocks-world*prefer*ontop 
   (state  ^operator  + 
              ^desired.ontop )
   ( ^top-block  
         ^bottom-block )
   ( ^moving-block 
        ^destination )
   -->
   ( ^operator  >)}


sp {blocks-world*avoid*clobbering*clear-block 
   (state  ^operator  + 
              ^desired.clear )
   ( ^destination )
   -->
   ( ^operator  <)}