FORN: First order rule based neural network

This paper presents FORN, the first automatic realization of mapping a first order rule based logic program onto a neural network. The work is based on Funahashi's theorem and is of special interest to all applications where science advance necessitates the integration of new knowledge to existing systems. The proposal has been designed, implemented and successfully tested. Results are promising and suggest its future use for medical application.

[1]  Pascal Hitzler,et al.  Generalized metrics and uniquely determined logic programs , 2003, Theor. Comput. Sci..

[2]  Alex M. Andrew,et al.  Intelligent Hybrid Systems , 1999 .

[3]  A. Seda,et al.  Some Aspects of the Integration of Connectionist and Logic-Based Systems † , 2006 .

[4]  Steffen Hölldobler,et al.  Approximating the Semantics of Logic Programs by Recurrent Neural Networks , 1999, Applied Intelligence.

[5]  Thomas R. Shultz,et al.  A Compositional Neural-network Solution to Prime-number Testing , 2006 .

[6]  Stefan Wermter,et al.  Hybrid neural systems: from simple coupling to fully integrated neural networks , 1999 .

[7]  Steffen Hölldobler,et al.  Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs , 1998, Australian Joint Conference on Artificial Intelligence.

[8]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[9]  Anthony Karel Seda,et al.  On Approximation in the Integration of Connectionist and Logic-Based Systems , 2004 .

[10]  Larry R. Medsker,et al.  Hybrid Neural Network and Expert Systems , 1994, Springer US.

[11]  Raúl Rojas,et al.  Neural Networks - A Systematic Introduction , 1996 .

[12]  Melanie Hilario,et al.  An Overview of Strategies for Neurosymbolic Integration , 1995 .

[13]  Pascal Hitzler,et al.  Logic programs and connectionist networks , 2004, J. Appl. Log..

[14]  Steffen Hölldobler,et al.  Towards a New Massively Parallel Computational Model for Logic Programming , 1994 .

[15]  Lokendra Shastri,et al.  Multiple instantiation and rule mediation in SHRUTI , 2004, Connect. Sci..

[16]  Anthony Karel Seda,et al.  On the Integration of Connectionist and Logic-Based Systems , 2006, MFCSIT.