From the Common Sense Problem Page

Naive Psychology

Sam's Calculus

Sam got straight C's in high school math and has not thought for a moment about math in the 20 years since. Infer that Sam is not the person to ask about a calculus problem.

Contributed by Ernie Davis (, New York University, U.S.A. (18th September 1997)

A solution to Sam's Calculus Problem

John Campbell and Vladimir Lifschitz: Reinforcing a claim in commonsense reasoning, Common Sense 2003, Logical Formalizations of Commonsense Reasoning: Papers from 2003 AAAI Spring Symposium, 2003, pp. 51-56.
Note that this solution focuses more on the issue of elaboration tolerance than the naive psychology aspects of the problem.

Return to Common Sense Problem Page