;; ;; Unit 1: Count Model ;; from the CMU ACT-R Tutorials ;; (set-task "actr.tasks.tutorial.U1Count") (sgp :esc t :lf .05) ;; :trace-detail high) (add-dm (b ISA count-order first 1 second 2) (c ISA count-order first 2 second 3) (d ISA count-order first 3 second 4) (e ISA count-order first 4 second 5) (f ISA count-order first 5 second 6) (g ISA count-order first 6 second 7) (h ISA count-order first 7 second 8) (i ISA count-order first 8 second 9) (first-goal ISA addition n1 2 n2 4) ) (p start =goal> ISA addition n1 =num1 count nil ==> =goal> count =num1 count2 1 phase add +retrieval> ISA count-order first =num1 ) (p increment-add =goal> ISA addition count =num1 count2 =num3 phase add =retrieval> ISA count-order first =num1 second =num2 ==> =goal> count =num2 phase add2 +retrieval> ISA count-order first =num3 ) (p increment-add2 =goal> ISA addition count =num1 count2 =num3 phase add2 =retrieval> ISA count-order first =num3 second =num2 ==> =goal> count2 =num2 phase add +retrieval> ISA count-order first =num1 ) (p stop =goal> ISA addition count =sum count2 =num n2 =num phase add2 ==> -goal> !output! (=sum) ) (goal-focus first-goal)