First-order deduction in neural networks.
Ekaterina Komendantskaya · 2007
Abstract. We show how the algorithm of SLD-resolution for first-order logic programs can be performed in connectionist neural networks. The most significant properties of the resulting neural networks are their finiteness and ability to learn. Key words: Logic programs, artificial neural networks, SLD-resolution, connectionism, neuro-symbolic integration