A Note on the Relationships between Logic Programs and Neural Networks

Document Type

Conference Proceeding

Publication Date



Several recent publications have exhibited relationships between the theories of logic programming and of neural networks.

We consider a general approach to representing normal logic programs via feedforward neural networks.

We show that the immediate consequence operator associated with each logic program, which can be understood as implicitly determining its declarative semantics, can be approximated by 3-layer feedforward neural networks arbitrarily well in a certain measure-theoretic sense.

If this operator is continuous in a topology known as the atomic topology, then the approximation is uniform in all points.


Presented at the 4th International Workshop on Formal Methods, Maynooth, Ireland, July 5th-6th, 2000.