Presented is an introduction to the operation and mechanics of the ACTP production system, a version of Anderson's (1976) ACT system. ACTP is already in use modeling geometry theorem proving and counting of a set of objects, and has been identified as a potentially useful programing framework for developing models of the cognitive processes used…

A theory of how people learn certain procedural skills is presented. It is based on the idea that the teaching and learning that goes on in a classroom is like an ordinary conversation. The speaker (teacher) compresses a non-linear knowledge structure (the target procedure) into a linear sequence of utterances (lessons). The listener (student)…