AN APPLICATION OF HEURISTIC PROGRAMMING TO THE PROBLEM OF THEOREM PROVING BY MACHINE

Abstract

A mechanical procedure using trial and error techniques is outlined which will verify, in a large number of cases, the validity of an argument form expressed in quantification theory. Combinational processes were used to a minimum extent. Techniques of implementation for a digital computer are also discussed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1963
Accession Number
AD0403761

Entities

People

  • Serafino Amoroso

Organizations

  • United States Army Communications-Electronics Command

Tags

Communities of Interest

  • Advanced Electronics
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Artificial Intelligence
  • Computer Programming
  • Computers
  • Digital Computers
  • Electronics
  • Electronics Laboratories
  • Language
  • Massachusetts
  • Mathematics
  • Military Research
  • New Jersey
  • New York
  • Numbers
  • United States

Readers

  • Computational Modeling and Simulation
  • Mathematical Modeling and Probability Theory.