Title :
FORN: First order rule based neural network
Author :
Ahmed, Mona F. ; Darwish, Nevin M.
Author_Institution :
Comput. Eng. Dept., Cairo Univ., Cairo, Egypt
Abstract :
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.
Keywords :
logic programming; neural nets; FORN; Funahashi theorem; automatic mapping realization; first order rule based logic program; first order rule based neural network; Robustness; Silicon; Embedding; First order logic; Knowledge based Network; Level mapping; Neural Symbolic integration; Single step operator;
Conference_Titel :
Computer Technology and Development (ICCTD), 2010 2nd International Conference on
Conference_Location :
Cairo
Print_ISBN :
978-1-4244-8844-5
Electronic_ISBN :
978-1-4244-8845-2
DOI :
10.1109/ICCTD.2010.5646130
