ACT-R

启发

ACT-R的灵感受到艾伦·纽厄尔的成果启发，尤其是他毕生支持的统一理论，纽厄尔认为这是真正揭示认知基础的唯一途径。实际上，约翰·安德森认为艾伦·纽厄尔是影响这个理论的主要原因。

ACT-R外观

与其他有影响力的认知架构相同（包括Soar、 CLARION和EPIC），作为特殊编程语言的解释器，ACT-R理论具有计算实现。解释器本身是用Common Lisp编写，并且可以加载到任何Common Lisp语言发行版中。 
这意味着任何研究人员都可以从ACT-R网站下载ACT-R代码，将其加载到Common Lisp发行版中，并以ACT-R解释器的形式完全访问该理论。
而且，这使研究人员能够以ACT-R语言的脚本形式指定人类认知模型。语言基元及数据类型的设计反映了人类认知理论的假设。而这些假设是根据从认知心理学和脑成像实验中所得出的大量事实。 
如同编程语言，ACT-R是一个框架：对于不同的任务（例如河内塔、用于文本或单词列表的记忆、语言理解、交流和飞机控制），研究人员会在ACT-R中创建“模型”（也就是程序）。这些模型反映了建模人员以ACT-R的认知观点对任务所做的假设。 
运行模型会自动循序地模拟人类的行为，该模拟指定每个个别的认知操作（记忆编码及提取、视觉及听觉编码、运动编程及执行、心理意象操纵）。每个步骤都与延迟和准确性的定量预测相关。借由将模型结果与行为实验收集的数据进行比较，可以检验该模型。
近年来，由于功能磁共振成像实验，ACT-R也已扩展到对大脑激活模式的定量预测。尤其是将ACT-R加强后，用以预测几个大脑区域的BOLD响应的形态和时程，包括运动皮质、左前侧额叶皮质、前扣带回皮质和基底神经节。

符号与联结主义的辩论

在认知科学中，通常会将不同的理论归类为认知的“符号方法”或“联结主义方法”。 ACT-R显然属于“符号”领域，在标准教科书和馆藏中也是如此。 ACT-R的实体（意元和产出）是离散的，操作是语法上的，也就是说，ACT-R并不是指表征的语义内容，而是指它们所适合参与计算的属性。在意元插槽中以及在产出中的缓冲区匹配属性中都可以清楚地看到这一点，这两者皆为标准符号变量。 
ACT-R团体的成员，包括其开发人员，更喜欢将ACT-R视为一个通用框架，该框架明确说明了大脑是如何组织，以及大脑的组织是如何产生被感知的(以及在认知心理学中被研究的)心智，这框架超越了传统的符号/联结主义之争。当然，这些说法都不反对将ACT-R划分为符号系统，因为所有认知的符号方法都是为了描述心灵，作为大脑功能的产物，使用特定的实体和系统来达成这个目标。
一个常见的误解认为“ACT-R可能不是符号系统，因为它试图描述脑功能。” 从两个方面来看，这是不正确的：首先，因为心智就是大脑的功能，所以无论是符号的还是其他类型，所有认知的计算模型都必须在某种程度上描述大脑的功能。其次，所有这些方法，包括联结主义方法，都是试图在认知层面来描述大脑，而不是在神经层面，因为只有在认知层面上，重要的一般性质才能被保留。  
由于某些ACT-R特性的联结特性，还会产生进一步的误解。例如，“意元”会互相传播激活，或“意元和产出”的定量属性与其选择相关，无论这些属性在单元选择的作用，以及最终在计算中的作用如何，皆未与符号实体的基本性质相悖。

理论与实现以及Vanilla ACT-R

ACT-R开发人员通常会强调区分理论本身及其实现的重要性。
实际上，许多实现并没有反映理论。 例如，实际的实现方式会使用到额外的“模块”，而这些“模块”纯粹是为了计算而存在，不在大脑中反映任何内容（例如，有的模块包含了用于产生噪声参数的伪随机数生成器，有的拥有命名例程，用于生成可通过变量名访问的数据结构。)
同时，实际实现的目的是使研究人员能够修改理论，例如通过修改标准参数，创建新的模块，或部分修改现有模块的行为。
最终，卡内基·梅隆大学的安德森实验室维护并发布了官方版本的ACT-R代码，而该理论也有其他替代实现方式。 这些替代的实现方式包括jACT-R  （美国海军研究实验室的Anthony M. Harrison用Java编写）和Python ACT-R （由加拿大卡尔顿大学Terrence C. Stewart和Robert L. West用Python编写）。  
同样地，ACT-RN(现已停止)是1993年版理论的一个成熟的神经实现。  所有这些版本均具有完整的功能，而这些版本的模型均已完成并运行。 
由于具有这些实现上的自由度，因此，当采用其原始形式且未经修改的情况下，ACT-R团体通常将该理论的基于Lisp的“官方”版本称为“Vanilla ACT-R”。

应用领域

多年来，ACT-R模型已在700多种不同的科学刊物中使用，在文献中则引用更多。

记忆力、注意力和执行控制

自从ACT-R陈述性记忆系统创建以来，就被用来模拟人类记忆。 多年来，已经成功对大量已知的效应建模。 包括相关信息干扰的粉丝效应列表记忆的首因效应和近因效应， 和序列回忆。  
在许多认知范式中，ACT-R被用来模拟注意力和控制历程。 这些包括斯特鲁普效应、  任务切换、  心理反应恢复期、 和多重任务处理。

自然语言

研究人员已经使用ACT-R来模拟在自然语言理解和产出中的多个环节。 包括语法分析模型、 语言理解模型、 语言习得和隐喻理解模型。

复杂的任务

ACT-R已被用于理解人类是如何解决河内塔之类的复杂问题， 或是如何解决代数方程式。  它也已被用来模拟人类驾驶汽车和飞机的行为。  
随着知觉运动能力的集成，ACT-R作为人机交互的建模工具越来越受欢迎。 在此领域中，已采用它来模拟不同条件下的驾驶行为、 计算机应用中的菜单选择和可视化搜索以及网站导航。

认知神经科学

最近，ACT-R已被用于预测成像实验中大脑的激活模式。  在该领域，ACT-R模型已成功用于预测记忆提取中的前额叶和顶叶活动，控制操作的前扣带回活动，以及与实践相关的大脑活动变化。

教育

ACT-R通常被用作认知导师的基础。  这些系统使用内部的ACT-R模型来模仿学生行为，并使说明和课程变得个性化，以及试图“猜测”学生可能遇到的困难并提供重点协助。 
这种“认知导师”被用作匹兹堡学习科学中心的学习研究和认知建模的平台。如“数学认知导师”这样的成功应用，正在美国的数千所学校中使用。

早期：1973–1990年

这一系列由约翰·罗伯特·安德森开发的人类认知模型中，越来越精确，而ACT-R是最终继承者。 
它的根源可以追溯到约翰·安德森（John R. Anderson）和戈登·鲍尔 （ Gordon Bower）在1973年描述的原始HAM（人类联想记忆）记忆模型。  HAM模型后来被扩充为ACT理论的初代版本。  这是首次将程序记忆添加到原始的陈述性记忆系统中，并引入了一种后来被证明可以在人脑中使用的计算二分法。  然后，该理论进一步扩展到人类认知的ACT *模型中。

与理性分析集成：1990–1998年

八十年代后期，安德森致力于探索和概述一种认知的数学方法，他将其命名为理性分析。  理性分析的基本假设是认知具有最佳适应性，且认知功能的精确估计反映了环境的统计特性。  后来，他回到了ACT理论的发展阶段，将理性分析作为基础计算的统一框架。 为了强调新方法在架构设计中的重要性，将其名称更改为ACT-R，“ R”代表“ Rational”  
1993年， 安德森遇到了联结主义模型研究人员克里斯蒂安·勒比耶尔（Christian Lebiere），该模型因与斯科特·法尔曼（ Scott Fahlman）合作开发出Cascade Correlation学习算法而闻名。 在他们共同努力之下，最终发布了ACT-R 4.0。  因为Mike Byrne的贡献，4.0版还包括可供选择的知觉和运动功能，这主要是受到EPIC架构的启发，极大地扩展了该理论的可能应用。

脑成像和模块化结构：1998-2015年

ACT-R 4.0发布后，约翰·安德森对他的终生理论的潜在神经合理性越来越感兴趣，并开始使用大脑成像技术来追求自身的目标，也就是理解人类思维的计算基础。 
大脑定位的必要性推动了对该理论的重大修改。 ACT-R 5.0引入了模块的概念，可以映射到已知的大脑系统中特定的程序性和陈述性表征集合。  此外，程序性知识和陈述性知识之间的交互作用是由新引入的缓冲区（用于保存临时活动信息的特殊结构）来调节（请参见上文）。 人们认为缓冲区能反映皮质的激活，随后的一系列研究证实，皮质区域的激活可能与缓冲区的计算操作相关。 
完全重写的新版本代码于2005年发布,名为ACT-R 6.0。 它还包括对ACT-R编程语言的重大改进。 这包括ACT-R产出规范中的一种称为动态模式匹配的新机制。 从前的版本要求产出匹配的模式要在缓冲区中，包含用于信息的特定插槽，与之不同，新版本的动态模式匹配允许插槽的匹配也由缓冲区内容指定。 安德森在2007年的论文中，给出了ACT-R 6.0的描述和动机。

ACT-R 7.0：2015年至今

在2015年的研讨会上，有人争辩说，软件更改要求将模型编号增加到ACT-R 7.0。其中一个主要的软件变更是取消了“必须根据预定义意元类型来指定意元”的要求。 意元类型机制并未移除，而是从架构的必要构造，变更为软件中的弹性语法机制。 这为建模任务提供了更大的知识表征灵活性，而这些任务需要学习新的信息，并借由现在允许模型创建新的意元“类型” 的动态模式匹配，扩展了所提供的功能。 由于所有动作现在都具有相同的句法形式，因此这也简化了在产出中指定动作所需的语法。 ACT-R软件也随后进行了更新，以包括基于JSON RPC 1.0的远程接口。 添加了该接口，可以更轻松地从Lisp以外的语言构建模型任务和使用ACT-R，且软件随附的教程已更新，可以为所有教程模型所执行的示例任务提供Python的实现。

分拆

ACT-R理论的长期发展催生了许多并行的相关项目。
最重要的是PUPS产出系统，它是安德森理论的最初实现，后来被放弃了。和ACT-RN， 是Christian Lebiere开发的该理论的神经网络实现。 
卡内基·梅隆大学的林恩·雷德也在90年代初开发了激活混淆源模型（SAC)，这是一种记忆概念和知觉方面的模型，尽管在某些假设上有所不同，它与ACT-R核心声明系统共享了许多特色。