Main Page Files Productions Problem Spaces Operators Goal Hierarchy Groups Prod. By Type Todo All
Path to this file:
blocks_world/
elaborations/
monitor.soar
[src]
Go to the source for this file...
monitor*goal*achieved | Report and halt the system when the goal is achieved. |
monitor*world-state | Report changes in the world state. |
monitor*move-block | Report uses of the "move-block" operator. |
monitor*goal*achieved |
Documented at line 42 of file monitor.soar Defined at line 51 of file monitor.soar Report and halt the system when the goal is achieved.
Detailed DescriptionThe goal is achieved when the current state matches the desired goal state.
Problem Spaces: any-ps
Sourcesp {monitor*goal*achieved (state <s> ^goal <g>) (<g> ^block <ga> <gb> <gc>) (<ga> ^name a ^on <a1> ^below <a2>) (<gb> ^name b ^on <b1> ^below <b2>) (<gc> ^name c ^on <c1> ^below <c2>) (<s> ^block <a> <b> <c>) (<a> ^name a ^on <a1> ^below <a2>) (<b> ^name b ^on <b1> ^below <b2>) (<c> ^name c ^on <c1> ^below <c2>) --> (write (crlf) |The problem has been solved.|) (halt)} |
monitor*world-state |
Documented at line 9 of file monitor.soar Defined at line 19 of file monitor.soar Report changes in the world state.
Detailed DescriptionReport the state of a block. This rule fires, writes to the terminal (and retracts!) every time the 'on' and 'below' attributes for a block change.
Problem Spaces: any-ps
Sourcesp {monitor*world-state (state <s> ^block <block>) (<block> ^name <n> ^on <o> ^below <b>) --> (write (crlf) | state: |<o>| < |<n>| < |<b>||)} |
monitor*move-block |
Documented at line 25 of file monitor.soar Defined at line 34 of file monitor.soar Report uses of the "move-block" operator.
Problem Spaces: any-ps Operators: move-block
Sourcesp {monitor*move-block (state <s> ^operator <o>) (<o> ^name move-block ^block <m> ^destination <d>) --> (write (crlf) | MOVE(|<m>|,|<d>|)| )} |