Cargando…

Neural-Symbolic Cognitive Reasoning

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: D'Avila Garcez, Artur S. (Autor), Lamb, Luís C. (Autor), Gabbay, Dov M. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Cognitive Technologies,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-73246-4
003 DE-He213
005 20220116111917.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 |a 9783540732464  |9 978-3-540-73246-4 
024 7 |a 10.1007/978-3-540-73246-4  |2 doi 
050 4 |a Q334-342 
050 4 |a TA347.A78 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
100 1 |a D'Avila Garcez, Artur S.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Neural-Symbolic Cognitive Reasoning  |h [electronic resource] /  |c by Artur S. D'Avila Garcez, Luís C. Lamb, Dov M. Gabbay. 
250 |a 1st ed. 2009. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2009. 
300 |a XIV, 198 p. 53 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Cognitive Technologies,  |x 2197-6635 
505 0 |a Logic and Knowledge Representation -- Artificial Neural Networks -- Neural-Symbolic Learning Systems -- Connectionist Modal Logic -- Connectionist Temporal Reasoning -- Connectionist Intuitionistic Reasoning -- Applications of Connectionist Nonclassical Reasoning -- Fibring Neural Networks -- Relational Learning in Neural Networks -- Argumentation Frameworks as Neural Networks -- Reasoning about Probabilities in Neural Networks -- Conclusions. 
520 |a 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 question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This book is the first to offer a self-contained presentation of neural network models for a number of computer science logics, including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neural-symbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities. The book will be invaluable reading for academic researchers, graduate students, and senior undergraduates in computer science, artificial intelligence, machine learning, cognitive science and engineering. It will also be of interest to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial intelligence systems. 
650 0 |a Artificial intelligence. 
650 0 |a Computer science. 
650 0 |a Logic. 
650 0 |a Machine theory. 
650 0 |a Pattern recognition systems. 
650 1 4 |a Artificial Intelligence. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Logic. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Automated Pattern Recognition. 
700 1 |a Lamb, Luís C.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Gabbay, Dov M.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642092299 
776 0 8 |i Printed edition:  |z 9783540868057 
776 0 8 |i Printed edition:  |z 9783540732457 
830 0 |a Cognitive Technologies,  |x 2197-6635 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-540-73246-4  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)