Affiliation: | (1) Mathematics and Computer Science Division, Argonne National Laboratory, 60439 Argonne, IL, USA;(2) Artificial Intelligence Center, SRI International, 94025 Menlo Park, CA, USA;(3) Crumman Aerospace Corporation, 11714 Bethpage, NY, USA;(4) Computer Science Department, University of Texas, 78712 Austin, TX, USA;(5) Department of Mathematics, University of Texas, 78712 Austin, TX, USA;(6) Department of Electrical Engineering and Computer Science, Northwestern University, 60201 Evanston, IL, USA;(7) Computer Science Department, Stanford University, 94305 Stanford, CA, USA;(8) Department of Computer Science, Victoria University, Wellington, New Zealand;(9) Kestrel Institute, 94304 Palo Alto, CA, USA |
Abstract: | 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 articles, 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. |