Logics and networks for human reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5769 LNCS, Issue PART 2, 2009, Pages 85-94

  Hölldobler, Steffen ^a   Kencana Ramli, Carroline Dewi Puspa ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Connectionist Models; Human Reasoning; Logic Programs

Indexed keywords

CONNECTIONIST MODELS; HUMAN REASONING; LOGIC PROGRAMS; THREE-VALUED;

BACKPROPAGATION; LOGIC PROGRAMMING;

NEURAL NETWORKS;

EID: 70450201800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04277-5_9     Document Type: Conference Paper

References (21)

1. Bader, S., Hitzler, P., Hölldobler, S., Witzel, A.: A fully connectionist model generator for covered first-order logic programs. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, January 2007, pp. 666-671. AAAI Press, Menlo Park (2007)
2. Bader, S., Hölldobler, S.: The core method: Connectionist model generation. In: Kollias, S.D., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol. 4132, pp. 1-13. Springer, Heidelberg (2006)
3. Byrne, R.M.J.: Suppressing valid inferences with conditionals. Cognition 31, 61-83 (1989)
4. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293-322. Plenum, New York (1978)
5. d'Avila Garcez, A.S., Broda, K., Gabbay, D.M.: Neural-Symbolic Learning Systems: Foundations and Applications. Springer, Heidelberg (2002)
6. d'Avila Garcez, A.S., Gabbay, D.M., Ray, O., Woods, J.: Abductive reasoning in neural-symbolic learning systems. TOPOI 26, 37-49 (2007)
7. d'Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.: A connectionist inductive learning system for modal logic programming. In: Proceedings of the IEEE International Conference on Neural Information Processing (ICONIP), Singapore (2002)
8. d'Avila Garcez, A.S., Zaverucha, G., de Carvalho, L.A.V.: Logic programming and inductive learning in artificial neural networks. In: Herrmann, C., Reine, F., Strohmaier, A. (eds.) Knowledge Representation in Neural Networks, pp. 33-46. Logos Verlag, Berlin (1997)
9. Fitting, M.: A Kripke-Kleene semantics for logic programs. Journal of Logic Programming 2(4), 295-312 (1985)
10. Fitting, M.: Metric methods - three examples and a theorem. Journal of Logic Programming 21(3), 113-127 (1994)
11. Funahashi, K.-I.: On the approximate realization of continuous mappings by neural networks. Neural Networks 2, 183-192 (1989)
12. Hölldobler, S., Kalinke, Y.: Towards a massively parallel computational model for logic programming. In: Proceedings of the ECAI 1994 Workshop on Combining Symbolic and Connectionist Processing, pp. 68-77, ECCAI (1994)
13. Hölldobler, S., Kalinke, Y., Störr, H.-P.: Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence 11, 45-59 (1999)
14. Hornik, K., Stinchcombe, M., White, H.: Multilayer feedforward networks are universal approximators. Neural Networks 2, 359-366 (1989)
15. Kalinke, Y.: Ein massiv paralleles Berechnungsmodell für normale logische Programme. Master's thesis, TU Dresden, Fakultät Informatik (1994) (in German)
16. Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)
17. Lukasiewicz, J.: O logice trójwartósciowej. Ruch Filozoficzny 5, 169-171 (1920);
18. English translation: On Three-Valued Logic. In: Borkowski, L. (ed.) Jan Lukasiewicz Selected Works, pp. 87-88. North Holland, Amsterdam (1990)
19. Seda, A.K., Lane, M.: Some aspects of the integration of connectionist and logic-based systems. In: Proceedings of the Third International Conference on Information, pp. 297-300. International Information Institute, Tokyo (2004)
20. Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)
21. Stoy, J.E.: Denotational Semantics. MIT Press, Cambridge (1977)