HT tutorial trace 6: Learning in Soar

source {/Users/ritter/ritter/ritter-ist/papers/pst15/homeworks/exercises/ht-imps9.soar}
     0: ==>S: S1
     0: ==>S: S1
Agent reinitialized. init-soar done
*
1 production excised.***
1 production excised.*******
1 production excised.*
1 production excised.***end of ht-imps9.soar

Total: 15 productions sourced. 4 productions excised.
learn --on
learn
Learning is enabled. (all-levels) (through-local-negations)
e
e
e
e
** Top-state has ^thirsty yes
** Top-state has ^hungry yes
e
     1: ==>S: S3 (operator tie)
e
Here we are in a sub-goal
Building chunk-1*d1*tie*1
e
e
e
e
     2: O: O2 (eat)
e
          chomp chomp... 
e
** Top-state has ^hungry no
Method 1 - Finished with hungry no
Interrupt received.
This Agent halted.

An agent halted during the run.
p chunk-1*d1*tie*1
sp {chunk-1*d1*tie*1
    :chunk
    (state <s1> ^operator <o1> + ^operator <o2> + ^problem-space <p1>)
    (<o1> ^name drink)
    (<o2> ^name eat)
    (<p1> ^name hungry-thirsty)
    -->
    (<s1> ^operator <o2> > <o1>)
}