Neurons and Symbols: A Manifesto

We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems, machine learning and automated reasoning, and list some of the challenges for the area of neural-symbolic computation to achieve the promise of effective integration of robust learning and expressive reasoning under uncertainty.

[1]  Dov M. Gabbay,et al.  Fibring Neural Networks , 2004, AAAI.

[2]  Antony Browne,et al.  Connectionist inference models , 2001, Neural Networks.

[3]  Moritz Y. Becker,et al.  An Abductive Protocol for Authorization Credential Gathering in Distributed Systems , 2009 .

[4]  Jude W. Shavlik,et al.  Knowledge-Based Artificial Neural Networks , 1994, Artif. Intell..

[5]  Krysia Broda,et al.  Neural-symbolic learning systems - foundations and applications , 2012, Perspectives in neural computing.

[6]  Leslie G. Valiant,et al.  Three problems in computer science , 2003, JACM.

[7]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[8]  Gadi Pinkas,et al.  Symmetric Neural Networks and Propositional Logic Satisfiability , 1991, Neural Computation.

[9]  Pascal Hitzler,et al.  Perspectives of Neural-Symbolic Integration , 2007, Studies in Computational Intelligence.

[10]  Leslie G. Valiant,et al.  A neuroidal architecture for cognitive computation , 1998, ICALP.

[11]  Jacek M. Zurada,et al.  Knowledge-based neurocomputing , 2000 .

[12]  Lokendra Shastri,et al.  SHRUTI: A Neurally Motivated Architecture for Rapid, Scalable Inference , 2007, Perspectives of Neural-Symbolic Integration.

[13]  John-Jules Ch. Meyer,et al.  An integrated neural-symbolic cognitive agent architecture for training and assessment in simulators , 2010, AAAI 2010.

[14]  Yuri Gureoich.  Intuitionistic Logic , 2008 .

[15]  Yee Whye Teh,et al.  A Fast Learning Algorithm for Deep Belief Nets , 2006, Neural Computation.

[16]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[17]  Ron Sun,et al.  Theoretical status of computational cognitive modeling , 2009, Cognitive Systems Research.

[18]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[19]  Leslie G. Valiant,et al.  Cognitive computation , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[20]  Steven Pinker,et al.  The logic of indirect speech , 2008, Proceedings of the National Academy of Sciences.

[21]  Steffen Hölldobler,et al.  Towards a New Massively Parallel Computational Model for Logic Programming , 1994 .

[22]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[23]  Chong Wang,et al.  Simultaneous image classification and annotation , 2009, 2009 IEEE Conference on Computer Vision and Pattern Recognition.

[24]  Dov M. Gabbay,et al.  Neural-Symbolic Cognitive Reasoning , 2008, Cognitive Technologies.

[25]  Fabian Hadiji,et al.  Informed Lifting for Message-Passing , 2010, AAAI.

[26]  Leslie G. Valiant,et al.  Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence , 2008, FSTTCS.

[27]  Dov M. Gabbay,et al.  A Practical Logic of Cognitive Systems, Volume 2: The Reach of Abduction: Insight and Trial , 2005 .

[28]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.