Modeling and analysing neural networks using a hybrid process algebra

Colvin, Robert J. (2016) Modeling and analysing neural networks using a hybrid process algebra. Theoretical Computer Science, 623 15-64. doi:10.1016/j.tcs.2015.08.019

Author Colvin, Robert J.
Title Modeling and analysing neural networks using a hybrid process algebra
Journal name Theoretical Computer Science   Check publisher's open access policy
ISSN 0304-3975
Publication date 2016-04-11
Year available 2015
Sub-type Article (original research)
DOI 10.1016/j.tcs.2015.08.019
Open Access Status Not Open Access
Volume 623
Start page 15
End page 64
Total pages 50
Place of publication Amsterdam, Netherlands
Publisher Elsevier
Collection year 2017
Language eng
Formatted abstract
Research involving artificial neural networks has tended to be driven towards efficient computation, especially in the domain of pattern recognition, or towards elucidating biological processes in the brain. Models have become more detailed as our understanding of the biology of the brain has increased, incorporating real-time behaviour of individual neurons interacting within complex system structures and dynamics. There are few examples of abstract and fully formal models of biologically plausible neural networks: in the neural networks literature models are often presented as a mixture of mathematical equations and natural language, supported by simulation code and associated experimental results. The informality often hides or obscures important aspects of a particular model, and leaves a large conceptual gap between the model descriptions and the usually low-level programming code used to simulate them.

The main contribution of this paper is formally modelling and analysing a biologically plausible neural network model from the literature that exhibits complex neuron-level behaviour and network-level structure. To achieve this a modelling language ‘Pann’ is developed, based on the process algebras CSP and Hybridχ. It is designed to be convenient for mixing the behaviour of discrete events (such as a neuron spike) with mutable continuous and discrete variables (representing chemical properties of a neuron, for instance). Its behaviour is defined using an operational semantics, from which a set of general properties of the language is proved.

The groundwork for the biological model is laid by first formalising some well-known concepts from the artificial neural networks domain, such as feedforward behaviour, backpropagation, and recurrent neural networks. The Pann model of a feedforward network, comprising a set of communicating processes representing individual neurons, is proved equivalent to the standard one-line calculation of feedforward behaviour.
Keyword Neural networks
Process algebra
Hybrid systems
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ

Document type: Journal Article
Sub-type: Article (original research)
Collections: Queensland Brain Institute Publications
Official 2016 Collection
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Mon, 04 Apr 2016, 16:05:04 EST by Susan Day on behalf of Queensland Brain Institute