A FORMAL DEDUCTIVE PROBLEM-SOLVING SYSTEM

Abstract

A formal description of a generalized theorem proving computer program is given. The program has been written in Fortran IV, but this description is concerned with logical flow and definitions of the algorithm, rather than programming details. Examples of performance of the program are given, using several fields of mathematics for illustrative purposes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 09, 1968
Accession Number
AD0676017

Entities

People

  • E. B. Hunt
  • J. R. Quinlan

Organizations

  • University of Washington

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Artificial Intelligence
  • Calculus
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Inequalities
  • Language
  • Logic
  • Mathematical Logic
  • Mathematics
  • Numbers
  • Photoacoustic Tomography
  • Phrase Structure Grammars
  • Sequences

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.