In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatize, among others, the goal-related notions of trying, success, failure, functionality, intactness, and importance. Keywords. Goals, commonsense psychology, commonsense reasoning, intention
Jerry R. Hobbs, Andrew S. Gordon