Logical Basis for the Automation of Reasoning: Case Studies

TitleLogical Basis for the Automation of Reasoning: Case Studies
Publication TypeReport
Year of Publication2002
AuthorsWos, L, Veroff, R, Pieper, GW
Date Published01/2002
Other NumbersANL/MCS-P963-0102
Abstract

With the availability of computers in the late 1950s, researchers began to entertain the possibility of automating reasoning. Immediately, two distinctly different approaches were considered as the possible basis for that automation. In one approach, the intention was to study and then emulate prople; in the other, the plan was to rely on mathematical logic. In this paper, we focus mainly on the latter, for logic has proved to provide an excellent basis for the automation of reasoning.

PDFhttp://www.mcs.anl.gov/papers/P963.pdf