Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs.

Abstract

A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering from combinatorial blowup is certainly behaving incoherently. This report describes a rule-based problem solving system for automatically writing and improving numerical computer programs from specifications. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1981
Accession Number
ADA096559

Entities

People

  • Richard Brown

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Circuit Analysis
  • Circuits
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Language
  • Numbers
  • Power Series
  • Programming Languages
  • Sequences
  • Square Roots
  • Standards

Readers

  • Artificial Intelligence
  • Educational Psychology
  • Radar Systems Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms