Neural-Symbolic Cognitive Reasoning

, &
Berlin and Heidelberg: Springer (2009)
  Copy   BIBTEX

Abstract

This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.

Categories

Keywords

Reprint years

ISBN(s)

9783540732457   3540732454
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A neural-symbolic perspective on analogy.Rafael V. Borges, Artur S. D'Avila Garcez & Luis C. Lamb - 2008 - Behavioral and Brain Sciences 31 (4):379-380.
Neural-Symbolic Cognitive Reasoning.Artur D'Avila Garcez, Luis Lamb & Dov Gabbay - 2009 - New York: Springer.
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
Abductive reasoning in neural-symbolic systems.Artur S. D’Avila Garcez, Dov M. Gabbay, Oliver Ray & John Woods - 2007 - Topoi 26 (1):37-49.
Abductive reasoning in neural-symbolic systems.A. Garcez, D. M. Gabbay, O. Ray & J. Woods - 2007 - Topoi 26 (1):37-49.
A neural cognitive model of argumentation with application to legal inference and decision making.Artur S. D'Avila Garcez, Dov M. Gabbay & Luis C. Lamb - 2014 - Journal of Applied Logic 12 (2):109-127.
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Henri Prade, Markus Knauff, Igor Douven & Gabriele Kern-Isberner - 2017 - Minds and Machines 27 (1):37-77.
Neural constraints on cognitive modularity?Brian J. Scholl - 1997 - Behavioral and Brain Sciences 20 (4):575-576.
Symbolic knowledge extraction from trained neural networks: A sound approach.A. S. D'Avila Garcez, K. Broda & D. M. Gabbay - 2001 - Artificial Intelligence 125 (1-2):155-207.
A Neural Model of Rule Generation in Inductive Reasoning.Daniel Rasmussen & Chris Eliasmith - 2011 - Topics in Cognitive Science 3 (1):140-153.
Consciousness, Accessibility, and the Mesh between Psychology and Neuroscience.Ned Block - 2007 - Behavioral and Brain Sciences 30 (5):481--548.
Semantics and Metaphysics in Informatics: Toward an Ontology of Tasks (a Reply to Lenartowicz et al. 2010, Towards an Ontology of Cognitive Control).Carrie Figdor - 2011 - Topics in Cognitive Science 3 (2):222-226.
The Explanatory Role of Computation in Cognitive Science.Nir Fresco - 2012 - Minds and Machines 22 (4):353-380.
natural intelligence and anthropic reasoning.Predrag Slijepcevic - 2020 - Biosemiotics 13 (tba):1-23.
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition.Hannes Leitgeb - 2004 - Kluwer Academic Publishers.

Analytics

Added to PP
2021-11-17

Downloads
24 (#660,055)

6 months
11 (#243,798)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Luís Lamb

Citations of this work

No citations found.

Add more citations

References found in this work

Epistemological challenges for connectionism.John McCarthy - 1988 - Behavioral and Brain Sciences 11 (1):44-44.
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.

Add more references