Logic programming on a neural network
Wan Ahmad Tajuddin Wan Abdullah · International Journal of Intelligent Systems · 1992
We propose a method of doing logic programming on a Hopfield neural network. Optimization of logical consistency is carried out by the network after the connection strengths are defined from the logic program; the network relaxes to neural states corresponding to a valid (or near-valid) interpretation.