Knowledge Bases and Neural Network Synthesis

In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722 (1991)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

Similar books and articles

Diabetes Prediction Using Artificial Neural Network.Nesreen Samer El_Jerjawi & Samy S. Abu-Naser - 2018 - International Journal of Advanced Science and Technology 121:54-64.

Analytics

Added to PP
2015-07-29

Downloads
614 (#42,568)

6 months
51 (#99,495)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Todd Davies
Stanford University

Citations of this work

No citations found.

Add more citations

References found in this work

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

Add more references