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 (
davise@cs.nyu.edu), 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.