Computing first-order logic programs by fibring artificial neural networks

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence

Volumn , Issue , 2005, Pages 314-319

  Bader, Sebastian ^a   D'Avila Garcez, Artur S ^b   Hitzler, Pascal ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b CITY UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

NEURAL NETWORKS; SEMANTICS;

FIBRED NEURAL NETWORKS; INTELLIGENT SYSTEMS ENGINEERING; SINGLE-STEP OPERATOR;

LOGIC PROGRAMMING;

EID: 32844459758     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Bader, S., and Hitzler, P. 2004. Logic programs, iterated function systems, and recurrent radial basis function networks. Journal of Applied Logic 2(3):273-300.
2. Bader, S.; Hitzler, P.; and Hölldobler, S. 2004. The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence. In Proceedings of the Third International Conference on Information, Tokyo, Japan. To appear.
3. Bishop, C. M. 1995. Neural Networks for Pattern Recognition. Oxford University Press.
4. Browne, A., and Sun, R. 2001. Connectionist inference models. Neural Networks 14(10): 1331-1355.
5. Cavedon, L. 1991. Acyclic programs and the completeness of SLDNF-resolution. Theoretical Computer Science 86:81-92.
6. d'Avila Garcez, A. S., and Gabbay, D. M. 2004. Fibring neural networks. In McGuinness, D. L., and Ferguson, G., eds., Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, 342-347. AAAI Press / The MIT Press.
7. d'Avila Garcez, A. S.; Broda, K. B.; and Gabbay, D. M. 2002. Neural-Symbolic Learning Systems - Foundations and Applications. Perspectives in Neural Computing. Springer, Berlin.
8. Hitzler, P., and Seda, A. K. 2003. Generalized metrics and uniquely determined logic programs. Theoretical Computer Science 305(1-3):187-219.
9. Hitzler, P.; Hölldobler, S.; and Seda, A. K. 2004. Logic programs and connectionist networks. Journal of Applied Logic 2(3):245-272.
10. Hölldobler, S., and Kalinke, Y. 1994. Towards a massively parallel computational model for logic programming. In Proceedings ECAI94 Workshop on Combining Symbolic and Connectionist Processing, 68-77. ECCAI.
11. Hölldobler, S.; Kalinke, Y.; and Störr, H.-P. 1999. Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence 11:45-58.
12. Lloyd, J. W. 1988. Foundations of Logic Programming. Springer, Berlin.
13. Thrun, S. B., et al. 1991. The MONK's problems: A performance comparison of different learning algorithms. Technical Report CMU-CS-91-197, Carnegie Mellon University.