Recursively Generated Networks and Dynamical Learning

Abstract

Much of the research has been based on the premise is that mathematical methods and notation associated with constrained optimization should be used to specify a neural net, which can then be compiled to diverse implementations. But where do they get such a compiler? And what are the details of this mathematical notation? They have made substantial progress on these research questions: (1) They have developed mathematical methods that can transform one algebraic NN description into another, more implementable one. These developments were attained by serious work in the applied mathematics of neural nets. They can form the basis of a neural compiler because they address most of the major NN compilation and implementation issues. But they do not yet suffice. (2) They have been accumulating the research in a neural simulator. It can be expanded into a semi-automatic compiler: a neural net design and implementation environment based on mathematical methods. (3) They have developed a mathematical notation (not yet a formal language) for describing complex problem domains in terms of constrained optimization problems. The optimization problems can be solved by neural nets.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1991
Accession Number
ADA255441

Entities

People

  • Eric Mjolsness

Organizations

  • Yale University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Applied Mathematics
  • Cognitive Science
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computer Vision
  • Computers
  • Content Addressable Memory
  • Lisp Programming Language
  • Mathematics
  • Neural Networks
  • Notation
  • Probabilistic Models
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Neural Network Machine Learning.
  • Theoretical Analysis.