ACT-R is the cognitive framework we use to study human cognition.
Please visit Carnegie Mellon University\'s ACT-R website for more infomation
ACT-R is implemented in Lisp. The MindModeling@Home project distributes a version of Steel Bank Common Lisp (sbcl) with its ACT-R BOINC wrapper application. SBCL was the Lisp version chosen because of it\'s supports for such a rich variety of environments [windows, mac, linux ...]
The science conducted at MM@Home will help evolve the ACT-R architecture. The ACT-R architecture acts as an integrating environment for many theories of cognition and as it improves, so too will the cognitive modeling community\'s understanding of the human mind.