# Automated Reasoning:

33 Basic Research Problems

by Larry Wos, Prentice-Hall, 1988.

This book describes various obstacles confronting the automation of
reasoning and proposes 33 research problems whose solution could
significantly advance the power of reasoning programs now in use.
Since automated reasoning is, to a major extent, an experimental
science, heavy emphasis is placed on the benefits of experimentation.
Numerous test problems from various fields are included; and
researchers are strongly encouraged to use these problems to test,
compare, and evaluate new approaches to automated reasoning.
For further information, contact
Larry Wos (wos@mcs.anl.gov).

## Contents of the Book

- Introduction --- 1
- An Overview of Some Obstacles to the Automation of Reasoning --- 13
- The List of Basic Research Problems --- 51
- Review of Automated Reasoning --- 65
- 33 Basic Research Problems: Detailed Discussion --- 109
- Test Problems and Experimentation --- 179
- The Future of Automated Reasoning --- 247

- Appendix A: General Information --- 261
- Appendix B: Set Theory Clauses in Mathematical Notation --- 265

*
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.
*