Accession Number:

AD0755719

Title:

The Role of Theorem Proving in Artificial Intelligence

Descriptive Note:

Technical rept.

Corporate Author:

NAVAL WEAPONS LAB DAHLGREN VA

Personal Author(s):

Report Date:

1972-11-01

Pagination or Media Count:

27.0

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.

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE