Paper
1971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Richard E. Fikes & Nils J. Nilsson
Represents planning states and operators so that theorem proving can generate plans directly, introducing the add/delete-list action representation that automated planners still use as a baseline.
Read itBefore you start
FreeAdvancedlink checked 17 Sept 2026
Read these first
Not a difficulty warning — a route. These are in the library too.
- A Machine-Oriented Logic Based on the Resolution PrincipleJ. A. Robinson, 1965Introduces resolution and unification as a single inference rule complete for first-order logic, replacing the many special-case rules earlier automated theorem provers needed.
- Some Philosophical Problems from the Standpoint of Artificial IntelligenceJohn McCarthy & Patrick J. Hayes, 1969Sets out the situation calculus for reasoning about action, and names the frame problem — stating everything an action does not change — that logic-based AI never solved cleanly.
Filed under Classical & Symbolic AI in Artificial Intelligence.