truth-maintenance system (reason-maintenance system) 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.
More From encyclopedia.com
SYMPTOM , SYMPTOM Freud created psychoanalysis by giving meaning to symptoms. In his writings following Studies on Hysteria (1895d), he continued to investigat… System , sys·tem / ˈsistəm/ • n. 1. a set of connected things or parts forming a complex whole, in particular: ∎ a set of things working together as parts of… Multiple System Atrophy , Definition Multiple system atrophy (MSA) is a neurodegenerative disease characterized by parkinsonism, cerebellar dysfunction, and autonomic disturba… Expert Systems , Expert systems, also called "rule-based systems," are computer programs or sets of programs that use knowledge of a domain (a specific field or disci… Verification , The term "verification" concerns statements or theories. Since a theory can be formulated as a conjunction of hypotheses, and therefore as a single s… Systems Design , A system can be defined in several ways, including: (1) a set of interrelated parts that function as a whole to achieve a common purpose; (2) a piece…
About this article
Updated About encyclopedia.com content Print Article
You Might Also Like