Handling Contradictory Data with Metareasoning

Abstract

Our work has involved extending the meta-reasoning capabilities of the Active Logic inference engine (ALMA) to be able to represent a variety of types of contradiction and positive and negative introspection. This involved both theoretical and implementation effort. In particular, we developed techniques for representing, recognizing, and repairing mistakes that arise in the form of contradictions in the evolving belief set of an agent. This had two aspects: general (commonsense) reasoning, and reasoning attendant to natural-language dialogue. This work led to a number of other publications (see below), including a PhD dissertation completed in 2001.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 30, 2002
Accession Number
ADA414208

Entities

People

  • Donald Perlis
  • Michael Anderson

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Autonomous Agents
  • Cognitive Science
  • Computations
  • Inference Engines
  • Language
  • Mental Processes
  • Multiagent Systems
  • Natural Languages
  • New Mexico
  • Psychological Phenomena And Processes
  • Reasoning
  • Space Flight
  • Theses
  • Universities

Readers

  • Artificial Intelligence

Technology Areas

  • AI & ML