Use this URL to cite or link to this record in EThOS:
Title: Algebraic specification and correctness of artificial neural networks
Author: Yates, W. B.
Awarding Body: University College of Swansea
Current Institution: Swansea University
Date of Award: 1994
Availability of Full Text:
Access from EThOS:
This thesis proposes a framework, based on formal methods, for the design, specification, and analysis of 1. neurocomputers as seen from the perspective of hardware, and 2. real world tasks as seen from the perspective of a user, in order to give useful definitions of correctness. We apply the theory of synchronous concurrent algorithms to a number of well known neural network models. This gives us a detailed, and precise description of the spatial and temporal behaviour of the network's operation. Such an operational semantics is necessary for defining a notion of correctness for such sytems. In order to formally specify a task and define its correctness we extend the standard treatment of synchronous concurrent algorithm correctness to the case of approximate correctness, and using mathematical tools from universal algebra and topology, examine the semantics of a number of natural 'approximate specifications'. We apply this framework to two case studies: the requirements analysis of a hospital waiting list management system, and the implementation of a hypothetical anti-ballistic missile firing system.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available