Automated reasoning: basic research problems
In this paper, we present some of the open research problems in the field of automated reasoning. By collecting these problems in one place, we intend to stimulate research and thus reduce the time required to reach one of the primary objectives of the field. That objective is to design and implement a computer program that functions as a high-level automated reasoning assistant. This paper is intended for new researchers as well as those who have been active in the field. We therefore include an overview of automated reasoning itself, touching on the basic elements, various examples and some of its applications. The existence of single automated reasoning programs that have provided valuable assistance in answering open questions in mathematics and logic, designing superior circuits, validating existing circuit designs, and proving properties of computer programs establishes the usefulness and versatility of such programs. The degree of assistance future automated reasoning programs will offer depends on which of the open problems cited in this paper are solved. 15 refs.
- Research Organization:
- Argonne National Lab., IL (USA)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 5870686
- Report Number(s):
- ANL/MCS-TM-67; ON: DE86009214
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning: Introduction and applications
Automated reasoning and various applications