3 May 1988 Optical Neural Network Models Applied To Logic Program Execution
Author Affiliations +
Proceedings Volume 0882, Neural Network Models for Optical Computing; (1988) https://doi.org/10.1117/12.944097
Event: 1988 Los Angeles Symposium: O-E/LASE '88, 1988, Los Angeles, CA, United States
Logic programming is being used extensively by Artificial Intelligence researchers to solve problems including natural language processing and expert systems. These languages, of which Prolog is the most widely used, promise to revolutionize software engineering, but much greater performance is needed. Researchers have demonstrated the applicability of neural network models to the solution of certain NP-complete problems, but these methods are not obviously applicable to the execution of logic programs. This paper outlines the use of neural networks in four aspects of the logic program execution cycle, and discusses results of a simulation of three of these. Four neural network functional units are described, called the substitution agent, the clause filter, the structure processor, and the heuristics generator, respectively. Simulation results suggest that the system described may provide several orders of magnitude improvement in execution speed for large logic programs. However, practical implementation of the proposed architecture will require the application of optical computing techniques due to the large number of neurons required, and the need for massive, adaptive connectivity.
© (1988) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Charles D Stormon, Charles D Stormon, } "Optical Neural Network Models Applied To Logic Program Execution", Proc. SPIE 0882, Neural Network Models for Optical Computing, (3 May 1988); doi: 10.1117/12.944097; https://doi.org/10.1117/12.944097


Improving The Performance Of Neural Networks
Proceedings of SPIE (May 02 1988)
Neural Networks For Logic Operations
Proceedings of SPIE (October 24 1989)
Neural modelling of fuzzy set connectives
Proceedings of SPIE (December 21 1993)
Fuzzy based IPA model
Proceedings of SPIE (January 22 2002)

Back to Top