truth-maintenance system

Related Overviews


'truth-maintenance system' can also refer to...


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

A collection of techniques in artificial intelligence that records dependencies between assertions in a logical database. Given a query and a database, a truth-maintenance system will return a set of statements, called an explanation, that supports the query; hence the query statement can be derived from the statements in the explanation. Applications are found in diagnosis, where a complete model of the working system is used to reason from symptoms to causes; an explanation, generated by a fault query, defines the steps from symptoms to cause. This is different from heuristic rule-based systems and probabilistic systems, which mainly use reasoning rules that relate cause to symptom.

TTL. NAND gate

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.