Descriptor
| Artificial Intelligence | 1 |
| Cognitive Processes | 1 |
| Computer Programs | 1 |
| Computer Science | 1 |
| Educational Research | 1 |
| Learning Theories | 1 |
| Mathematics Education | 1 |
| Programing Languages | 1 |
| Research Tools | 1 |
Source
Author
| Greeno, James G. | 1 |
| Riley, Mary S. | 1 |
Publication Type
| Guides - Non-Classroom | 1 |
| Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textRiley, Mary S.; Greeno, James G. – 1980
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…
Descriptors: Artificial Intelligence, Cognitive Processes, Computer Programs, Computer Science
