Abstract

An analysis of human planning strategies reveals that much of the knowledge that underlies intelligent planning involves commonsense psychology, the way that people think that they think. In this paper we describe our continuing effort to formalize a large-scale theory of commonsense psychology as 30 interrelated content theories in first-order logic. This paper discusses key aspects of the 16 content theories that we have completed, focusing on those that provide an account of how knowledge and intention lead to action, namely, memory, knowledge management, envisionment, goals, planning, and execution. Some of these areas present challenges to many of the simplifying assumptions that have traditionally been made in formal knowledge representation research; others are areas of commonsense knowledge where few formal treatments have previously been attempted. 1

Citations