Project SherlockEst. Knowledge

Paper

1969

Some Philosophical Problems from the Standpoint of Artificial Intelligence

John McCarthy & Patrick J. Hayes

Sets 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.

Before you start

FreeAdvancedlink checked 17 Sept 2026

Groundwork for

Works in the library that name this one as a prerequisite.

STRIPS: A New Approach to the Application of Theorem Proving to Problem SolvingRichard E. Fikes & Nils J. Nilsson, 1971Represents 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.

Filed under Classical & Symbolic AI in Artificial Intelligence.