Computing First-Order Logic Programs by Fibring Artificial Neural Networks

Document Type

Conference Proceeding

Publication Date



The integration of symbolic and neural-network-based artificial intelligence paradigms constitutes a very challenging area of research. The overall aim is to merge these two very different major approaches to intelligent systems engineering while retaining their respective strengths. For symbolic paradigms that use the syntax of some first-order language this appears to be particularly difficult. In this paper, we will extend on an idea proposed by Garcez and Gabbay (2004) and show how first-order logic programs can be represented by fibred neural networks. The idea is to use a neural network to iterate a global counter n. For each clause Ci in the logic program, this counter is combined (fibred) with another neural network, which determines whether Ci outputs an atom of level n for a given interpretation I. As a result, the fibred network computes the single-step operator TP of the logic program, thus capturing the semantics of the program.


Presented at the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, FL, May 15-17, 2005.