THE FORTRAN DEDUCTIVE SYSTEM

Abstract

A Fortran Program to solve generalized algebra type problems has been developed. It is a heuristic program, designed to give rapid solutions for problems which it can solve. The program accepts as input a definition of an algebraic system, then solves problems in the system. The program's operation is described here in general terms and examples of its operation are given.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 24, 1968
Accession Number
AD0676016

Entities

People

  • Earl B. Hunt
  • J. Ross Quinlan

Organizations

  • University of Washington

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Calculus
  • Compilers
  • Computer Programs
  • Computers
  • Learning
  • Mathematics
  • Notation
  • Psychology
  • Scientific Research
  • Students
  • United States

Readers

  • Artificial Intelligence
  • Computer Science.