Accession Number:

ADA459177

Title:

Automated Commonsense Reasoning About Human Memory

Descriptive Note:

Conference paper

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY CA INST FOR CREATIVE TECHNOLOGIES

Personal Author(s):

Report Date:

2005-01-01

Pagination or Media Count:

7.0

Abstract:

Metacognitive reasoning in computational systems will be enabled by the development of formal theories that have broad coverage over mental states and processes as well as inferential competency. In this paper we evaluate the inferential competency of an existing formal theory of commonsense human memory by attempting to use it to validate the appropriateness of a commonsense memory strategy. We formulate a particular memory strategy to create an associated obstacle as a theorem in first-order predicate calculus. We then attempt to validate this strategy by showing that it is entailed by the axioms of the theory we evaluated. These axioms were encoded into the syntax of an automated reasoning system, which was used to automatically generate inferences and search for formal proofs.

Subject Categories:

  • Psychology
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE