Accession Number:

ADA458639

Title:

Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report

Descriptive Note:

Technical rept.

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER

Personal Author(s):

Report Date:

1991-04-01

Pagination or Media Count:

28.0

Abstract:

Nonmonotonic logics are meant to be a formalization of nonmonotonic reasoning. However, for the most part they fail to embody two of the most important aspects of such reasoning the explicit computational nature of nonmonotonic inference, and the assignment of preferences among competing inferences. We propose a method of nonmonotonic reasoning in which the notion of inference from specific bodies of evidence plays a fundamental role. The formalization is based on autoepistemic logic, but introduces additional structure, a hierarchy of evidential spaces. The method offers a natural formalization of many different applications of nonmonotonic reasoning, including reasoning about action, speech acts, belief revision, and various situations involving competing defaults.

Subject Categories:

  • Cybernetics
  • Linguistics
  • Psychology

Distribution Statement:

APPROVED FOR PUBLIC RELEASE