...neurophysiology.

Recent work with positron emission tomography has identified areas of the brain that consume more glucose when a person is doing mental arithmetic. This knowledge will help build AI systems only when it becomes possible to observe what is going on in these areas during mental arithmetic.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...far.

The textbook [David Poole and Goebel, 1998] puts it this way. ``To get human-level computational intelligence it must be the agent itself that decides how to divide up the world, and which relationships to reason about.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...sense.

Gödel's theorem is not relevant to this, because the question is not one of decideability or of characterizing truth.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...formalism.

One referee for KR96 foolishly and arrogantly proposed rejecting a paper on the grounds that the inadequacy of circumscription for representing action was known.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.