All Downloads are FREE. Search and download functionalities are using the official Maven repository.

APT.all-test.Pyramid.instruct.execute-solve-procedure.attempt-abstract-solution.find-term.use-definition.soar Maven / Gradle / Ivy

sp {propose*use-definition
   (state  ^name find-term
              ^superstate )
  -( ^define )
   ( ^operator.arg 
        -^)
-->
   ( ^operator  + =)
   ( ^name use-definition)
}

sp {attempt*use-definition
   (state  ^operator.name use-definition
              ^superstate 
              ^top-state  )
   ( ^operator.arg )
   ( ^instructions.definitions  
         ^current-problem 

) ( ^term ^function ) (

^ ) --> ( ^ ) } sp {attempt*make-definition (state ^operator.name use-definition ^superstate ^top-state ) ( ^operator.arg ) -{( ^instructions.definitions ^current-problem

) (

^) ( ^term ^function )} --> ( ^define ) }