Unified theories of cognition
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
Extending the Soar Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
A cognitive architecture based on neuroscience for the control of virtual 3D human creatures
BI'10 Proceedings of the 2010 international conference on Brain informatics
Cognitive architectures: Research issues and challenges
Cognitive Systems Research
| Hi-index | 0.00 |
Cognitive architectures allow the emergence of behaviors in autonomous agents. Their design is commonly based on multidisciplinary theories and models that explain the mechanisms underlying human behaviors, as well as on standards and principles used in the development of software systems. The formal and rigorous description of such architectures, however, is a software engineering practice that has been barely implemented. In this paper, we present the formal specification of a neuroscience-inspired cognitive architecture. Which ensures its proper development and subsequent operation, as well as the communication of its operational and architectural assumptions unambiguously. Particularly, we use the Real-Time Process Algebra to formally describe its architectural components and emerging behaviors.