A Glimpse of Truth Maintenance.

Abstract

Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made. This results in bits and pieces of deductions being strewn throughout the program text and execution. This paper describes a problem solver subsystem called a truth maintenance system which collects and maintains these bits of deductions. Automatic functions of the thruth maintenance system then use these pieces of 'proofs' to consistently update a data base of program beliefs and to perform a powerful form of backtracking called dependency-directed backtracking. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1978
Accession Number
ADA052308

Entities

People

  • Jon Doyle

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Autonomy
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Circuit Analysis
  • Circuits
  • Classification
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Databases
  • Hypotheses
  • Logic
  • Maintenance
  • Massachusetts
  • Mathematical Logic
  • Security
  • Theses

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.