The Role of Theorem Proving in Artificial Intelligence

Abstract

The paper describes and evaluates theorem proving and its role in artificial intelligence in non-technical terms. It discusses the general principles underlying automatic theorem proving on the computer and considers the different strategies and techniques that are used for improving performance. It is shown by examples that theorem proving plays a central role in artificial intelligence. The application of theorem proving to automatic program writing is treated in detail. A candid evaluation of the situation will reveal that further research in specific directions is desirable and that certain other areas do not appear to be promising in the near future.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1972
Accession Number
AD0755719

Entities

People

  • Hartmut G. Huber

Organizations

  • Naval Surface Warfare Center Dahlgren Division

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Energy and Power Technologies
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic
  • Calculus
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Environment
  • Hypotheses
  • Language
  • Logic
  • New York
  • Programming Languages
  • Reasoning
  • Theorems

Readers

  • Calculus or Mathematical Analysis
  • Computational Linguistics
  • Strategic Security Studies

Technology Areas

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