|Title||Computing First-Order Logic Programs by Fibring Artificial Neural Networks|
|Publication Type||Conference Paper|
|Year of Publication||2005|
|Authors||Sebastian Bader, Artur S. D'A. Garcez, Pascal Hitzler|
|Conference Name||Eighteenth International Florida Artificial Intelligence Research Symposium Conference|
|Conference Location||Clearwater Beach, Florida, USA|
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 singlestep operator TP of the logic program, thus capturing the semantics of the program.
|Full Text|| |
Sebastian Bader, Artur S. d'Avila Garcez and Pascal Hitzler,'Computing First-Order Logic Programs by Fibring Artificial Neural Networks,' Eighteenth International Florida Artificial Intelligence Research Symposium Conference, Clearwater Beach, Florida, USA, May 2005, pp. 314-319.