Main Page Files Productions Problem Spaces Operators Goal Hierarchy Groups Prod. By Type Todo All
Path to this file:
initialise.soar
[src]
Go to the source for this file...
propose*initialise | Initialise the (internalised) Blocks World problem space. |
apply*initialise | Initialise the (internalised) Blocks World problem space. |
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 DescriptionPropose to initialise the system...
Problem Spaces: any-ps
Sourcesp {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 DescriptionThis 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
Sourcesp {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.|)} |