Main Page Files Productions Problem Spaces Operators Goal Hierarchy Groups Prod. By Type Todo All
Path to this file:
blocks_world/
move-block.soar
[src]
Go to the source for this file...
Rules for proposing to "move a block".
We consider two cases determined by the 'below' and 'on' relations, namely moving a block to the table and moving a block to another block.
propose*move-block*to-block | |
selection*dont-move*in-place | common-sence - try not to move "in-place" blocks! |
propose*move-block*to-table |
propose*move-block*to-block |
Documented at line 20 of file move-block.soar Defined at line 32 of file move-block.soar Type: proposal
Detailed Description
Problem Spaces: any-ps Operators: move-block
Sourcesp {propose*move-block*to-block (state <s> ^block <block> {<> <block> <dest>}) (<block> ^name <a> ^below o) (<dest> ^name <b> ^below o) --> (<s> ^operator <o> + =) (<o> ^name move-block ^block <a> ^destination <b>)} |
selection*dont-move*in-place |
Documented at line 68 of file move-block.soar Defined at line 79 of file move-block.soar common-sence - try not to move "in-place" blocks! Type: selection
Problem Spaces: any-ps Operators: move-block
Sourcesp {selection*dont-move*in-place (state <s> ^operator <o> +) (<o> ^name move-block ^block <n>) (<s> ^block <b>) (<b> ^name <n> ^in-place) --> (<s> ^operator <o> <)} |
propose*move-block*to-table |
Documented at line 42 of file move-block.soar Defined at line 58 of file move-block.soar Type: proposal
Detailed Description
Problem Spaces: any-ps Operators: move-block
Sourcesp {propose*move-block*to-table (state <s> ^block <block>) (<block> ^name <a> ^on <> table ^below o) --> (<s> ^operator <o> + =) (<o> ^name move-block ^block <a> ^destination table) } |