Author: Fletcher P.

Source: Connection Science, Volume 12, Number 2, 1 June 2000 , pp. 163-196(34)

Publisher: Taylor and Francis Ltd

Abstract:

This paper presents a formal syntax and semantics for computation in neural networks. The main motivation for this is to provide a foundation for rigorous mathematical analysis of the capabilities of neural networks in relation to other types of computational system. A secondary benefit is that it helps to clarify obscurities and controversial issues in the notion of connectionist computation as it is informally understood. The paper reviews the various informal and formal definitions of connectionism in the literature and attempts to identify common principles and areas of disagreement. Central to connectionism is the idea of a system of simple nodes working together to solve a task, where each node acts in a purely local way on its neighbours: the vague words 'simple' and 'local' are clarified and defined by my formal system in a precise way, free from arbitrary restrictions. The system also defines the semantics of node growth, node pruning and connectivity change-operations that are used in an increasing number of recent connectionist algorithms but are not taken into account by previous definitions of connectionism.

Keywords: FORMAL SEMANTICS; NEURAL NETWORK DEFINITION; CONNECTIONISM; OPERATIONAL SEMANTICS

Document Type: Research article

Publication date: 2000-06-01

More about this publication?

• Editorial Board
• Information for Authors
• Subscribe to this Title
• ingentaconnect is not responsible for the content or availability of external websites

Related content

• In this: publication
• By this: publisher
• In this Subject: Computer Science
• By this author: Fletcher P.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers