Skip to main content
Kent Academic Repository

A Framework for the Merger and Practical Exploitation of Formal Logic and Artificial Neural Networks

Howells, Gareth, Sirlantzis, Konstantinos (2009) A Framework for the Merger and Practical Exploitation of Formal Logic and Artificial Neural Networks. In: Ao, Sio Long and Gelman, Leonid and Hukins, David W.L. and Hunter, Andrew and Korsunsky, A.M., eds. World Congress on Engineering 2009. Lecture Notes in Engineering and Computer Science , 1 and. pp. 19-24. International Association for Engineers ISBN 978-988-17012-5-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23137)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.

Abstract

The assimilation of formal logic into the domain of Software Engineering offers the possibility of enormous benefits in terms of software reliability and verifiability. To date, however, the integration of such techniques has proved difficult since they involve a significantly increased burden on the programmer in meeting the demands of the formal mechanisms being employed. The current paper investigates the advantages which may be gained by the software development process with the introduction of Artificial Neural Network technology into a formal software development system. Essentially, the adaptive artificial neural network model is employed to refine an existing formal software model in order to produce increasingly better approximations to a given solution. Each approximation is itself a valid formal system whose precise behaviour may be formally determined. The paper introduces a framework by which a programmer may define a system possessing the abstract structure of a traditional neural network but whose internal structures are taken from the formal mathematical domain of Constructive Type Theory. The system will then refine itself to produce successive approximations to a desired goal based on data presented to it. An example is presented addressing a problem domain which has previously proved difficult to model. Although the example presented is necessarily limited, it does provide an insight into the potential advantages of merging formal logic with artificial neural systems.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.87 Neural computers, neural networks
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Engineering and Digital Arts
Depositing User: Konstantinos Sirlantzis
Date Deposited: 11 Jan 2010 14:12 UTC
Last Modified: 16 Nov 2021 10:01 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/23137 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.