Truth Maintenance Systems for Problem Solving.

Abstract

The thesis developed in this paper is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to: (1) maintain the consistency of program beliefs; (2) realize substantial search efficiencies; and (3) automatically summarize explanations of program beliefs. This report describes techniques for representing, recording, maintaining, and using justifications for beliefs. Also presented is an annotated implementation of a domain-independent program.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1978
Accession Number
ADA054826

Entities

People

  • Jon Doyle

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Advanced Electronics
  • Autonomy
  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Circuit Analysis
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Databases
  • Debugging
  • Efficiency
  • Electrical Engineering
  • Hypotheses
  • Language
  • Maintenance
  • Massachusetts
  • Theses

Readers

  • Business Analytics
  • Educational Psychology
  • Life Cycle Cost Analysis