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


observe.soar

elaborations/
     observe.soar [src]

Go to the documentation for this file...

00001 
00002 ##!
00003 # @file elaborations/observe.soar
00004 # @brief Make observations about the current state.
00005 # @desc
00006 #   
00007 
00008 ##!
00009 # @production observe*block*in-place*1
00010 # @brief Notice that a block is "in-place" (base case).
00011 #
00012 # @desc <blockquote><i>
00013 #   A block is "in-place" when it is on the table as intended.
00014 # </i></blockquote> 
00015 # @problem-space any-ps
00016 
00017 sp {observe*block*in-place*1
00018    (state <s> ^goal.block <gb>)
00019    (<gb> ^name <n> ^on table)
00020    (<s> ^block <b>)
00021    (<b> ^name <n> ^on table)
00022 -->
00023    (<b> ^in-place 1)
00024 
00025 }
00026 
00027 ##!
00028 # @production observe*block*in-place*2
00029 # @brief Notice that a block is "in-place" (step).
00030 #
00031 # @desc <blockquote><i>
00032 #   A block is "in-place" when it is on the right block and
00033 #   this block is "in-place".
00034 # </i></blockquote> 
00035 # @problem-space any-ps
00036 
00037 sp {observe*block*in-place*2
00038    (state <s> ^goal.block <gb>)
00039    (<gb> ^name <n> ^on <on>)
00040    (<s> ^block <b1> <b2>)
00041    (<b1> ^name <n> ^on <on>)
00042    (<b2> ^name <on> ^in-place)
00043 -->
00044    (<b1> ^in-place 1)}
00045 
00046 
00047 

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