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

APT.all-test.Pyramid.instruct.execute-solve-procedure.execute-step.next-step.soar Maven / Gradle / Ivy

sp {execute-step*propose*next-step
   (state  ^name execute-step
              ^superstate )
   ( ^current-problem )
   ( ^current-step 
         ^completed-step 
        -^goal-test-success)
-->
   ( ^operator  + =)
   ( ^name next-step)
}

sp {apply*next-step
   (state  ^operator.name next-step
              ^superstate.current-problem )
   ( ^current-step )
   ( ^next )
-->
   ( ^current-step  -
                       )
}

sp {apply*next-step*clean-up*actions
   (state  ^operator.name next-step
              ^superstate.current-problem )
   ( ^completed-action )
-->
   ( ^completed-action  -)
}