Sciweavers

Share
DAGSTUHL
2008

The Grand Challenges and Myths of Neural-Symbolic Computation

8 years 8 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
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 ...
Luís C. Lamb
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where DAGSTUHL
Authors Luís C. Lamb
Comments (0)
books