Cogarch-Adl: Toward A Formal Description Of A Reference Architecture For The Common Model Of Cognition

As the Common Model of Cognition (CMC) is getting more supporters from research fields such as AI, cognitive science, neuroscience, and robotics in an effort to contribute to the understanding of minds, a new requirement becomes imperative: standard modeling and specification mechanisms are needed to allow both developing new CMC-compliant computational frameworks and validating existing ones. Thus, this paper aims at proposing an approach to formally describe cognitive architectures by extending pi-ADL, an Architecture Description Language based on pi-Calculus. Four case studies illustrate the usefulness of our approach, and future work outlines how it can be used as a vehicle to formally meet architectural requirements, validate structural/behavioral equivalence among architectures, and model evolutionary cognitive systems. (C) 2018 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/) Peer-review under responsibility of the scientific committee of the 9th Annual International Conference on Biologically Inspired Cognitive Architectures.