Main Page   Files   Productions   Problem Spaces   Operators   Goal Hierarchy   Groups   Prod. By Type   Todo   All  


monitor.soar

Path to this file:
     blocks_world/
         elaborations/
             monitor.soar [src]

Go to the source for this file...

Productions

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.


Production Documentation

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 Description

The goal is achieved when the current state matches the desired goal state.

Problem Spaces: any-ps

Source

sp {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 Description

Report 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

Source

sp {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

Source

sp {monitor*move-block
   (state <s> ^operator <o>)
   (<o> ^name move-block
        ^block <m>
        ^destination <d>)
-->
   (write (crlf) | MOVE(|<m>|,|<d>|)| )}


Generated with SoarDoc on Mon Jan 24 15:38:25 2005 by richard