Neural-Symbolic Cognitive Reasoning

• Main Authors: d<U+0019>Avila Garcez, Artur S. (Author), Lamb, Lus̕ C. (Author), Gabbay, Dov M. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Cognitive Technologies,
• Subjects: Computer science.; Logic.; Information theory.; Artificial intelligence.; Optical pattern recognition.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computation by Abstract Devices.; Theory of Computation.; Mathematical Logic and Formal Languages.; Pattern Recognition.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-540-73246-4

Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? The authors address this questio...

Table of Contents:

• Introduction
• Logics and Knowledge Representation
• Artificial Neural Networks
• Neural-Symbolic Learning Systems
• Connectionist Modal Logic
• Applications of Connectionist Non-classical Reasoning
• Connectionist Modal Logics in Practice
• Connectionist Temporal Logic
• Connectionist Intuitionistic Logic
• Fibring Neural Networks
• Argumentation Frameworks as Neural Networks
• Probabilistic Reasoning in Neural Networks
• Relational Learning in Neural Networks
• Conclusions.