2026-08-15T10:23:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1423 2024-03-06T11:07:55Z ddc:004 open_access

The Grand Challenges and Myths of Neural-Symbolic Computation Lamb, Luis C. Connectionist non-classical logics neural-symbolic computation non-classical reasoning computational cognitive models The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The combination of logic-based inference and connectionist learning systems may lead to the construction of semantically sound computational cognitive models in artificial intelligence, computer and cognitive sciences. Over the last decades, results regarding the computation and learning of classical reasoning within neural networks have been promising. Nonetheless, there still remains much do be done. Artificial intelligence, cognitive and computer science are strongly based on several non-classical reasoning formalisms, methodologies and logics. In knowledge representation, distributed systems, hardware design, theorem proving, systems specification and verification classical and non-classical logics have had a great impact on theory and real-world applications. Several challenges for neural-symbolic computation are pointed out, in particular for classical and non-classical computation in connectionist systems. We also analyse myths about neural-symbolic computation and shed new light on them considering recent research advances. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Luis C. Lamb 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08041.5 urn:nbn:de:0030-drops-14233 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.5 eng https://creativecommons.org/licenses/by/4.0/legalcode