A modular architecture for transparent computation in recurrent neural networks

详细信息    查看全文

• 作者：Giovanni S. Carmantini^a ; ^{giovanni.carmantini@gmail.com} ; Peter beim Graben^b ; ^{peter.beim.graben@hu-berlin.de} ; Mathieu Desroches^c ; ^{mathieu.desroches@inria.fr} ; Serafim Rodrigues^a ; ^{serafim.rodrigues@plymouth.ac.uk}
• 关键词：Automata Theory ; Recurrent artificial neural networks ; Representation theory ; Nonlinear dynamical automata ; Neural symbolic computation ; Versatile shift
• 刊名：Neural Networks
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：85
• 期：Complete
• 页码：85-105
• 全文大小：1442 K
• 卷排序：85

文摘

Computation is classically studied in terms of automata, formal languages and algorithms; yet, the relation between neural dynamics and symbolic representations and operations is still unclear in traditional eliminative connectionism. Therefore, we suggest a unique perspective on this central issue, to which we would like to refer as transparent connectionism, by proposing accounts of how symbolic computation can be implemented in neural substrates. In this study we first introduce a new model of dynamics on a symbolic space, the versatile shift, showing that it supports the real-time simulation of a range of automata. We then show that the Gödelization of versatile shifts defines nonlinear dynamical automata, dynamical systems evolving on a vectorial space. Finally, we present a mapping between nonlinear dynamical automata and recurrent artificial neural networks. The mapping defines an architecture characterized by its granular modularity, where data, symbolic operations and their control are not only distinguishable in activation space, but also spatially localizable in the network itself, while maintaining a distributed encoding of symbolic representations. The resulting networks simulate automata in real-time and are programmed directly, in the absence of network training. To discuss the unique characteristics of the architecture and their consequences, we present two examples: (i) the design of a Central Pattern Generator from a finite-state locomotive controller, and (ii) the creation of a network simulating a system of interactive automata that supports the parsing of garden-path sentences as investigated in psycholinguistics experiments.