Todd Davies
Stanford University
We describe and try to motivate our project to build systems using both a knowledge based and a neural network approach. These two approaches are used at different stages in the solution of a problem, instead of using knowledge bases exclusively on some problems, and neural nets exclusively on others. The knowledge base (KB) is defined first in a declarative, symbolic language that is easy to use. It is then compiled into an efficient neural network (NN) representation, run, and the results from run time and (eventually) from learning are decompiled to a symbolic description of the knowledge contained in the network. After inspecting this recovered knowledge, a designer would be able to modify the KB and go through the whole cycle of compiling, running, and decompiling again. The central question with which this project is concerned is, therefore, How do we go from a KB to an NN, and back again? We are investigating this question by building tools consisting of a repertoire of language/translation/network types, and trying them on problems in a variety of domains.
Keywords declarative knowledge  neural networks  compilation  decompilation  connectionism  knowledge representation  Yale shooting problem  bayesian reasoning  nonmonotonic reasoning  symbolic respresentations
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Computer Modelling of Mathematical Reasoning.Alan Bundy - 1987 - Journal of Symbolic Logic 52 (2):555-557.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Some Neural Networks Compute, Others Don't.Gualtiero Piccinini - 2008 - Neural Networks 21 (2-3):311-321.
Principles of Semantic Networks.Steven Schwartz - 1984 - Behavioral and Brain Sciences 7 (4).
Out of Their Minds: Legal Theory in Neural Networks. [REVIEW]Dan Hunter - 1999 - Artificial Intelligence and Law 7 (2-3):129-151.
A Medical Decision Aid Based on a Neural Network Model.Maurice E. Cohen & Donna L. Hudson - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 588--597.
General Organizational Principles of the Brain as Key to the Study of Animal Consciousness.Ruud van den Bos - 2000 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 6.


Added to PP index

Total views
354 ( #29,012 of 2,507,375 )

Recent downloads (6 months)
53 ( #16,041 of 2,507,375 )

How can I increase my downloads?


My notes