摘要：This paper is described in the spirit of what is known as the logical approach to AI.
McCarthy proposed that to address a planning problem in AI by first giving a “formal
statement of the premises“ & then to develop a program capable of common sense
reasoning about action and change. A program that is able to perform such tasks as
prediction, explanation, and planning. The goal here is to take a careful look at the
early history of AI and to identify some of the logical and algorithmic ideas related to
problems that have emerged over the years. An experiment is presented that summarizes
the duration of the computation (in CPU seconds) using Sato when its input is generated
by Ccalc.
