McCarthy's 'Programs with Common Sense' proposes the advice taker, a program that solves problems by manipulating sentences in formal languages, and defines a program as having common sense if it deduces for itself a sufficiently wide class of immediate consequences of what it is told and already knows.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.