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


initialise.soar

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

Go to the source for this file...

Productions

propose*initialise  Initialise the (internalised) Blocks World problem space.
apply*initialise  Initialise the (internalised) Blocks World problem space.


Production Documentation

propose*initialise

Documented at line 2 of file initialise.soar
Defined at line 12 of file initialise.soar

Initialise the (internalised) Blocks World problem space.

Type: proposal

Detailed Description

Propose to initialise the system...

Problem Spaces: any-ps

Source

sp {propose*initialise
    (state <s> ^name blocks_world
                -^initialised)
-->
    (<s> ^operator <o>)
    (<o> ^name initialise)}

apply*initialise

Documented at line 20 of file initialise.soar
Defined at line 32 of file initialise.soar

Initialise the (internalised) Blocks World problem space.

Type: operator-application

Detailed Description

This rule sets up the initial state of the blocks and the goal state, i.e. it creates the initial "block" structures, after which we may begin proposing the block movements and solve the problem.

Problem Spaces: any-ps

Source

sp {apply*initialise
    (state <s> ^operator.name initialise)
-->
    (<s> ^initialised yes)
    # Initial State
    (<s> ^block <a> <b> <c>)
    (<a> ^name a ^on table ^below o)
    (<b> ^name b ^on table ^below o)
    (<c> ^name c ^on table ^below o)
    (write (crlf) |Initial state has A, B & C on the table.|)
    # Goal State
    (<s> ^goal <g>)
    (<g> ^block <ga> <gb> <gc>)
    (<ga> ^name a ^on b     ^below o)
    (<gb> ^name b ^on c     ^below a)
    (<gc> ^name c ^on table ^below b)
    (write (crlf) |The goal is to get A on B on C on the table.|)}


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