The Role of Theorem Proving in Artificial Intelligence
NAVAL WEAPONS LAB DAHLGREN VA
Pagination or Media Count:
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.
- Theoretical Mathematics
- Computer Programming and Software