HT tutorial trace 8: An Operator No-Change impasse
<![CDATA[
soar> excise -task
################soar> source ht2.s7
learn -off;
watch set to 0; init-soar done
*********#*
#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*learn -off;
#*******#*#*
soar> excise ht*apply-op*eat
#soar> excise ht*terminate*eat
#soar> d
0: ==>S: S1
1: ==>S: S2 (operator tie)
2: O: O4 (evaluate-object O2 (eat))
3: O: O3 (evaluate-object O1 (drink))
4: O: O5 (pass-up)
Building justification-3
Building justification-4
5: O: O2 (eat)
6: ==>S: S3 (operator no-change)
7: ==>S: S4 (operator tie)
8: O: O9 (evaluate-object O7 (drink))
9: O: O8 (evaluate-object O6 (eat))
10: ==>S: S5 (operator no-change)
Impasse for S5 ^name type: tie
11: O: C1 (eat)
12: ==>S: S6 (operator no-change)
Building justification-5
13: O: O13 (drink)
glug glug...
14: ==>S: S7 (state no-change)
Building justification-6
Building justification-7
Building justification-8
Goal operator-subgoal failed.
Building justification-9
Building justification-10
Evaluation of O6 (eat) is failure
15: O: O7 (drink)
glug glug...
16: ==>S: S8 (state no-change)
Building justification-11
Building justification-12
Goal operator-subgoal failed.
ht-state failed
Goal ht-state failed.
System halted.
]]>
Return to main page of:
Introduction to Psychological
Soar Tutorial
(or use the Back button to return to where you just were).