An overview of automated reasoning and related fields (Q1819948)

This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of article, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals listed. Although individually the goals of each field present a wide spectrum, collectively the fields share the interest of automating the process known as reasoning. Contents: \textit{L. Wos}: What is automated reasoning (pp. 6-9); \textit{F. Pereira}: Logic programming (pp. 9-13); \textit{R. Hong}: Research in intelligent robots (pp. 13-17); \textit{R. S. Boyer} and \textit{J S. Moore}: Program verification (pp. 17-23); \textit{W. W. Bledsoe} and \textit{L. J. Henschen}: What is automated theorem proving (pp. 23-28); \textit{B. G. Buchanan}: Expert systems (pp. 28-35); \textit{G. Wrightson}: Nonclassical logic theorem proving (pp. 35-37); \textit{C. Green}: What is program synthesis (pp. 37-41); References (pp. 41-48).