Last active
July 3, 2017 05:04
-
-
Save windshield-rider/6802dd950d8310bd1ed78c80a34b6589 to your computer and use it in GitHub Desktop.
Multicolumn Addition with Carryover : ACT-R Model
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(clear-all) | |
(define-model tutor-model | |
(sgp :esc t :lf .05 :trace-detail high) | |
;; Add Chunk-types here | |
(chunk-type addition-fact addend1 addend2 sum) | |
(chunk-type add-pair one1 ten1 one2 ten2 ten-ans one-ans carry) | |
;; Add Chunks here | |
(add-dm | |
(fact17 isa addition-fact addend1 1 addend2 7 sum 8) | |
(fact34 isa addition-fact addend1 3 addend2 4 sum 7) | |
(fact67 isa addition-fact addend1 6 addend2 7 sum 13) | |
(fact103 isa addition-fact addend1 10 addend2 3 sum 13) | |
(goal isa add-pair ten1 3 one1 6 ten2 4 one2 7)) | |
;; Add productions here | |
(p start-pair | |
=goal> | |
ISA add-pair | |
one1 =num1 | |
one2 =num2 | |
one-ans nil | |
==> | |
=goal> | |
one-ans busy | |
+retrieval> | |
ISA addition-fact | |
addend1 =num1 | |
addend2 =num2) | |
(p add-ones | |
=goal> | |
ISA add-pair | |
one-ans busy | |
one1 =num1 | |
one2 =num2 | |
=retrieval> | |
ISA addition-fact | |
addend1 =num1 | |
addend2 =num2 | |
sum =sum | |
==> | |
=goal> | |
one-ans =sum | |
carry busy | |
+retrieval> | |
ISA addition-fact | |
addend1 10 | |
sum =sum) | |
(p process-carry | |
=goal> | |
ISA add-pair | |
ten1 =num1 | |
ten2 =num2 | |
carry busy | |
one-ans =ones | |
=retrieval> | |
ISA addition-fact | |
addend1 10 | |
sum =ones | |
addend2 =remainder | |
==> | |
=goal> | |
carry 1 | |
ten-ans busy | |
one-ans =remainder | |
+retrieval> | |
ISA addition-fact | |
addend1 =num1 | |
addend2 =num2) | |
(p no-carry | |
=goal> | |
ISA add-pair | |
ten1 =num1 | |
ten2 =num2 | |
one-ans =ones | |
carry busy | |
?retrieval> | |
buffer failure | |
==> | |
=goal> | |
carry nil | |
ten-ans busy | |
+retrieval> | |
ISA addition-fact | |
addend1 =num1 | |
addend2 =num2) | |
(p add-tens-done | |
=goal> | |
ISA add-pair | |
ten-ans busy | |
carry nil | |
=retrieval> | |
ISA addition-fact | |
sum =sum | |
==> | |
=goal> | |
ten-ans =sum) | |
(p add-tens-carry | |
=goal> | |
ISA add-pair | |
carry 1 | |
ten-ans busy | |
=retrieval> | |
ISA addition-fact | |
sum =sum | |
==> | |
=goal> | |
carry nil | |
+retrieval> | |
ISA addition-fact | |
addend1 1 | |
addend2 =sum) | |
(goal-focus goal) | |
) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment