First-order logic learning in Artificial Neural Networks

Proceedings of the International Joint Conference on Neural Networks

Volumn , Issue , 2010, Pages

  Guillame Bert, Mathieu ^a   Broda, Krysia ^b   D'Avila Garcez, Artur ^c  

^a INRIA RHÔNE ALPES   (France)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; LOGIC PROGRAMMING;

CONDITION; ENCODING FUNCTIONS; FIRST-ORDER LOGIC LEARNING; FUNCTORS; LEARN+; LEARNING RELATIONS; LEARNING TO LEARN; LOGIC PROGRAMS; LOGIC RULES; SYMBOLIC LEARNING;

NEURAL NETWORKS;

EID: 79959430519     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IJCNN.2010.5596491     Document Type: Conference Paper

References (18)

1. S. Bader, P. Hitzler, and S. Hölldobler, 'Connectionist model generation: A first-order approach', Neurocomput., 71(13-15), 2420-2432, (2008).
2. H. Bhadeshia, 'Neural networks in materials science', ISIJ International, 39(10), 966-979, (1999).
3. C. M. Bishop, Neural Networks for Pattern Recognition., Oxford University Press, Oxford, 1995.
4. A. S. d'Avila Garcez, K. Broda, and D. M. Gabbay. Symbolic knowledge extraction from trained neural networks: A sound approach, 2001.
5. A. S. d'Avila Garcez, K.Broda, and D. M. Gabbay, Neural-Symbolic Learning Systems. Foundations and Applications, Springer, 2002.
6. A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay, 'Connectionist modal logic: Representing modalities in neural networks', Theoretical Computer Science, 371(1-2), 34-53, (2007).
7. A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay, Neural-Symbolic Cognitive Reasoning, Springer, 2008.
8. M. Guillame-Bert, 'Connectionist artificial neural networks', http://www3.imperial.ac.uk/computing/teaching/distinguishedprojects, (2009).
9. S. S. Hölldobler and Y. Kalinke, 'Towards a new massively parallel computational model for logic programming', in ECAI94 Workshop on Combining Symbolic and Connectionist Processing, pp. 68-77, (1994).
10. E. Komendantskaya, K. Broda, and A. d'Avila Garcez, 'Using inductive types for ensuring correctness of neuro-symbolic computations', in Proc. of CiE2010, accepted for informal proceedings, (2010).
11. J. Lehmann, S. Bader, and P. Hitzler, 'Extracting reduced logic programs from artificial neural networks', in Proc. IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy 05, (2005).
12. T. Lerdlamnaochai and B. Kijsirikul, 'First-order logical neural networks', Int. J. Hybrid Intelligent Systems, 2(4), 253-267, (2005).
13. R. S. Michalski, 'Pattern recognition as rule-guided inductive inference', in Proc. of IEEE Trans. on Pattern Analysis and Machine Intelligence, pp. 349-361, (1980).
14. T. M. Mitchell, Machine Learning, McGraw-Hill, 1997.
15. S.H. Muggleton, 'Inverse entailment and Progol', New Generation Computing, 13, 245-286, (1995).
16. S.H. Muggleton, M.E. Bain, J. Hayes-Michie, and D. Michie, 'An experimental comparison of human and machine learning formalisms', in Proc. 6th Int. Workshop on Machine Learning, pp. 113-118, (1989).
17. W. Uwents and H. Blockeel, 'Experiments with relational neural networks', in Proc. 14th Machine Learning Conference of Belgium and the Netherlands, pp. 105-112, (2005).
18. B. Widrow, D. E. Rumelhart, and M. A. Lehr, 'Neural networks: applications in industry, business and science', Commun. ACM, 37(3), 93-105, (1994).