=> XI X => X3Xkx773vt6666/kx773... · 2015. 10. 12. · (TEST XI) (TEST X2)-(R-GEN) => (DEP (REPLY...

123

45

(READY) (ORDER XI) => (REP (READY) (COUNT XI)) (ATTEND)(N XI ) - (NN) - (S NN) => (DEP (NN XI ))(COUNT XI) (M XI) (NN X2) (N X3) => (SAY X2IS THE ANSWER)(COND (M XI) (N X3)) (ACTION (STOP))(ACTION (SAY X2IS THE ANSWER)) (PROD) (STOP)(COUNT) (NN) => (REP (COUNT) (S COUNT)) (REP (NN) (S NN) 2)(ORDER XI X2) => (REP (XI X2) (X2)) (COND (S X3XI))(ACTION (REP (S X3XI) (X3X2))) (PROD)

Figure 1. ADD: A Production System forAddition of Integers

...-. -J... ■,„■.. ajflfi |— 3i'*

1. (READY) => (REP (READY) (COUNT O))'(DEP (ANS 0)) (ATTEND)2. (M XI) - (REMAIN) => (DEP (REMAIN XI))3. (ANS) (COUNT XI) (REMAIN X3) (N XI) (M X2) => (REP (ANS) (S ANS))

(REP (XI) (0) 2) (REP (X3) (X2) 3)4. (M 0) (ANS XI) (REMAIN X2) - (S) => (SAY XI WITH REMAINDER X2) (STOP)5. (M) (COUNT) - (S) => (REP (M) (P M)) (REP (COUNT) (S COUNT) 2)6. (ORDER XI X2) - (GO) => (REP (XI X2) (X2)) (COND (P X3X2))

(ACTION (REP (P X3X2) (X3XI))) (PROD (GO)) (COND (S X3XI))(ACTION (REP (S X3XI) (X3X2))) (PROD (READY))

Figure 2. DIVIDE: A Production System forDivision of Integers

1. (READY) (STIM XI) => (REM (READY)) (PERCEIVE XI ?)2. (READY) => (ATTEND STIM)4. (REPLY XI) - (RESP XI) => (REP REPLY WRONG)5. (USED XI) (WRONG X2) => (REP USED COND)6. - (RESP) => (DEP (REPLY ?)) (SAY ?) (ATTEND RESP)7. (XI X2?) (RESP X3) (WRONG X4) => (COND (XI X2?))

(ACTION (USED) (DEP (REPLY X3)) (SAY X3)) (PROD (SAY X4)) (STOP)

Figure 3. EPAMI : A Production SystemImplementation of EPAM

3. (REPLY) - (RESP) => (ATTEND RESP)

a. Production Rules Learned by EPAMI(in shorthand notation)

b. Equivalent Discrimination Net

Figure 6. Production Rules Learned by EPAMI

1. (READY) (STIM XI) => (REM (READY)) (PERCEIVE XI ?)2. (READY) => (ATTEND STIM)4. (REPLY XI) - (RESP XI) => (REP REPLY WRONG)5. (REPLY XI) (RESP XI) => (STOP)6. (USED) (TEST XI) - (TEST X2) => (REFUSED USED*)7. (TEST XI) (TEST X2) (X3X4?) => (REM (X3X4?))8. (TEST XI) (TEST X2) - (R-GEN) => (DEP (REPLY XI) (R-GEN)) (SAY XI)9. - (RESP) => (DEP (REPLY ?)) (SAY ?) (ATTEND RESP)

10. (RESP XI) - (X2X3RESP) => (PERCEIVE XI RESP)11. (WRONG) (TEST XI) (STIM XI) - (R-GEN) => (DEP (R-GEN))12. (OLD XI) (R-GEN) => (REP OLD COND) (DEP (HOLD XI ))13. (USED XI) (USED*) (R-GEN) => (REP USED COND) (DEP (HOLD XI))14. (R-GEN) (COND (XI X2?)) (XI X2RESP) => (REM (XI X2RESP))15. (XI X2RESP) (RESP X3) (WRONG X4) - (DONE) => (COND (XI X2?))

(ACTION (OLD) (DEP (REPLY X3)) (SAY X3)) (PROD (SAY X4) (TEST X4)) (DEP (DONE))46. (USED* XI) => (REP USED* COND)17. (OLD) (DONE) - (TEST) => (REP OLD COND)18. (R-GEN) (HOLD (XI X2?)) => (REM (HOLD (XI X2?))) (ACTION (DEP (XI X2?)))19. (R-GEN) (XI X2RESP) (STIM X3) (WRONG X4) => (ACTION (DEP (TEST X3)))

(ACTION (USED) (DEP (XI X2?))) (PROD (DEP (TEST X3))) (STOP)20. (XI X2?) (X3X4RESP) (STIM X5) (WRONG X6) => (COND (XI X2?))(ACTION (USED) (DEP (X3X4?)) (DEP (TEST X5))) (PROD (SAY X6)) (STOP)

Figure 7. EPAM2: A Production SystemImplementation of EPAM

3. (REPLY) - (RESP) => (ATTEND RESP)

(1 D) => DER(3 T)(l C) => (1 D)

(1 C) => CON(3 D)(l P) => PED

(1 P) => (1 C)(3 Q) (1 L) => LEQ

Figure 9. Production Rules Learned by EPAM2

(1 L) => L'UQ(2 E)(3 X) CI B) => (1 L)

(3 L)(l M) => MOL(1 M) => MAB

(3 K)(l B) => (1 M)(1 P) => PED

(3 J)(l N) => (1 P)(3 D)(3 J)(l N) => (1 P)

(1 L) => LUQ(1 B) => (1 L)(1L) => LEQ(1 N) => (1 L)(3 Q)(1 N) => (1 L)(1 M) => MOL(1 R) => (1 M)(3 L)(1 R) => (1 M)

I rH y

B*«

Sr-H

s+10

r-l

2: >^Io4->

CCT)r-l

/

XIi

Y^ iI to I

►J

+ CO

V CM

+ CO

s. Q |a.

I

I

"H M3-H

&°"HO)

■38O a)

"i-ia

to

CO

I

I +r-H J

+to

J

Ii—l

I

LU

CMC/tO

a,r-1 I

'a 1 +S.J o

i-H

o

"H

ato

U + > as. tqa.r-HO

E-a to

IQ

1OJ

""

1. (READY) (SERIES XI) => (REP READY CONT)(OBSERVE XI ?)

(ACTION (DEP (NEXT XI))) (PROD END)(DEP (LOC XI))

5. (ERROR) (SERIES XI) (LOC X2) - (X3?) =>(CLEAR (SERIES XI) (LOC X2)) (DEP (READY))

7. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))- (MATCH) => (DEP (MATCH))8. (USED) - (MATCH) - (ERROR) => (DEP (ERROR))9. (USED (XI X2?)) (NEXT) => (REP USED OLD)10. (XI X2?) (NEXT) - (DONE) =>

(REP (XI X2?) (OLD (XI X2?))) (DEP (DONE))11. (OLD (XI X2?)) => (REP OLD COND)

(DEP (XI X2?))12. (NEXT XI) (MATCH) (SERIES X2) =>

(REP (NEXT XI) CONT) (REM (MATCH) (DONE))(PROD (SERIES X2))

13. (LOC XI) (NEXTX2)(ACTION (USED) (DEP (NEXT X3))) => (REP XI X3)(REP (NEXT X2) CONT 2) (REM (DONE))(PROD (NEXT XI))

Figure 11. Production System for Simple SeriesCompletion Task.

2. (READY) => (ATTEND SERIES)3. (XI ?) - (LOC) => (COND (1 X4?))

4. (0 XI ?) => (SUCC)

6. (NEXT XI) - (X2?) => (SAY XI)(DEP (MATCH) (XI ?)) (STOP)

14. (XI ?) (CONT) (X2?) => (REP XI (0X1))(REM (CONT)) (ACTION (USED) (DEP (NEXT X2)))

15. (XI ?) (CONT) => (REP XI (0 XI)) (REM (CONT))

1. (READY) (SERIES XI) => (REP READY CONT)(DEP (PNUM 2) (COUNTS 0)) (OBSERVES XI ?)

2. (READY) => (ATTEND SERIES) (DEP (PERIOD 1))3. (COUNT) (COUNTS XI) => (REM (COUNT))

(REP XI XT)

5. (FAIL) (PERIOD XI) (SERIES X2) => (ERASE)(CLEAR) (DEP (READY) (PERIOD XT) (SERIES X2))

(DEP (READY) (PERIOD XT) (SERIES X2))7. (NEXT XI) - (X2?) - (ACTION) => (SAY XI)

(DEP (MATCH) (XI ?)) (STOP)8. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))- (MATCH) - (ERROR) => (DEP (MATCH))

12. (MATCH) (NEXT XI) (SERIES X2) (LOC X3) =>(REP (NEXT XI) CONT 2)(REM (MATCH) (DONE) (LOC X3)) (PROD (SERIES X2))

13. (LOC XI) (NEXT X2) (PERIOD X3) (SERIES X4)(COUNTS X5) => (REM (LOC XI) (DONE) (ERROR))(REP (NEXT X2) CONT) (PRODS (LOC XI) X3X4X5)

Figure 16. Production System for Complex SeriesCompletion Task.

4. (0 XI ?) => (SUCC)

6. (PERIOD XI ) (COUNTS XT) tSERIES X2) =>(ERASE) (CLEAR)

9. (XI X2?) (NEXT) - (DONE) =>(DEP (OLD (XI X2?))) (DEP (DONE))

10. (USED (XI X2?)) => (REP USED OLD)(DEP (XI X2?))

11. (OLD (XI X2?)) => (REP OLD COND)

14. (CONT) (XI ?) (PNUM X2) (X3?) =>(REP XI (0 XI) 2) (REP X2X2' 3) (REM (CONT))(ACTION (USED) (DEP (NEXT X3)) (DEP (LOC X2)))

15. (CONT) (XI ?) => (REP XI (0 XI) 2)(REM (CONT))

16. (1 XI ?) => (DEP (NEXT XI) (LOC 1))

1-2

j

„,« (REP(SX3I)(X32))02c /qv-To) ■> (REP(SX3 0)(X3D)°?!rEAD?) (ORDER XI) ■> (REP (READY) (COUNT XI)), i^XO D> (NN) -(S NN) ■> (DEP(NNXD)a COUNTXI)(MXI)(NNX2)(NX3) ->

QAY X2IS THE ANSWER) (COND (M XI) (N X3))ACTION (STOP)) (ACTION (SAY X2IS THE ANSWER))

(PROD) (STOP)

4. (COUNT) (NN) -> (REP (COUNT) (S COUNT))(REP (NN) (S NN) 2)

5. (ORDER XI X2) -> (REP (XI X2) (X2))(COND (SX3XD)(ACTION (REP (S X3XI) (X3X2))) (PROD)

.initialize fireINITIALIZED

1 TRUE IN PSOUTPUT FOR (ATTEND) - (dep (m 4)(n 2))STM: (N 2) (M 4) (COUNT 0)

(ORDER 012345678 9)

0.01 TRUE IN PS

6 IS THE ANSWER

STM: (M 4) (N 2) (COUNT 0)(ORDER 0 12 3456789)

"initialize fireINITIALIZED1 TRUE IN PS

OUTPUT FOR (ATTEND) - (dep (m 2)(n D)STM: (N 1) (M2) (COUNT 0)(ORDER 0 12 3456789)

2 TRUE IN PSSTM: (NN 1) (N 1) (M 2) (COUNT 0)

(ORDER 012345678 9)

4 TRUE IN PSSTM: (SAY 3 IS THE ANSWER) (STOP)ON LINE 0.005

STM: (COUNT 2) (M 2) (NN 3) (N 1)(ORDER 012345678 9)

0005 (M 2) (N 1) -> (SAY 3 IS THE ANSWER) (STOP)0.01. (M 4) (N 2) «> (SAY 6 IS THE ANSWER) (STOP)0.02. (S X35) -> (REP (REP (S X30) (X31»1. (READY) (ORDER XI) -> (REP (READY) (COUNT XI))

(ATTEND)2. (N XI) - (NN) - (S NN) -> (DEP (NN XI))3 (COUNT XI) (M XI) (NN X2) (N X3) ">

(SAY X2IS THE ANSWER) (COND (M XI) (N X3))(ACTION (STOP)) (ACTION (SAY X2IS THE ANSWER))(PROD) (STOP)

4. (COUNT) (NN) -> (REP (COUNT) (S COUNT))(REP (NN) (S NN) 2)

5. (ORDER XI X2) -> (REP (XI X2) (X2))(COND (SX3XD)(ACTION (REP (S X3XI) (REP (S X34) (X35))0 05. (S X33) -> (REP (S X33) (X34))0.13. (SX3 2) -> (REP (S X32) (X33))025 (SX3 1) -> (REP(SX3 1) (X32))

-gfr *agaft-~—

i

!

2)

11-l.Trace of DIVIDE Production System.APPENDIX 11.

ON LINE 0.9.memory display pB display

MEMORY MODESTM: (ORDER 3 4 5 6 7 8 9) (COUNT 1) (P M 3)

(REMAIN 3) (N 2) (ANS 0)|. STM - (READY) (ORDER 012345678 9)

5.9 TRUE IN PSPS MODE STM: (M 2) (ORDER 3 4 5 6 7 8 9) (COUNT 1)

1 (READY) -> (REP (READY) (COUNT 0))(DEP (ANS 0)) (ATTEND)

(REMAIN 3) (N 2) (ANS 0)

2 (M XI) - (REMAIN) -> (DEP (REMAIN XI))3 (ANS) (COUNT XI) (REMAIN X3) (N XI) (M X2)

-> (REP (ANS) (S ANS)) (REP (XI) (0) 2)

5 TRUE IN PSSTM: (P M 2) (S COUNT 1) (ORDER 3 4 5 6 7 8 9)

(REMAIN 3) (N 2) (ANS 0)(REP (SAY XI WITH REMAINDER X2) (STOP) 0.8 TRUE IN PSSTM: (COUNT 2) (P M 2) (ORDER 3 4 5 6 7 8 9)

5. (M) (COUNT) - (S) ■> (REP (M) (P M))(REP (COUNT) (S COUNT) 2)

(REMAIN 3) (N 2) (ANS 0)

5.8 TRUE IN PSSTM: (M 1) (COUNT 2) (ORDER 3 4 5 6 7 8 9)(ACTION (REP (P X3X2) (X3XI))) (PROD (GO))

(COND (S X3XD)(REMAIN 3) (N 2) (ANS 0)

(ACTION (REP (S X3XI) (X3X2)» (PROD (READY)) 3 TRUE IN PSSTM: (S ANS 0) (COUNT 0) (REMAIN 1) (N 2) (M 1)

.fire (ORDER 3 4 5 6 7 8 9)1 TRUE IN PS

OUTPUT FOR (ATTEND) - (dep (m 3)(n 2))STM: (N 2) (M 3) (ANS 0) (COUNT 0)

0.5 TRUE IN PSSTM: (ANS 1) (COUNT 0) (REMAIN 1) (N 2) (M 1)(ORDER 012345678 9) (ORDER 3 4 5 6 7 8 9)

2 TRUE IN PS 5 TRUE IN PSSTM: (REMAIN 3) (M 3) (N 2) (ANS 0) (COUNT 0) STM: (P M 1) (S COUNT 0) (ANS 1) (REMAIN 1) (N(ORDER 012345678 9) (ORDER 3 4 5 6 7 8 9)5 TRUE IN PSSTM-. (PM3)(S COUNT 0) (REMAIN 3) (N 2) (ANS 0) 0.5 TRUE IN PSSTM: (COUNT 1) (P M 1) (ANS 1) (REMAIN 1) (N 2)(ORDER 012345678 9) (ORDER 3 4 5 6 7 8 9)

6 TRUE IN PS 5.5 TRUE IN PSNOW INSERTING STM: (M 0) (COUNT 1) (ANS 1) (REMAIN 1) (N 2)(PX3 1) -> (REP (PX3 1) (X30))ON LINE 5.5 (ORDER 3 4 5 6 7 8 9)

NOW INSERTING 4 TRUE IN PS(S X30) -> (REP (SX3 0) (X3D)ON LINE 0.5 1 WITH REMAINDER 1STM: (ORDER 1 2 3 4 5 6 7 8 9) (P M 3) (S COUNT 0)

(REMAIN 3) (N 2) (ANS 0)STM: (M 0) (ANS 1) (REMAIN 1) (COUNT 1) (N 2)

(ORDER 3 4 5 6 7 8 9)0.5 TRUE IN PSSTM: (COUNT 1) (ORDER 1 2 3 4 5 6 7 8 9) (P M 3) "display(REMAIN 3) (N 2) (ANS 0)

0.5. (S X30) -> (REP (S X30) (REP (S X31) (X32))0.9. (S X32) -> (REP (S X32) (X33))

6 TRUE IN PSNOW INSERTING

1. (READY) -> (REP (READY) (COUNT 0))(DEP (ANS 0)) (ATTEND)

(P X32) -> (REP (P X32) (X3D)ON LINE 5.8

2. (M XI) - (REMAIN) -> (DEP (REMAIN XI))3. (ANS) (COUNT XI) (REMAIN X3) (N XI) (M X2)

NOW INSERTING(SX3 1) -> (REP (S X31) (X32))ON LINE 0.8 -> (REP (ANS) (S ANS)) (REP (XI) (0)

2)

(REP (X3) (X2) 3)STM: (ORDER 2345678 9) (COUNT 1) (P M 3)(REMAIN 3) (N 2) (ANS 0) 4. (M 0) (ANS XI) (REMAIN X

2) - (S) ->(SAY XI WITH REMAINDER X2) (STOP)

5. (M) (COUNT) - (S) -> (REP (M) (P M))(REP (COUNT) (REP (P X31) (X30))

5.8. (P X32) -> (REP (P X32) (X31»5.9. (P X33) "> (REP (P X33) (X32))

6. (ORDER XI X2) - (GO) -> (REP (XI X2> (X2))(P X33) -> (REP (P X33) (X32))ON LINE 5.9NOW INSERTING(S X32) -> (REP (S X32) (X33))

6. (ORDER XI X2) - (GO) "> (REP (XI X2)

UH —11-2

0 8 (SX3 1) -> (REP(SX3 1) (X32))0.9 (S X32) -> (REP (S X32) (X33))

1 (READY) -> (REP (READY) (COUNT 0))(COND (P X3X2))(ACTION (REP (P X3X2) (X3XI))) (PROD (GO))(COND (SX3XD)(ACTION (REP (S X3XI) (X3X2))) (PROD (READY)) (DEP (ANS

0)) (ATTEND)

2 (M XI) - (REMAIN) -> (DEP (REMAIN Xl»3 (ANS) (COUNT XI) (REMAIN X3) (N XI) (M X2)

-> (REP (ANS) (S ANS)) (REP (XI) (0) 2).initialize fireINITIALIZED (REP (X3) (X2) 3)4 (M 0) (ANS XI) (REMAIN X2) (S) ">

(SAY XI WITH REMAINDER X2) (STOP)5 (M) (COUNT) - (S) ■> (REP (M) (P M))

1 TRUE IN PSOUTPUT FOR (ATTEND) - (dep (m 2)(n D)STM: (N 1) (M 2) (ANS 0) (COUNT 0)

(ORDER 012345678 9) (REP (COUNT) (S COUNT) 2)5 5 (PX3 1) -> (REP (P X32) (X3D)5 9 (PX3 3) -> (REP (P X33) (X32))

6 (ORDER XI X2) - (GO) -> (REP (XI X2)

111-l.111. Trace of EPAMI Production SystemtffENDIX

STM: (RESP LUQ) (REPLY ?) (1 B ?) (3 X ?) (2 E ?)(STIM BEX).««.«ofy display ps display

L- ».K)RY MODE, STM - (READY) 4 TRUE IN PSSTM: (WRONG ?) (RESP LUQ) (1 B ?) (3 X ?> (2 E ?)

(READY) (STIM XI) ■> (REM (READY))(PERCEIVE XI ?)

2 (READY) -> (ATTEND STIM)". (REPLY) - (RESP) -> (ATTEND RESP)4 (REPLY XI) -(RESP XI) -> (REP REPLY WRONG)

5 (USED XI) (WRONG X2) -> (REP USED COND)6 - (RESP) ■> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)7 (XI X2') (RESP X3) (WRONG X4) ">

(COND (XI X2?))(ACTION (USED) (DEP (REPLY X3)) (SAY X3)>(PROD (SAY X4)) (STOP)

(STIM BEX)

7 TRUE IN PSNOW INSERTING(1 B ?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)ON LINE 5.8

STM: (IB?) (RESP LUQ) (WRONG ?) (3 X ?) (2 E ?)(STIM BEX)

"display 5-65 (USED XI) (WRONG X2) -> (REP USED COND)

5 5 (1 P ') -> (USED) (DEP (REPLY CON)) (SAY CON)5 8 (1 B ?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)

6 - (RESP) -> (DEP (REPLY ?)) (SAY ?)" flff (ATTEND RESP)2 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (slim pax))STM: (STIM PAX) (READY) " " initialize fireINITIALIZED

2 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (slim eH»1 TRUE IN PSSTM:(I P ?) (3 X ?) (2 A ?) (STIM PAX)

STM: (STIM CIT) (READY)

6 TRUE IN PS 1 TRUE IN PSSTM-. (1 C ?) (3 T ?) (2 I ?) (STIM CIT)16 TRUE IN PSOUTPUT FOR (ATTEND RESP) ■ (dep (resp con))

STM: (RESP CON) (REPLY ?) (1 P ?) (3 X ?) (2 A ?)(STIM PAX) ?

OUTPUT FOR (ATTEND RESP) - (dep (resp der))STM-. (RESP DER) (REPLY ?) (1 C ?) (3 T ?) (2 I ?)4 TRUE IN PSSTM. (WRONG ?) (RESP CON) (1 P ?) (3 X ?) (2 A ?) (STIM CIT)(STIM PAX)4 TRUE IN PSSTM: (WRONG ?) (RESP DER) (1 C ?) (3 T ?) (2 I ?)

7 TRUE IN PSNOW INSERTING (STIM CIT)(IP?) -> (USED) (DEP (REPLY CON)) (SAY CON)ON LINE 5.5

7 TRUE IN PSSTM: (IP?) (RESP CON) (WRONG ?) (3 X ?) (2 A ?)(STIM PAX) NOW INSERTING

(1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

ON LINE 5.9" display 5-6

5 (USED XI) (WRONG X2) -> (REP USED COND) STM: (1 C ?)(RESP DER) (WRONG ?) (3 T ?) (2 I ?>

(STIM CIT)55. (1 P ?) -> (USED) (DEP (REPLY CON)) (SAY CON)6. - (RESP) -> (DEP (REPLY ?)) (SAY ?) "display 5-6

5 (USED XI) (WRONG X2) -> (REP USED COND)5 5 (IP') -> (USED) (DEP (REPLY CON)) (SAY

CON)

5 8 (IB') -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5 9 (1C) -> (USED) (DEP (REPLY DER)) (SAY DER)

6 - (RESP) -> (DEP (REPLY ?)) (SAY ?)

(ATTEND RESP)

" initialize fireINITIALIZED2 TRUE IN PS

OUTPUT FOR (ATTEND STIM) - (dep (stim bek))STM (STIM BEX) (READY) (ATTEND RESP)" initialize fireINITIALIZED1 TRUE IN PSSTM (1 B ?) (3 X ?) (2 E ?) (STIM BEX)

2 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (stim buk))STM: (STIM BUK) (READY)6 TRUE IN PS

' 1 TRUE IN PSSTM: (1 B ?) (3 X ?) (2 U ?) (STIM BUK)OUTPUT FOR (ATTEND RESP) - (dep (re Bp lug»

*"■-■

111-2

5 8 TRUE IN PS "display 5-65. (USED XI) (WRONG X2) "> (REP USED COND)5.5. (1 P ?) => (USED) (DEP (REPLY CON)) (SAY CON)

5.7. (3 X ?) (1 B ?) -> (USED) (DEP (REPLY MAB))(SAY MAB)

5.8. (IB?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5.95. (1 N ?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)6. - (RESP) -> (DEP (REPLY ?)) (SAY ?)

LUQ

STM: (REPLY LUQ) (USED (1 B ?)) (3 X ?) (2 U ?)(STIM BUK)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) « (dep (resp mab))

STM: (RESP MAB) (REPLY LUQ) (USED (1 B ?)) (3 X ?) (ATTEND RESP)(2 U ?) (STIM BUK)

" initialize fireINITIALIZED4 TRUE IN PSSTM: (WRONG LUQ) (RESP MAB) (USED (1 B ?)) (3 X ?) 2 TRUE IN PS

(2 U ?) (STIM BUK) OUTPUT FOR (ATTEND STIM) . (dep (stim reb))STM: (STIM REB) (READY)5 TRUE IN PS

STM: (COND (1 B ?)) (WRONG LUQ) (RESP MAB) (3 X ?) 1 TRUE IN PS(2 U ?) (STIM BUK) I STM: (1 R ?) (3 B ?) (2 E ?) (STIM REB)7 TRUE IN PS 6 TRUE IN PSNOW INSERTING

(3 X?) (1 B ?) -> (USED) (DEP (REPLY MAB)) (SAY MAB)ON LINE 5.7

?

STM: (3 X ?) (RESP MAB) (WRONG LUQ) (2 U ?)(STIM BUK) OUTPUT FOR (ATTEND RESP) - (dep (resp mol))STM: (RESP MOL) (REPLY ?) (1 R ?) (3 B ?) (2 E ?)

(STIM REB)"display 5-65. (USED XI) (WRONG X2) -> (REP USED COND)

5.5. (IP?) -> (USED) (DEP (REPLY CON)) (SAY CON)5.7. (3 X?) (1 B ?) -> (USED) (DEP (REPLY MAB))

4 TRUE IN PSSTM: (WRONG ?) (RESP MOL) (1 R ?) (3 B ?) (2 E ?)

(STIM REB) _(SAY MAB)58. (1 B ?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

7 TRUE IN PSNOW INSERTING6. - (RESP) -> (DEP (REPLY ?)) (SAY ?)

(ATTEND RESP)(1 R ?) -> (USED) (DEP (REPLY MOD) (SAY MOL)ON LINE 5.98

STM: (1 R ?) (RESP MOL) (WRONG ?) (3 B ?) (2 E ?)(STIM REB)" initialize fireINITIALIZED

2 TRUE IN PS "display 5-6OUTPUT FOR (ATTEND STIM) - (dep (stim ml))STM: (STIM NAL) (READY) 5. (USED XI) (WRONG X2) -> (REP USED COND)5.5. (IP?) -> (USED) (DEP (REPLY CON)) (SAY CON)5.7. (3 X ?) (1 B ?) -> (USED) (DEP (REPLY MAB))1 TRUE IN PS (SAY MAB)STM:(I N ?) (3 L ?) (2 A ?) (STIM NAL)

6 TRUE IN PS5.8. (1 B ?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5.95. (1 N ?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)5.98. (1 R ?) -> (USED) (DEP (REPLY MOD) (SAY MOL)■>

6. - (RESP) ■> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)OUTPUT FOR (ATTEND RESP) - (dep (resp leg))STM (RESP LEQ) (REPLY ?) (1 N ?) (3 L ?) (2 A ')

(STIM NAL) "initialize fireINITIALIZED2 TRUE IN PS4 TRUE IN PS OUTPUT FOR (ATTEND STIM) - (dep (stim noj))STM: (STIM NOJ) (READY)STM (WRONG ?) (RESP LEQ) (1 N ') (3 L ') (2 A ')(STIM NAL)1 TRUE IN PS7 TRUE IN PS

NOW INSERTING STM: (1 N ?) (3 J ?) (2 0 ?) (STIM NOJ)

!iil 2r'* (USED) (DEP (REPLY LE Q» LEQ)°N LINE 595 5.95 TRUE IN PSSTM (l N ?) (RESP LEQ) (WRONG ?) (3 L ?) (2 A ')(STIM NAL) LEQ

i

111-3

STM: (REPLY LEQ) (USED (1 N ?)) (3 J ?) (2 0 ?)(STIM NOJ)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) . (dep (resp ped))

STM: (RESP PED) (REPLY LEQ) (USED (1 N ?)) (3 J ?)(2 0 ?) (STIM NOJ)

4 TRUE IN PSSTM: (WRONG LEQ) (RESP PED) (USED (1 N ?)) (3 J ?)

(2 0 ?) (STIM NOJ)

5 TRUE IN PSSTM: (COND (1 N ?)) (WRONG LEQ) (RESP PED) (3 J ?)

(2 0 ?) (STIM NOJ)

7 TRUE IN PSNOW INSERTING(3 J ?) (1 N ?) -> (USED) (DEP (REPLY PED)) (SAY PED)ON LINE 5.93

STM: (3 J ?) (RESP PED) (WRONG LEQ) (2 0 ?)(STIM NOJ)

" display 5-65. (USED XI) (WRONG X2) -> (REP USED COND)5.5. (IP?) "> (USED) (DEP (REPLY CON)) (SAY CON)5.7. (3 X ?) (1 B ?) -> (USED) (DEP (REPLY MAB))

(SAY MAB)5.8. (IB?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5.93. (3 J ?) (1 N ?) -> (USED) (DEP (REPLY PED))(SAY PED)

5.95. (IN?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)5.98. (1 R ?) -> (USED) (DEP (REPLY MOD) (SAY MOL)

6. - (RESP) -> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)

"initialize fireINITIALIZED

2 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (stint pax))STM. (STIM PAX) (READY)

1 TRUE IN PSSTM: (1 P ?) (3 X ?) (2 A ?) (STIM PAX)

5.5 TRUE IN PS

CON

STM: (REPLY CON) (USED (1 P ?)) (3 X ?) (2 A ?)(STIM PAX)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp con))STM: (RESP CON) (REPLY CON) (USED (1 P ?)) (3 X ?)

(2 A ?) (STIM PAX)

"initialize fireINITIALIZED

2 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (stim bek))STM: (STIM BEX) (READY)

1 TRUE IN PS

STM: (1 B ?) (3 X ?) (2 E ?) (STIM BEX)

5.7 TRUE IN PS

MAB

STM: (REPLY MAB) (USED (3 X ?)) (USED (1 B ?))(2 E ?) (STIM BEX)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) . (dep (resp lug))

STM: (RESP LUQ) (REPLY MAB) (USED (3 X ?))(USED (1 B ?)) (2 E ?) (STIM BEX)

4 TRUE IN PSSTM: (WRONG MAB) (RESP LUQ) (USED (3 X ?))

(USED (1 B?)) (2 E ?) (STIM BEX)

5 TRUE IN PSSTM: (COND (3 X ?)) (WRONG MAB) (RESP LUQ)

(USED (1 B ?)) (2 E ?) (STIM BEX)

5 TRUE IN PSSTM: (COND (1 B ?)) (WRONG MAB) (COND (3 X ?))

(RESP LUQ) (2 E ?) (STIM BEX)

7 TRUE IN PSNOW INSERTING(2 E ?) (1 B ?) (3 X?) -> (USED) (DEP (REPLY LUQ)) (SAY Li.ON LINE 5.6

STM: (2 E ?) (RESP LUQ) (WRONG MAB) (STIM BEX)

"display 5-65. (USED XI) (WRONG X2) -> (REP USED COND)

5.5. (1 P ?) -> (USED) (DEP (REPLY CON)) (SAY CON)5.6. (2 E ?) (1 B ?) (3 X ?) -> (USED)

(DEP (REPLY LUQ)) (SAY LUQ)5.7. (3 X ?) (1 B ?) -> (USED) (DEP (REPLY MAB))

(SAY MAB)5.8. (IB?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5.93. (3 J ?) (1 N ?) => (USED) (DEP (REPLY PED))(SAY PED)

5.95. (1 N ?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)5.98. (1 R ?) -> (USED) (DEP (REPLY MOD) (SAY MOL)



OUTPUT FOR (ATTEND STIM) - (dep (stint cit))STM: (STIM CIT) (READY)

1 TRUE IN PSSTM: (1 C ?) (3 T ?) (2 I ?) (STIM CIT)

5.9 TRUE IN PS

DER

STM: (REPLY DER) (USED (1 C ?)) (3 T ?) (2 I ?)(STIM CIT)

3 TRUE IN PS

■■ "..-- ■

11 1-4

OUTPUT FOR (ATTEND RESP) - (dep (resp der))STM: (RESP DER) (REPLY DER) (USED (1 C ?)) (3 T ?)

(2 I ?) (STIM CIT)

(2 E ?) (STIM REB)

" initialize fireINITIALIZED2 TRUE IN PS.rf..t.»lize fire

INITIALIZED OUTPUT FOR (ATTEND STIM) - (dep (stim noj))2 TRUE IN PS STM: (STIM NOJ) (READY)

OUTPUT FOR (ATTEND STIM) - (dep (stim buk))STM: (STIM BUK) (READY) 1 TRUE IN PS

STM: (l N ?) (3 J ?) (2 0 ?) (STIM NOJ)1 TRUE IN PS

STM: (1 B ?) (3 X ?) (2 U ?) (STIM BUK) 5.93 TRUE IN PS

5 7 TRUE IN PS PED

MAB STM-. (REPLY PED) (USED (3 J ?)) (USED (IN?))(2 0 ?) (STIM NOJ)

STM (REPLY MAB) (USED (3 X ?)) (USED (1 B ?))(2 U ?) (STIM BUK) 3 TRUE IN PS

OUTPUT FOR (ATTEND RESP) - (dep (resp ped))3 TRUE IN PS STM: (RESP PED) (REPLY PED) (USED (3 J ?))OUTPUT FOR (ATTEND RESP) - (dep (resp mab))STM: (RESP MAB) (REPLY MAB) (USED (3 X ?)) (USED (1 N ?)) (2 0 ?) (STIM NOJ)

(USED (1 B ?)) (2 U ?) (STIM BUK) "display 5-65. (USED XI) (WRONG X2) -> (REP USED COND)

5.5. (1 P ?) *=> (USED) (DEP (REPLY CON)) (SAY CON)5.6. (2 E ?) (1 B ?) (3K?) -> (USED)

" initialize fireINITIALIZED2 TRUE IN PS (DEP (REPLY LUQ)) (SAY LUQ)

OUTPUT FOR (ATTEND STIM) - (dep (Btim nal))STM: (STIM NAL) (READY) 5.7. (3 X ?) (1 B ?) -> (USED) (DEP (REPLY MAB))(SAY MAB)5.8. (1 B ?) -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5.9. (1 C ?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5.93. (3 J ?) (1 N ?) -> (USED) (DEP (REPLY PED))1 TRUE IN PS

STM: (1 N ?) (3 L ?) (2 A ?) (STIM NAL)(SAY PED)

5 95 TRUE IN PS 5.95. (1 N ?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)5.98. (1 R ?) «> (USED) (DEP (REPLY MOD) (SAY MOL)

LEQ

STM: (REPLY LEQ) (USED (1 N ?)) (3 L ?) (2 A ?)(STIM NAL) "initialize fire

INITIALIZED3 TRUE IN PS 2 TRUE IN PS

OUTPUT FOR (ATTEND RESP) - (dep (resp leg)) OUTPUT FOR (ATTEND STIM) - (dep (stim pax))STM (RESP LEQ) (REPLY LEQ) (USED (1 N ?)) (3 L ?)(2 A ?) (STIM NAL)

STM: (STIM PAX) (READY)

1 TRUE IN PS" initialize fireINITIALIZED

STM: (l P ?) (3 X ?) (2 A ?) (STIM PAX)

2 TRUE IN PS 5.5 TRUE IN PSOUTPUT FOR (ATTEND STIM) - (dep (stim reb))STM: (STIM REB) (READY) CON

1 TRUE IN PS STM: (REPLY CON) (USED (1 P ?)) (3 X ?) (2 A ?)(STIM PAX)STM (l R ?) (3 B ?) (2 E ?) (STIM REB)

5 98 TRUE IN PS 3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp con))STM: (RESP CON) (REPLY CON) (USED (1 P ?)) (3 X ')MOL

(2 A ?) (STIM PAX)STM (REPLY MOL) (USED (1 R ?)) (3 B ?) (2 E ?)

(STIM REB) " initialize fireINITIALIZED3 TRUE IN PS 2 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp mol))STM (RESP MOL) (REPLY MOL) (USED (1 R ?)) (3 B ?) OUTPUT FOR (ATTEND STIM) . (dep (stim bek))STM: (STIM BEX) (READY)


'f

111 -5

1 TRUE IN PSSTM: (1 B ?) (3 X ?) (2 E ?) (STIM BEX)

5.6 TRUE IN PS

LUQ

STM: (REPLY LUQ) (USED (2 E ?)) (USED (1 B ?))(USED (3 X ?)) (STIM BEX)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp lug))STM: (RESP LUQ) (REPLY LUQ) (USED (2 E ?))

(USED (1 B ?)) (USED (3 X ?)) (STIM BEX)


OUTPUT FOR (ATTEND STIM) - (dep (stim cit))STM: (STIM CIT) (READY)1 TRUE IN PSSTM: (1 C ?) (3 T ?) (2 I ?) (STIM CIT)

5.9 TRUE IN PS

DER

STM: (REPLY DER) (USED (1 C ?)).(3 T ?) (2 I ?)(STIM CIT)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp der))STM: (RESP DER) (REPLY DER) (USED (1 C ?)) (3 T ?)

(2 I ?) (STIM CIT)


OUTPUT FOR (ATTEND STIM) - (dep (stim buk))STM: (STIM BUK) (READY)1 TRUE IN PSSTM: (1 B ?) (3 X ?) (2 U ?) (STIM BUK)

5.7 TRUE IN PS

MAB

STM: (REPLY MAB) (USED (3 X ?)) (USED (1 B ?))(2 U ?) (STIM BUK)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp mab))STM: (RESP MAB) (REPLY MAB) (USED (3 X ?))

(USED (1 B ?)) (2 U ?> (STIM BUK)


OUTPUT FOR (ATTEND STIM) - (dep (stim nal))STM: (STIM NAL) (READY)1 TRUE IN PS

STM: (l N ?) (3 L ?) (2 A ?) (STIM NAL)

5.95 TRUE IN PS

LEQ

STM: (REPLY LEQ) (USED (1 N ?)) (3 L ?) (2 A ?)(STIM NAL)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp leg))STM: (RESP LEQ) (REPLY LEQ) (USED (1 N ?)) (3 L ?)

(2 A ?) (STIM NAD

"initialize fireINITIALIZED2 TRUE IN PS

OUTPUT FOR (ATTEND STIM) - (dep (stim reb))STM: (STIM REB) (READY)1 TRUE IN PSSTM: (1 R ?) (3 B ?) (2 E ?) (STIM REB)

5.98 TRUE IN PS

MOL

STM: (REPLY MOL) (USED (1 R ?)) (3 B ?) (2 E ?)(STIM REB)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp mol))STM-. (RESP MOL) (REPLY MOD (USED (1 R ?)) (3 B ?)

(2 E ?) (STIM REB)


OUTPUT FOR (ATTEND STIM) . (dep (stim noj))STM: (STIM NOJ) (READY)

1 TRUE IN PSSTM: (1 N ?) (3 J ?) (2 0 ?) (STIM NOJ)

5.93 TRUE IN PS

PED

STM: (REPLY PED) (USED (3 J ?)) (USED (1 N ?))(2 0 ?) (STIM NOJ)

3 TRUE IN PSOUTPUT FOR (ATTEND RESP) - (dep (resp ped))STM: (RESP PED) (REPLY PED) (USED (3 J ?))

(USED (1 N ?)) (2 0 ?) (STIM NOJ)

"display1. (READY) (STIM XI) -> (REM (READY))(PERCEIVE XI ?)

2. (READY) -> (ATTEND STIM)3. (REPLY) - (RESP) -> (ATTEND RESP)4. (REPLY XI)- (RESP XI) -> (REP REPLY WRONG)5. (USED XI) (WRONG X2) -> (REP USED COND)

5.5. (1 P ?) -> (USED) (DEP (REPLY CON)) (SAY CON)5.6. (2 E ?) (1 B?) (3 X?) -> (USED)

.

111-6

5 6.(18') -> (USED) (DEP (REPLY LUQ)) (SAY LUQ)5 9 (1C?) -> (USED) (DEP (REPLY DER)) (SAY DER)

5 93. (3 J ?) (1 N ?) -> (USED) (DEP (REPLY PED))(SAY PED)

595. (1 N ?) -> (USED) (DEP (REPLY LEQ)) (SAY LEQ)598 (1 R ?) -> (USED) (DEP (REPLY MOD) (SAY MOL)

6. - (RESP) -> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)7. (XI X2?) (RESP X3) (WRONG X4) ->

(COND (XI X2?))(ACTION (USED) (DEP (REPLY X3)) (SAY X3))(PROD (SAY X4)) (STOP)

(DEP (REPLY LUQ)) (SAY LUQ)

57. (3 X ?) (1 B ?) => (USED) (DEP (REPLY MAB))(SAY MAB)

-Is.—

Trace of EPAM2 Production System.U'PLSPIX IV. IV-1.

8.5. (1 C ?) -> (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (IP?) -> (USED) (DEP (1 C ?».M«.cy duplay ps displayMtMOSV MODE (DEP (TEST PAX)), STM - (READY) 9. - (RESP) -> (DEP (REPLY ?)) (SAY ?)

(ATTEND RESP)P-S MODEI (READY) (STIM XI) -> (REM (READY))

(PERCEIVE XI ?) " initialize fireINITIALIZED2

2 (READY) -> (ATTEND STIM)3 (REPLY) - (RESP) -> (ATTEND RESP)a (REPLY XI) - (RESP XI) -> (REP REPLY WRONG)5 (REPLY XI) (RESP XI) -> (STOP)

OUTPUT FOR (ATTEND STIM) - (dep (stint bek))1 96 (USED) (TEST XI) - (TEST X2) ">

(REP USED USED*) ?7 (TEST XI) (TEST X2) (X3X4?) ->

(REM (X3X4?)) OUTPUT FOR (ATTEND RESP) - (dep (resp lug))4 10 158 (TEST XI)(TESTX2)-(R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI) NOW INSERTING

9 - (RESP) ■> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP) (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)ON LINE 8.910. (RESPXI) - (X2X3RESP) -> (PERCEIVE XI RESP) .1 1. (WRONG) (TEST XI) (STIM XI) - (R-GEN) ->

20NOW INSERTING(1 B ?) -> (USED) (DEP (1 L ?)) (DEP (TEST BEX))ON LINE 8.95

(DEP (R-GEN))12 (OLD XI) (R-GEN) ■> (REP OLD COND)

(DEP (HOLD XI))13 (USED XI) (USED*) (R-GEN) -> (REP USED COND)

(DEP (HOLD XI))"display 8-9

8. (TEST XI) (TEST X2) - (R-GEN) «>(DEP (REPLY XI) (R-GEN)) (SAY XI)14. (R-GEN) (COND (XI X2?)) (XI X2RESP) ">

(REM (XI X2RESP)) 8.5. (1 C ?) => (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (1 P ?) ~> (USED) (DEP (1 C ?))15. (XI X2RESP) (RESP X3) (WRONG X4) - (DONE)

-> (COND (XI X2?))(ACTION (OLD) (DEP (REPLY X3)) (SAY X3))(PROD (SAY X4) (TEST X4)) (DEP (DONE))

17. (OLD) (DONE) - (TEST) -> (REP OLD COND)18. (R-GEN) (HOLD (XI X2?)) ">(REM (HOLD (XI X2?))) (ACTION (DEP (XI X2?)))19. (R-GEN) (XI X2RESP) (STIM X3) (WRONG X4) -> " initialize fireINITIALIZED

2(ACTION (DEP (TEST X3)))(ACTION (USED) (DEP (XI X2?)))(PROD (DEP (TEST X3))) (STOP) OUTPUT FOR (ATTEND STIM) - (dep (stim cit))1 8.520. (XI X2?) (X3X4RESP) (STIM X5) (WRONG X6)-> (COND (XI X2?))

(ACTION (USED) (DEP (X3X4?)) (DEP (TEST X5»)(PROD (SAY X6)) (STOP)

CON

3" fire2 OUTPUT FOR

(ATTEND RESP) - (dep (resp der))4 10 15OUTPUT FOR (ATTEND STIM) - (dep (stim pax))1 9 NOW INSERTING(ID?) -> (OLD) (DEP (REPLY DER)) (SAY DER)

ON LINE 8.31 17 20

NOW INSERTINGOUTPUT FOR (ATTEND RESP) - (dep (resp con))4 10 15 (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?)) (DEP (TEST CIT))ON LINE 8.4NOW INSERTING (OLD) (DEP (REPLY CON)) (SAY CON)ON LINE 8.520

NOW INSERTING

8.5. (1C?) -> (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (1 P ?) -> (USED) (DEP (1 C ?))"display 8-9

8. (TEST XI) (TEST X2) - (R-GEN) ■>(DEP (REPLY XI) (R-GEN)) (SAY XI) (DEP (TEST PAX))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

(DEP (TEST PAX))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

8.95. (IB?) -> (USED) (DEP (1 L ?))(DEP (TEST BEX))16. (USED. XI) -> (REP USED. COND)


"display 8-98. (TEST XI) (TEST X2) - (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)

8.3. (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)8.4. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))

(1 P ?) -> (USED) (DEP (1 C ?)) (DEP (TEST PAX))ON LINE 88

«a- ■'»'-"

(

i

i

IV- 2.

8.5. (1 C ?) *> (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (1 P ?) -> (USED) (DEP (1 C ?))

" initialize firoINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stint buk»1 8 95 6 8.9

LUQ

3OUTPUT FOR (ATTEND RESP) - (dep (resp mab))4 10 15 (ATTEND RESP)NOW INSERTING " initialize fireINITIALIZED

2(1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)ON LINE 8.85

16 20 OUTPUT FOR (ATTEND STIM) - (dep (stint rob))1 9NOW INSERTING(3 X ?) (1 B ?) -> (USED) (DEP (1 M ?)) (DEP (TEST BUK))ON LINE 8.88 ?

OUTPUT FOR (ATTEND RESP) - (dep (resp mol))4 10 15NOW INSERTING(1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MODON LINE 8.99520

8.5. (1C?) => (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (1 P ?) -> (USED) (DEP (1 C ?))

NOW INSERTING

8.5. (1 C ?) -> (OLD) (DEP (REPLY CON)) (SAY CON)8.8. (1 P ?) -> (USED) (DEP (1 C ?))

"initialize fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim nal))1 97

OUTPUT FOR (ATTEND RESP) - (dep (resp leg»4 10 15NOW INSERTING 8.995. (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)

8.998. (1 R ?) -> (USED) (DEP (1 M ?))(1 L ') -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)ON LINE 89820

NOW INSERTING

" initialize fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim noj))1 8.99 6 8.9LUQ

895 (1 B?) ■> (USED) (DEP (1 L ?))(DEP (TEST BEX))

g - (RESP) -> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)(DEP (TEST CIT))

(DEP (TEST PAX))8.85. (1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)8.88. (3 X ?) (1 B ?) -> (USED) (DEP (1 M ?))

(DEP (TEST BUK))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

8.95. (1 B ?) -> (USED) (DEP (1 L ?))(DEP (TEST BEX))

8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.99. (IN?) -> (USED) (DEP (1 IL ?))

(DEP (TEST NAD)9. - (RESP) -> (DEP (REPLY ?)) (SAY ?)

" display 8-98. (TEST XI) (TEST X2) - (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)8.3. (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)8.4. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))

(1 R ?) -> (USED) (DEP (1 M ?)) (DEP (TEST REB))ON LINE 8.998(DEP (TEST PAX))

8.85. (1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)8.88. (3 X ?) (1 B ?) -> (USED) (DEP (1 M ?))

(DEP (TEST BUK))"display 8-9

8. (TEST XI) (TEST X2) - (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)8.9. (1 L ?) "> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)


8.3. (ID?) -> (OLD) (DEP (REPLY DER)) (SAY DER)8.4. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))9. - (RESP) -> (DEP (REPLY ?)) (SAY ?)(ATTEND RESP)

(DEP (TEST PAX))8.85. (1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)8.88. (3 X ?) (1 B ?) => (USED) (DEP (1 M ?))

(DEP (TEST BUK))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

8.95. (1 B ?) -> (USED) (DEP (1 I. ?))(DEP (TEST BEX))

8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.99. (1 N ?) -> (USED) (DEP (1 I. ?))

(DEP (TEST NAD)

(DEP (TEST REB))9. - (RESP) -> (DEP (REPLY ?)) (SAY ?)

(ATTEND RESP) (USED) (DEP (1 L ?)) (DEP (TEST NAD)ON LINE 8.99

" display 8-98. (TEST XI) (TEST X2) - (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)

8 3 (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)84. (3 T ?) (1 C ?) ■> (USED) (DEP (1 D ?))

J

IV- 3

3OUTPUT FOR (ATTEND RESP) - (dep (resp ped))A 10 15

NOW INSERTING(|P ,) .> (OLD) (DEP (REPLY PED)) (SAY PED)

ON LINE 88916 20

NOW INSERTING(3 J ') (1 N ?) -> (USED) (DEP (IP?)) (DEP (TEST NOJ))ON LINE 8.895

85. (1C?) -> (OLD) (DEP (REPLY CON)) (SAY CON)88. (1 P?) -> (USED) (DEP (1 C ?))

8 995. (1 M?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)8.998. (1 R?) -> (USED) (DEP (1 M ?))


(ATTEND RESP)


OUTPUT FOR (ATTEND STIM) - (dep (stim pax))1 8.8 6 8.5CON

3OUTPUT FOR (ATTEND RESP) - (dep (resp con))5" initialize fireINITIALIZED

2OUTPUT FOR (ATTEND STIM) - (dep (stim bek))

1 8 88 6 6 8.85

MAB

16 16 20NOW INSERTING(2 E ?) (3 X ?) (1 B ?) ■> (USED) (DEP (1 L ?)) (DEP (TEST BE-ON LINE 8.84


(DEP (TEST NAD)8.995. (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)8.998. (1 R ?) -> (USED) (DEP (1 M ?))


OUTPUT FOR (ATTEND STIM) - (dep (stim cit»1 8.4 6 6 8.3DER

3OUTPUT FOR (ATTEND RESP) - (dep (resp der))5" initialize fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim buk)>1 8.88 6 6 8.85

MAB

3OUTPUT FOR (ATTEND RESP) - (dep (resp mab))5

3 " initialize fireINITIALIZED2

OUTPUT FOR (ATTEND RESP) - (dep (resp lug»4 10 15NOW INSERTING OUTPUT FOR (ATTEND STIM) - (dep (stim nal))

1 8.99 6 8.83(I L ') -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)ON LINE 8.83

" display 8-98 (TEST XI) (TESTX2)- (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)

8 3 (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)84. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))

(DEP (TEST PAX))8 85. (1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)888. (3 X ?) (1 B ?) -> (USED) (DEP (1 M ?))

(DEP (TEST BUK))8.89. (1 P ?) -> (OLD) (DEP (REPLY PED)) (SAY PED)

8.895. (3 J ?) (1 N ?) -> (USED) (DEP (1 P ?))(DEP (TEST NOJ))

89. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)8.95. (1 B ?) -> (USED) (DEP (1 L ?))

(DEP (TEST BEX))8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.99. (1 N?) -> (USED) (DEP (1 L ?))

(DEP (TEST NAD)

"display 8-98. (TEST XI) (TEST X2) - (R-GEN) ->

(DEP (REPLY XI) (R-GEN)) (SAY XI)8.3. (1 D ?) «> (OLD) (DEP (REPLY DER)) (SAY DER)8.4. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))

(DEP (TEST PAX))8.83. (1 L ?) "> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)8.84. (2 E ?) (3 X ?) (1 B ?) -> (USED)

(DEP (1 L ?)) (DEP (TEST BEX))8.85. (1 M ?) => (OLD) (DEP (REPLY MAB)) (SAY MAB)8.88. (3 X ?) (1 B ?) ■=> (USED) (DEP (1 M ?))

(DEP (TEST BUK))8.89. (IP?) »> (OLD) (DEP (REPLY PED)) (SAY PED)

8.895. (3 J ?) (1 N ?) -> (USED) (DEP (1 P ?))(DEP (TEST NOJ))

8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)8.95. (1 B ?) -> (USED) (DEP (1 L ?))

(DEP (TEST BEX))8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.99. (IN?) -> (USED) (DEP (1 L ?))


(ATTEND RESP)

i

IV-4

LUQ

3OUTPUT FOR (ATTEND RESP) - (dep (resp leg))4 10 11 12 14 15NOW INSERTING

8.5. (1 C ?) -> (OLD) (DEP (REPLY COM)) (SAY CON)8.8. (1 P ?) -> (USED) (DEP (1 C ?))


8.995. (1 M ?) ■> (OLD) (DEP (REPLY MOD) (SAY MOL)8.998. (1 R ?) .> (USED) (DEP (1 M ?))


(ATTEND RESP)


OUTPUT FOR (ATTEND STIM) - (dep (stint reb))1 8.998 6 8.85MAB

3

OUTPUT FOR (ATTEND RESP) - (dep (resp mol))4 10 11 12 14 15NOW INSERTING


OUTPUT FOR (ATTEND STIM) - (dep (stint noj))1 8.895 6 6 8.8 7 7 8

PAX

3OUTPUT FOR (ATTEND RESP) - (dep (resp ped))4 10 13 14 15

NOW INSERTING(3 D ?) (1 P ?) -> (OLD) (DEP (REPLY PED)) (SAY PED)ON LINE 8.7

16 16 18 19NOW INSERTING(3 J ?) (1 N ?) -> (USED) (DEP (3 D ?)) (DEP (TEST NOJ)) (DEP (1

p

ON LINE 8.893

8.5. (1C?) -> (OLD) (DEP (REPLY CON)) (SAY CON)

"display 8-98. (TEST XI) (TEST X2) - (R-GEN) ->

(DEP (REPLY XI) (R-GEN)) (SAY XI)8.3. (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)8.4. (3 T ?) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))(3 Q ?) (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)ON LINE 8.82

16 18 19NOW INSERTING (DEP (TEST PAX))(IN') -> (USED) (DEP (3 Q ?)) (DEP (TEST NAD) (DEP (1 L ?)) 882. (3 Q?)(1 L ?) => (OLD) (DEP (REPLY LEQ))ON LINE 8.985 (SAY LEQ)

8.83. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)8.84. (2 E ?) (3 X?) (1 B ?) -> (USED)

(DEP (1 L ?)) (DEP (TEST BEX)).display 8-9 8.84. (2 E ?) (3 X ?) (1 B ?) »> (USED)

8. (TEST XI) (TEST X2) - (R-GEN) -> (DEP (1 L ?)) (DEP (TEST BEX))(DEP (REPLY XI) (R-GEN)) (SAY XI) 8845. (3 L?)(1M ?) -> (OLD) (DEP (REPLY MOD)

8.3. (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER) (SAY MOL)8.4. (3 T ?) (1 C ') -> (USED) (DEP (1 D ?)) gB5 (1 M ?) m> (OLD) (DEP (REPLY MAB)) (SAY MAB)

(DEP (TEST CIT)) 888 (3 « ?) (1 B ?) -> (USED) (DEP (1 M ?))8.5. (1 C ?) -> (OLD) (DEP (REPLY CON)) (SAY CON) , (DEP (TEST BUK))

8.89. (IP?) -> (OLD) (DEP (REPLY PED)) (SAY PED)8.895. (3 J ?) (1 N?) -> (USED) (DEP (1 P ?))

(DEP (TEST NOJ))(DEP (TEST PAX))

8.82. (3 Q ?) (1 L ?) -> (OLD) (DEP (REPLY LEQ))(SAY LEQ) 8.9. (1 L ?) => (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

8.95. (1 B ?) => (USED) (DEP (1 L ?))(DEP (TEST BEX))

8.83. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ) 8.95. (IB?) "=> (USED) (DEP (1 L ?))8.84. (2 E ?) (3 X ?) (1 B ?) "> (USED) (DEP (TEST BEX))

(DEP (1 L ?)) (DEP (TEST BEX)) B.gB. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.85. (1 M ?) -> (OLD) (DEP (REPLY MAB» (SAY MAB) 8.985. (IN?) -> (USED) (DEP (3 Q ?))8.88. (3 X ?) (1 B ?) -> (USED) (DEP (1 M ?)) (DEP (TEST NAL)) (DEP (1 L ?))

(DEP (TEST BUK)) 8.99. (1 N ?) -> (USED) (DEP (1 L ?))8.89. (IP?) => (OLD) (DEP (REPLY PED)) (SAY PED) (DEP (TEST NAD)

8.895. (3 J ?) (1 N ?) => (USED) (DEP (1 P ?» 8.995. (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)(DEP (TEST NOJ)) 8.997. (1 R ') =>"

(USED) (DEP (3 L ?))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)


8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.985. (IN?) ■> (USED) (DEP (3 Q ?))

(DEP (TEST NAD) (DEP (1 L ?))8.99. (1 N ?) -> (USED) (DEP (1 L ?))

(DEP (TEST NAD)

16 18 19

(DEP (TEST REB)) (DEP (1 M ?))8.998. (1 R ?) -> (USED) (DEP (1 M ?))


(ATTEND RESP)

NUWINbtkUNG .display 8-9(3 L ?) (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL) 8. (TEST XI) (TEST X2) - (R-GEN) ->ON LINE 8.845 (DEP (REPLY XI) (R-GEN)) (SAY XI)

16 18 19 8.3. (ID?) -> (OLD) (DEP (REPLY DER)) (SAY DER)NOW INSERTING 8.4. (3 T?)(1 C ?) -> (USED) (DEP (1 D ?))(1 R ?) -> (USED) (DEP (3 L ?)) (DEP (TEST REB)) (DEP (1 M ?)) (DEP (TEST CIT))ON LINE 8.997 imnrn .s (ni nwnFP crfpi v cokd) (say CON:

H) J"

.'

IV^5.

DER

3OUTPUT FOR (ATTEND RESP) - (dep (resp der))5" initialize fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim buk))1 8.88 6 6 8.85MAB

3OUTPUT FOR (ATTEND RESP) - (dep (resp mab))5" initialize fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim nal))1 8.985 6 8.82LEQ

38.995. (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)8.997. (1R?) -> (USED) (DEP (3 L ?))

OUTPUT FOR (ATTEND RESP) - (dep (resp leg))5(DEP (TEST REB)) (DEP (1 M ?))

8.998. (1 R ?) -> (USED) (DEP (1 M ?))(DEP (TEST REB)) " initialize

fireINITIALIZED2

OUTPUT FOR (ATTEND STIM) - (dep (stim reb))1 8.997 6 8.845" initialize fireINITIALIZED MOL

2OUTPUT FOR (ATTEND STIM) - (dep (stim pax))

1 8 8 6 8.53

OUTPUT FOR (ATTEND RESP) - (dep (resp mol))5CON


3OUTPUT FOR (ATTEND RESP) - (dep (resp con))5

■OUTPUT FOR (ATTEND STIM) - (dep (stim noj))1 8.893 6 6 8.7

" initialize fireINITIALIZED PED2

OUTPUT FOR (ATTEND STIM) - (dep (stim bek))1 8 84 6 6 6 8.83 3OUTPUT FOR (ATTEND RESP) - (dep (resp ped))5LUQ

"display3 1. (READY) (STIM XI) -> (REM (READY))

(PERCEIVE XI ')OUTPUT FOR (ATTEND RESP) - (dep (resp lug))5 2. (READY) ■> (ATTEND STIM)3 (REPLY) - (RESP) -> (ATTEND RESP)


4. (REPLY XI) - (RESP XI) -> (REP REPLY WRONG)5. (REPLY XI) (RESP XI) -> (STOP)6. (USED) (TEST XI) - (TEST X2) ->

(REP USED USED.)OUTPUT FOR (ATTEND STIM) - (dep (stim cit))184 6 6 8.3 7. (TEST XI) (TEST X2) (X3X4?) ->(REM (X3X4?))

87. (3 D ?) (1 P ?) ■> (OLD) (DEP (REPLY PED))(SAY PED)

8 8 (1 P ?) -> (DEP (1 c?))(DEP (TEST PAX))

882 (3 Q ?) (1 L ?) -> (OLD) (DEP (REPLY LEQ))(SAY LEQ)

883 (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)884 (2 E ?) (3K?) (1 B ?) -> (USED)

(DEP (1 L ?)) (DEP (TEST BEX))8 845 (3 L ?) (1 M ?) -> (OLD) (DEP (REPLY MOD)

(SAY MOL)8 85. (1 M ?) "> (OLD) (DEP (REPLY MAB)) (SAY MAB)888 (3 X ') (1 B ?) -> (USED) (DEP (1 M ?))

(DEP (TEST BUK))8 89. (1 P?) -> (OLD) (DEP (REPLY PED)) (SAY PED)

8 893 (3 J ') (1 N ?) -> (USED) (DEP (3 D ?))(DEP (TEST NOJ)) (DEP (1 P ?))

8 895 (3 J ?) (1 N ?) -> (USED) (DEP (1 P ?))(DEP (TEST NOJ))

8 9 (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)895. (1 B?) -> (USED) (DEP (1 L ?))

(DEP (TEST BEX))898 (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)

8 985 (1 N?) ■> (USED) (DEP (3 Q ?))(DEP (TEST NAD) (DEP (1 L ?))

899 (1 N ') => (USED) (DEP (1 L ?))(DEP (TEST NAD)

9. - (RESP) -> iDEP (REPLY ?)) (SAY ?)(ATTEND RESP)

111

8.5. (1 C ') -> (OLD) (DEP (REPLY CON)) (SAY CON)8.7. (3 D ') (1 P ?) ■> . (OLD) (DEP (REPLY PED))

(SAY PED)8.8. (1 P ? ) -> (USED) (DEP (1 C ?))

(DEP (TEST PAX))

8.995. (1 M ?) -> (OLD) (DEP (REPLY MOD) (SAY MOL)8.997. (1 R ?) -> (USED) (DEP (3 L ?))

(DEP (TEST REB)) (DEP (1 M ?))8.998. (1 R ?) -> (USED) (DEP (1 M ?))


(ATTEND RESP)10. (RESP XI) - (X2X3RESP) -> (PERCEIVE XI RESP)1 1. (WRONG) (TEST XI) (STIM XI) - (R-GEN) ->

I 13. (USED XI) (USED.) (R-GEN) -> (REP USED COND)(DEP (HOLD XI))

15. (XI X2RESP) (RESP X3) (WRONG X4) - (DONE)-> (COND (XI X2'))

(ACTION (OLD) (DEP (REPLY X3)> (SAY X3))(PROD (SAY X4) (TEST X4)) (DEP (DONE))

16. (USED. XI) -> (REP USED. COND)17. (OLD) (DONE)- (TEST) -> (REP OLD COND)18. (R-GEN) (HOLD (XI X2')) ->

(REM (HOLD (XI X2?))) (ACTION (DEP (XI X2?)))19. (R-GEN) (XI X2RESP) (STIM X3) (WRONG X4) ">(ACTION (DEP (TEST X3)))

(ACTION (USED) (DEP (XI X2?)))(PROD (DEP (TEST X3))) (STOP)

20. (XI X2?) (COND (XI X2?))

(ACTION (USED) (DEP (X3X4?)) (DEP (TEST X5)»(PROD (SAY X6)) (STOP)

8. (TEST XI) (TEST X2) - (R-GEN) ->(DEP (REPLY XI) (R-GEN)) (SAY XI)

8 3 (1 D ?) -> (OLD) (DEP (REPLY DER)) (SAY DER)84. (3 T ■>) (1 C ?) -> (USED) (DEP (1 D ?))

(DEP (TEST CIT))

8.82. (3 Q ?) (1 L ?) -> (OLD) (DEP (REPLY LEQ))(SAY LEQ)

883 (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)8.84. (2 E ?) (3 X ?) (1 B ?) -> (USED)

(DEP (1 L ?)) (DEP (TEST BEX))8845. (3 L ?) (1 M ?) -> (OLD) (DEP (REPLY MOD)

(SAY MOL)8.85. (1 M ?) -> (OLD) (DEP (REPLY MAB)) (SAY MAB)8.88. (3 X ?) (1 B ?) => (USED) (DEP (1 M ?))

(DEP (TEST BUK))

8.89. (1 P ?) ■» (OLD) (DEP (REPLY PED)) (SAY PED)8.893. (3 J ?) (1 N ?) => (USED) (DEP (3 D ?))

(DEP (TEST NOJ)) (DEP (1 P ?))8895. (3 J ?) (1 N ?) -> (USED) (DEP (1 P ?))

(DEP (TEST NOJ))8.9. (1 L ?) -> (OLD) (DEP (REPLY LUQ)) (SAY LUQ)

8.95. (1 B ?) ■> (USED) (DEP (1 L ?))(DEP (TEST BEX))

8.98. (1 L ?) -> (OLD) (DEP (REPLY LEQ)) (SAY LEQ)8.985. (1 N ?) -> (USED) (DEP (3 Q ?))

(DEP (TEST NAD) (DEP (1 L ?))8.99. (1 N ?) -> (USED) (DEP (1 L ?))

(DEP (TEST NAD)

(DEP (R-GEN))12. (OLD XI) (R-GEN) ■> (REP OLD COND)

(DEP (HOLD XD)

14. (R-GEN) (COND (XI X 2?)) (XI X2RESP) ->(REM (XI X2RESP))

V-lTrace of Simple Series Completion Production System_ on ABAB.APPENDIX V.

" memory display psdisplay

MEMORY MODE1 STM - (READY)

PS MODE1. (READY) (SERIES XI) -> (REP READY CONT)

(OBSERVE XI ?)

(ACTION (DEP (NEXT XI))) (PROD END)(DEP (LOC XD)

4 (0 XI ') -> (SUCC)5 (ERROR) (SERIES XI) (LOC X2) - (X3?) ->

(CLEAR (SERIES XI) (LOC X2)) (DEP (READY))6. (NEXT XI) - (X2?) -> (SAY XI)

(DEP (MATCH) (XI ?)) (STOP)7. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))

- (MATCH) -> (DEP (MATCH))8. (USED) - (MATCH) - (ERROR) -> (DEP (ERROR))9. (USED (XI X2?)) (NEXT) -> (REP USED OLD)10. (XI X2?) (NEXT)- (DONE) ->

(REP (XI X2?) (OLD (XI X2?))) (DEP (DONE))11. (OLD (XI X2?)) -> (REP OLD COND)

(DEP (XI X2'))12. (NEXT XI) (MATCH) (SERIES X2) ->


13. (LOC XI) (NEXT X2)(ACTION (USED) (DEP (NEXT X3))) -> (REP XI X3)(REP (NEXT X2) CONT 2) (REM (DONE))(PROD (NEXT XI))

14. (XI ?) (CONT) (X2?) -> (REP XI (0 XD)(REM (CONT)) (ACTION (USED) (DEP (NEXT X2»)

15. (XI ?) (CONT) -> (REP XI (0 XD) (REM (CONT))

"" fire

2 TRUE IN PSOUTPUT FOR (ATTEND SERIES) - (dep (series abab))STM: (SERIES ABAB) (READY)

1 TRUE IN PSSTM: (A ?) (B ?) (A ?) (B ?) (CONT) (SERIES ABAB)

3 TRUE IN PSNOW INSERTING(1 X4?) -> (DEP (NEXT A))ONLINE 16

STM: (LOC A) (A ?) (B ?) (A ?) (B ?) (CONT)(SERIES ABAB)

14 TRUE IN PSSTM: (ACTION (USED) (DEP (NEXT B))) (0 A ?) (B ?)

(LOC A) (A ?) (B ?) (SERIES ABAB)

4 TRUE IN PSSTM: (1 A ?) (ACTION (USED) (DEP (NEXT B))) (B ?)

(LOC A) (A ?) (B ?) (SERIES ABAB)

16 TRUE IN PSSTM: (NEXT A) (1 A ?)

(ACTION (USED) (DEP (NEXT B))) (B ?) (LOC A)(A ?) (B ?) (SERIES ABAB)

10 TRUE IN PS

STM: (DONE) (OLD (1 A ?)) (NEXT A)(ACTION (USED) (DEP (NEXT B).» (B ?) (LOC A)(A ?) (B ?) (SERIES ABAB)

11 TRUE IN PSSTM: (l A ?) (COND (1 A ?)) (DONE) (NEXT A)

(ACTION (USED) (DEP (NEXT B))) (B ?) (LOC A)(A ?) (B ?) (SERIES ABAB)

13 TRUE IN PSNOW INSERTING(1 A ?) -> (USED) (DEP (NEXT B))ON LINE 15.5

STM: (LOC B) (CONT) (1 A ?) (B ?) (A ?) (B ?)(SERIES ABAB)

14 TRUE IN PSSTM: (ACTION (USED) (DEP (NEXT A))) (0 B ?) (A ')

(LOC B) (1 A ?) (B ?) (SERIES ABAB)

4 TRUE IN PSSTM: (1 B ?) (ACTION (USED) (DEP (NEXT A))) (A ?)

(LOC B) (2 A ?) (B ?) (SERIES ABAB)

16 TRUE IN PSSTM: (NEXT A) (1 B ?)

(ACTION (USED) (DEP (NEXT A))) (A ?) (LOC B)(2 A ?) (B ?) (SERIES ABAB)

10 TRUE IN PSSTM: (DONE) (OLD (1 B ?)) (NEXT A)


11 TRUE IN PSSTM: (1 B ?) (COND (1 B ?)) (DONE) (NEXT A)


13 TRUE IN PSNOW INSERTING(1 B ?) *> (USED) (DEP (NEXT A))ON LINE 15.3

STM: (LOC A) (CONT) (1 B ?) (A ?) (2 A ?) (B ?)(SERIES ABAB)

14 TRUE IN PSSTM: (ACTION (USED) (DEP (NEXT B))) (0 A ?) (B ?)

(LOC A) (1 B ?) (2 A ?) (SERIES ABAB)

4 TRUE IN PSSTM: (l A ?) (ACTION (USED) (DEP (NEXT B))) (B ?)

(LOC A) (2 B ?) (3 A ?) (SERIES ABAB)

15.5 TRUE IN PSSTM: (NEXT B) (USED (1 A ?))

(ACTION (USED) (DEP (NEXT B))) (B ') (LOC A)(2 B ?) (3 A ?) (SERIES ABAB)

7 TRUE IN PSSTM: (MATCH) (NEXT B) (USED (1 A ?))

(ACTION (USED) (DEP (NEXT B)» (B ?) (LOC A)(2 B ?) (3 A ?) (SERIES ABAB)

9 TRUE IN PS

2 (READY) -> (ATTEND SERIES)3 (XI ?)- (LOC) -> (COND (1 X4?))

STM (OLD (1 A ?)) (NEXT B) (MATCH)(ACTION (USED) (DEP (NEXT B))) (B ?) (LOC A)(2 B ?) (3 A ?) (SERIES ABAB)

10 TRUE IN PSSTM: (DONE) (OLD (2 B ?)) (NEXT B) (OLD (1 A ?))

(MATCH) (ACTION (USED) (DEP (NEXT B») (B ?)(LOC A) (3 A ?) (SERIES ABAB)

11 TRUE IN PSSTM: (2 B ?) (COND (2 B ?)) (DONE) (NEXT B)

(OLD (1 A ?)) (MATCH)(ACTION (USED) (DEP (NEXT B))) (B ?) (LOC A)(3 A ?) (SERIES ABAB)

11 TRUE IN PSSTM: (1 A ?) (COND (1 A ?)) (2 B ?) (COND (2 B ?))

(DONE) (NEXT B) (MATCH)(ACTION (USED) (DEP (NEXT B))) (B ?) (LOC A)(3 A ?) (SERIES ABAB)

12 TRUE IN PSSTM. (CONT) (SERIES ABAB) (1 A ?) (2 B ?) (B ?)

(LOC A) (3 A ?)

V-2

11 TRUE IN PSSTM: (l B ?) (COND (1 B ?)) (2 A ?) (COND (2 A ?))

(DONE) (NEXT A) (A ?) (MATCH) (SERIES ABAB)(3 B ?) (LOC A) (4 A ?)

12 TRUE IN PSSTM: (CONT) (SERIES ABAB) (1 B ?) (2 A ?) (A ?)

(3 B ?) (LOC A) (4 A ?)

15 TRUE IN PSSTM: (0 A ?) (SERIES ABAB) (1 B ?) (2 A ?) (3 B ?)

(LOC A) (4 A ?)

4 TRUE IN PSSTM: (1 A ?) (SERIES ABAB) (2 B ?) (3 A ?) (4 B ?)

(LOC A) (5 A ?)

15.5 TRUE IN PSSTM: (NEXT B) (USED (1 A ?)) (SERIES ABAB) (2 B ?)

(3 A ?) (4 B ?) (LOC A) (5 A ?)

6 TRUE IN PS

B15 TRUE IN PS

STM. (B ?) (MATCH) (NEXT B) (USED (1 A ?))STM. (0 B ?) (SERIES ABAB) (1 A ?) (2 B ?) (LOC A)(3 A ?) (SERIES ABAB) (2 B ?) (3 A ?) (4 B ?) (LOC A)

(5 A?)4 TRUE IN PSSTM: (l B ?) (SERIES ABAB) (2 A ?) (3 B ?) (LOC A)

(4 A ?)

15.3 TRUE IN PSSTM: (NEXT A) (USED (1 B ?)) (SERIES ABAB) (2 A ?)

(3 B ?) (LOC A) (4 A ?)

6 TRUE IN PS

A

STM. (A ?) (MATCH) (NEXT A) (USED (1 B ?))(SERIES ABAB) (2 A ?) (3 B ?) (LOC A) (4 A ?)

"fire9 TRUE IN PSSTM: (OLD (1 B ?)) (NEXT A) (A ?) (MATCH)

(SERIES ABAB) (2 A ?) (3 B ?) (LOC A) (4 A ?)

10 TRUE IN PSSTM: (DONE) (OLD (2 A ?)) (NEXT A) (OLD (1 B ?))

(A ?) (MATCH) (SERIES ABAB) (3 B ?) (LOC A)(4 A ?)

11 TRUE IN PSSTM: (2 A ?) (COND (2 A ?)) (DONE) (NEXT A)

(OLD (1 B ?)) (A ?) (MATCH) (SERIES ABAB)(3 B ') (LOC A) (4 A ?)

" display 15-1615. (XI ?) (CONT) -> (REP XI (0 XI)) (REM (CONT))15.3. (IB?) -> (USED) (DEP (NEXT A))15.5. (1 A ') -> (USED) (DEP (NEXT B)>

16. (1 X4?) -> (DEP (NEXT A))

VI■I

1Trace of Simple Series Completion Production-Sysiem-on ABAACAABA. VIAPPENDIX VI.

.m«mory display ps displayMEMORY MODE

(1 A ?) (2 C ?) -> (USED) (DEP (NEXT A))ON LINE 15.03

14 4 15.1 9 g 10 11 11 11 13NOW INSERTING

1 STM - (READY)PS MODE

1 (READY) (SERIES XI) ■> (REP READY CONT)(OBSERVE XI ?)


4 (0 XI ?) -> (SUCC)5 (ERROR) (SERIES XI) (LOC X2) - (X3?) ->

(CLEAR (SERIES XI) (LOC X2)) (DEP (READY))

«

7. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))- (MATCH) «> (DEP (MATCH))8. (USED) - (MATCH) - (ERROR) »> (DEP (ERROR))9. (USED (XI X2?)) (NEXT) -> (REP USED OLD)10. (XI X2?) (NEXT)- (DONE) -> 15.03. (1 A ?) (2 C ?) -> (USED) (DEP (NEXT A))

15.05. (1C?) -> (USED) (DEP (NEXT A))15.1. (1 A ?) (2 A ?) -> (USED) (DEP (NEXT O)15.2. (1 A ?) (2 B ?) -> (USED) (DEP (NEXT A))15.3. (1 B ?) -> (USED) (DEP (NEXT A))15.5. (1 A?) -> (USED) (DEP (NEXT ED)

(REP (XI X 2?) (OLD (XI X 2?))) (DEP (DONE))11. (OLD (XI X2?» -> (REP OLD COND)

(DEP (XI X2?))12. (NEXT XI) (MATCH) (SERIES X2) ->

(REP (NEXT XI) CONT) (REM (MATCH) (DONE))(PROD (SERIES X2)) 16. (1 X4?) -> (DEP (NEXT A))

13. (LOC XI) (NEXT X2)(ACTION (USED) (DEP (NEXT X3))) -> (REP XI X3)(REP (NEXT X2) CONT 2) (REM (DONE)) "

fire9 9 10 11 11 11 12 15 4 15.1 6

(PROD (NEXT XD) C14. (XI ?) (CONT) (X2?) -> (REP XI (0 XD)

(f?£M (CONT)) (ACTION (USED) (DEP (NEXT X2))) "fire9 9 10 11 11 11 12 15 4 15.05 615. (XI ?) (CONT) -> (REP XI (0 XI)) (REM (CONT))A

"fire2

OUTPUT FOR (ATTEND SERIES) - (dep (series abaacaaba))1 3NOW INSERTING

14 4 16 10 11 13NOW INSERTING(1 A ?) -> (USED) (DEP (NEXT B))ON LINE 15.5

14 4 16 10 11 13NOW INSERTING(IB?) -> (USED) (DEP (NEXT A))ONLINE 153

14 4 15.5 8 9 10 11 11 13NOW INSERTING

14 4 15.5 9 10 11 11 13NOW INSERTING(1 A ?) (2 A ?) -> (USED) (DEP (NEXT C»ONLINE 15.1

14 4 16 10 11 13NOW INSERTING(1 C?) -> (USED) (DEP (NEXT A))ON LINE 1505

14 4 15.5 9 10 11 11 13NOW INSERTING

(1 A ?) (2 A ?) (3 C ?) -> (USED) (DEP (NEXT B))ON LINE 15.0214415.3 791011 11 1215451 14415 5 791110 11 12 14 4 15.3 7 9 10 11 11 12 1.4 4 15.2 7 9 9 1011 11 11 12 14415.17991011 11 11 12144 15 0579 10 111112 144 15.03 799 10 1111111214415.02 7 9 g g 10 11 11 11 11 12 14 4 15.3 7 9 10 11 1112 15 4 15.2 6

A

2 (READY) -> (ATTEND SERIES)3 (XI ?)- (LOC) -> (CONDd X4?))

6. (NEXT XI) - (X2?) -> (SAY XI)(DEP (MATCH) (XI ?)) (STOP)

"display 15-1615. (XI ?) (CONT) -> (REP XI (0 XD) (REM (CONT))15.02. (1 A ?) (2 A ?) (3 C ?) -> (USED)

(DEP (NEXT B))

(1 X4?) «> (DEP (NEXT A))ONLINE 16

(1 A ?) (2 B ?) -> (USED) (DEP (NEXT A))ONLINE 15.2

APPENDIX VII. Trace of Bottle Series Production System on GU BR YU GD YL BU GR. VII

f

" memory display ps displayMEMORY MODE

I.STM - (READY)PS MODE

1. (READY) (ANS) (SERIES XI) "> (REP READY CONT)(OBSERVE2XI ?)

2. (READY) (SERIES XI) -> (REP READY CONT)(OBSERVEI XI ?)

3 (NEXT XI) (SERIES X2) - (X3?) - (ERROR) - (ANS)-> (CLEAR)

(DEP (CONT) (LOC XD (ANS XI) (SERIES X2))(OBSERVE2X2?)


6. (0 XI ?) -> (SUCC)7. (XI X2?) (ERROR) - (X3?) -> (REM (XI X2?))8. (ERROR) - (X2?) -> (REP ERROR READY)9. (NEXT XI) (ANS X2) - (X3?) -> (SAY X2XI)

(STOP)10. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))

- (MATCH) ■=> (DEP (MATCH))1 1. (NEXT XI) (USED) - (MATCH) - (ERROR) ->

(DEP (ERROR))12. (USED (XI X2?)) (NEXT) -> (REP USED OLD)13. (XI X2?) (NEXT) - (DONE) ->

(REP (XI X2?) (OLD (XI X2?))) (DEP (DONE))14. (OLD (XI X2?)) -> (REP OLD COND)

(DEP (XI X 2?))15. (NEXT XI) (MATCH) (SERIES X2) ->


16. (LOC XI) (NEXT X2)(ACTION (USED) (DEP (NEXT X3))) -> (REP XI X3)(REP (NEXT X2) CONT 2) (REM (DONE))(PROD (NEXT XD)

17. (XI ?) (CONT) (X2?) -> (REP XI (0 XI))(REM (CONT)) (ACTION (USED) (DEP (NEXT X2)))

18. (XI ?) (CONT) -> (REP XI (0 XD) (REM (CONT))

" fire4OUTPUT FOR (ATTEND SERIES) - (dep (series (gu br yu gd yl bu gr)))2 5NOW INSERTING(1 X4') ■> (DEP (NEXT G))ONLINE 19

17 6 19 13 14 16NOW INSERTING(1 G ?) -> (USED) (DEP (NEXT B))ON LINE 185

17 6 19 13 14 16NOW INSERTING(1 B') -> (USED) (DEP (NEXT V))ON LINE 18.3

17 6 19 13 14 16NOW INSERTING(1 V') -> (USED) (DEP (NEXT G))ONLINE 182

17 6 185 11 12 13 14 14 16NOW INSERTING(1 G ?) (2 V ?) .> (USED) (DEP (NEXT V))

ONLINE 18.117 6 18.2 12 13 14 14 16

NOW INSERTING(1 V ?) (2 G ?) -> (USED) (DEP (NEXT B))ON LINE 18.05

17 6 18.3 12 13 14 14 16NOW INSERTING(1 B ?) (2 V ?) -> (USED) (DEP (NEXT G»ON LINE 18.03

NOW INSERTING

17 6 19 13 14 16NOW INSERTING(1 R ?) -> (USED) (DEP (NEXT U))ON LINE 18.035

17 6 18.04 11 12 13 14 14 16NOW INSERTING(1 U ?) (2 R ?) -> (USED) (DEP (NEXT D))ON LINE 18.033

17 6 19 13 14 16NOW INSERTING(1 D ?) -> (USED) (DEP (NEXT D)ON LINE 18032

17 6 19 13 14 16NOW INSERTING

"display 18-1918. (XI ?) (CONT) -> (REP XI (0 XD) (REM (CONT))

18.03. (1 B ?) (2 V ?) -> (USED) (DEP (NEXT G))18.031. (1L?) -> (USED) (DEP (NEXT U))18.032. (1 D ?) -> (USED) (DEP (NEXT D)18.033. (1 U ?) (2 R ') -> (USED) (DEP (NEXT D))18.035. (1 R ?) -> (USED) (DEP (NEXT U))18.04. (1 U ?) => (USED) (DEP (NEXT R»18.05. (1 V ?) (2 G ?) -> (USED) (DEP (NEXT B))18.1. (1 G ?) (2 V ?) -> (USED) (DEP (NEXT V))18.2. (1Y?) -> (USED) (DEP (NEXT G))18.3. (IB?) -> (USED) (DEP (NEXT V))18.5. (1 G ?) -> (USED) (DEP (NEXT B))

19. (1 X4?) -> (DEP (NEXT G))

*

4. (READY) -> (ATTEND SERIES)5. (XI ?) - (LOC) -> (COND (1 X4?))

18 6777777782 17 6 18.5 10 12 14 13 14 15 17 618.3 10 12 13 14 14 15 17 6 18.2 10 12 13 14 14 15 17 ■18.1 10 12 12 13 14 14 14 15 17 6 18.05 10 12 12 13 1414 14 15 17 6 18.03 10 12 12 13 14 14 14 15 18 6 185 317 6 19 13 14 16

(1 U ?) -> (USED) (DEP (NEXT R))ON LINE 18.04

(1 L ?) => (USED) (DEP (NEXT U))ON LINE 18.031 _

17 6 18.04 10 12 13 14 14 15 18 6 7 7 7 7 7 7 7 8 1 176 18.04 10 12 14 13 14 15 17 6 18.035 10 12 13 14 14 1517 6 18.033 10 12 12 13 14 14 14 15 17 6 18032 10 1213 14 14 15 17 6 18.031 10 12 13 14 14 15 17 6 18.04 1012 13 14 14 15 18 6 18.035 9

B U

VPPENDIX VIII- Trace of Complex Series Completion Production System. VIII-1.

" memorydisplay ps display

MEMORY MODE"display 15-16

15. (CONT) (XI ?) -> (REP XI (0 XI) 2)(REM (CONT))1. STM - (READY)

15.3. (2 XI ?) (1 X2?) «> (USED) (DEP (NEXT XD)(DEP (LOC 3))PS MODE

1 (READY) (SERIES XI) -> (REP READY CONT)(DEP (PNUM 2) (COUNTS 0)) (OBSERVES XI ?) 15.5. (1 XI ?) -> (USED)

(DEP (NEXT D»(DEP (LOC 2)) (DEP (ERROR))2 (READY) -> (ATTEND SERIES) (DEP (PERIOD D)

3. (COUNT) (COUNTS XI) -> (REM (COUNT)) 16.(1 XI ?) -> (DEP (NEXT XI) (LOC D)

(REP XI XD4. (0 XI ?) -> (SUCC)5 (FAIL) (PERIOD XI) (SERIES X2) -> (ERASE)

(CLEAR) (DEP (READY) (PERIOD Xl) (SERIES X2))6. (PERIOD XI) (COUNTS XT) (SERIES X2) ->

(ERASE) (CLEAR)(DEP (READY) (PERIOD Xl) (SERIES X2))

7. (NEXT XI) - (X2') - (ACTION) -> (SAY XI)(DEP (MATCH) (XI ?)) (STOP)

8. (NEXT XI) (USED) (ACTION (USED) (DEP (NEXT XI)))- (MATCH) - (ERROR) -> (DEP (MATCH))♦ memory display ps displayMEMORY MODE

1. STM - (READY)9. (XI X2?) (NEXT) - (DONE) ->(DEP (OLD (XI X2?))) (DEP (DONE))

PS MODE10. (USED (XI X2?)) -> (REP USED OLD)(DEP (XI X2?)) 1. (READY) (SERIES XI) -> (REP READY CONT)

(DEP (PNUM 2) (COUNTS 0)) (OBSERVES XI ?)11. (OLD (XI X2?)) -> (REP OLD COND)12. (MATCH) (NEXT XI) (SERIES X2) (LOC X3) -> 2. (READY) -> (ATTEND SERIES)

(DEP (PERIOD D)

3. (COUNT) (COUNTS XD -> (REM (COUNT))(REP (NEXT XI) CONT 2)(REM (MATCH) (DONE) (LOC X3)) (PROD (SERIES X2))

13. (LOC XI) (NEXT X2) (PERIOD X3> (SERIES X4)(REP XI XT)

4. (0 XI ?) -> (SUCC)5. (FAIL) (PERIOD XD (SERIES X2) ■» (ERASE)

(CLEAR) (DEP (READY) (PERIOD Xl) (SERIES X2»(COUNTS Xs> -> (REM (LOC XI) (DONE) (ERROR))(REP (NEXT X2) CONT) (PRODS (LOC XI) X3X4X5)

6. (PERIOD XI) (COUNTS XT) (SERIES X2) ->(ERASE) (CLEAR)14.

(CONT) (XI ?) (PNUM X2) (X3?) ->(REP XI (0 XI) 2) (REP X2X2' 3) (REM (CONT))(ACTION (USED) (DEP (NEXT X3)) (DEP (LOC X2))) (DEP (READY) (PERIOD XT) (SERIES X2))

7. (NEXT XI) - (USED) (DEP (NEXT C» (DEP (LOC 3))ON LINE 15.3

(REP XI (0X1)2) (REP X2X2' 3) (REM (CONT))(ACTION (USED) (DEP (NEXT X3» (DEP (LOC X2)))5 1 14 4 16 9 11 13NOW INSERTING

15. (CONT) (XI ?) -> (REP XI (0 XI) 2)(REM (CONT))

(1X1?) -> (USED) (DEP (NEXT D)) (DEP (LOC 2)) (DEP (ERROR))ON LINE 15.5

16. (1 XI ?) -> (DEP (NEXT XD (LOC D)14 4 15.5 9 10 11 11 13NOW INSERTING(2 XI ?) (1 X2?) -> (USED) (DEP (NEXT XI)) (DEP (LOC 3))ON LINE 15.3 ♦fire3 14 4 15.3 8 9 10 10 11 11 11 12 14 4 15.3 8 9 10 10 1111 11 12 14 4 15.3 8 9 10 10 11 11 11 12 15 4 15.3 7

2OUTPUT FOR (ATTEND SERIES) - (dep (series abmcdmef))

1 14 4 16 9 11 13CNOW INSERTING(1X1?) -> (USED) (DEP (NEXT XI')) (DEP (LOC 2))ON LINE 15.5"

fire9 10 10 11 11 11 12 15 4 15.3 7

D 3 14 4 15.5 9 10 11 11 13

*

*

15. (CONT) (XI ?) -> (REP XI (0 XI) 2)(REM (CONT))

16. (1 XI ?) -> (DEP (NEXT XI) (LOC D)

9. (XI X2?) (NEXT) - (DONE) ->(DEP (OLD (XI X2?))) (DEP (DONE))

VIII-2

NOW INSERTING

5 1 14 4 16 9 11 13NOW INSERTING(1X1') -> (USED) (DEP (NEXT B)) (DEP (LOC 2)) (DEP (ERROR))ON LINE 15.5

14 4 155 9 10 11 11 13NOW INSERTING

5 114 4 16 9 1113NOW INSERTING(I XI ') -> (USED) (DEP (NEXT B)) (DEP (LOC 2)) (DEP (ERROR))ON LINE 15.5

14 4 15.5 9 10 11 11 13NOW INSERTING(2 XI ?) (1 X2?) -> (USED) (DEP (NEXT M)) (DEP (LOC 3)) (DEP (ERROR))ON LINE 15.3

14 4 153 9 10 10 11 11 11 13NOW INSERTING(3XI ?) (2 X2?) (1 X3?) -> (USED) (DEP (NEXT XI")) (DEP (LOC 4))ON LINE 15.23 14 4 152 89 10 10 10 11 11 11 11 12 14 4 15.2 9101010 1 1 11 11 11 13

NOW INSERTING(4 XI ') (3 M ?) (2 X3?) (1 XI" ?) -> (USED) (DEP (NEXT M)) (DEP (LOC 6))ON LINE 15.13 14 4 152 89 10 10 10 11 11 11 11 12 14 4 15.2 891010 10 1 1 111111 12 15 4 15.1 7

M

(2 XI ?) (1 X2?) -> (USED) (DEP (NEXT M)> (DEP (LOC 3))ONLINE 153

(2 XI ') (1 X2?) => (USED) (DEP (NEXT M)) (DEP (LOC 3»ONLINE 153

"fire9 10 10 10 10 11 11 11 11 11 12 15 4 15.2 7G

"fire9 10 10 10 11 11 11 11 12 154 15.2 7H

" display 15-1615 (CONT) (XI ?) -> (REP XI (0 XI) 2)(REM (CONT))

15 1 (4 XI ?) (3 M ?) (2 X3?) (1 XI" ?) ■> (USED)(DEP (NEXT M)) (DEP (LOC 6))

152. (3 XI ?) (2 X2?) (1 X3?) -> (USED)(DEP (NEXT XI")) (DEP (LOC 4))

15 3. (2 XI ') (1 X2') -> (USED) (DEP (NEXT M))(DEP (LOC 3)) (DEP (ERROR))

155 (1 XI ?) -> (USED) (DEP (NEXT B»(DEP (LOC 2)) (DEP (ERROR))

16 (1 XI ') -> (DEP (NEXT XI) (LOC D)

=> XI X => X3Xkx773vt6666/kx773... · 2015. 10. 12. · (TEST XI) (TEST X2)-(R-GEN) => (DEP (REPLY...

Documents

Transcript of => XI X => X3Xkx773vt6666/kx773... · 2015. 10. 12. · (TEST XI) (TEST X2)-(R-GEN) => (DEP (REPLY...