
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 )
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy