A Probabilistic ATMS

From Tetherless World Wiki

Jump to: navigation, search

Citation: Sampath Srinivas. (1994) A Probabilistic ATMS. In KSL-94-13, February,1994.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Sampath Srinivas
title A Probabilistic ATMS
number KSL-94-13
institution Knowledge Systems, AI Laboratory
year 1994
month February
Bibtex more
Access Paper
abstract Truth maintenance systems (TMS) provide a method of improving the efficiency of search during problem solving. The problem solver uses the TMS to record the reasons that facts are derivable so that facts need not be rederived during the course of the search. De Kleer's Assumption Based Truth Maintenance system (ATMS) overcomes the limitations of many earlier systems, such as not being able to switch states swiftly and not being able to consider multiple solutions to a problem at once. We describe a probabilistic extension to the ATMS --An ATMS structure is augmented with a probability distribution over the set of assumptions. A probabilistic model is then constructed in the form of a Bayesian network from the ATMS structure. The probabilistic ATMS provides significant new functionality such as the derivation of the probability of a fact being derivable, the posteriorprobability over the assumptions given that a fact is derivable and the most probable context in which a fact is derivable. Our technique does not require the probability distribution of an assumption to be independent of the distributions of other assumptions. As an example of the use of the probabilistic ATMS, we show that it can be applied to construct probabilistic models to do multiple fault diagnosis. This generalizes some aspects of de Kleer and Williams' work on model based diagnosis. The probabilistic ATMS has been implemented in IDEAL, a Bayesian network solver.

KSL Technical Report ID: KSL-94-13
Facts about A Probabilistic ATMSRDF feed
Abstract Truth maintenance systems (TMS) provide a … Truth maintenance systems (TMS) provide a method of improving the efficiency of search during problem solving. The problem solver uses the TMS to record the reasons that facts are derivable so that facts need not be rederived during the course of the search. De Kleer's Assumption Based Truth Maintenance system (ATMS) overcomes the limitations of many earlier systems, such as not being able to switch states swiftly and not being able to consider multiple solutions to a problem at once. We describe a probabilistic extension to the ATMS --An ATMS structure is augmented with a probability distribution over the set of assumptions. A probabilistic model is then constructed in the form of a Bayesian network from the ATMS structure. The probabilistic ATMS provides significant new functionality such as the derivation of the probability of a fact being derivable, the posteriorprobability over the assumptions given that a fact is derivable and the most probable context in which a fact is derivable. Our technique does not require the probability distribution of an assumption to be independent of the distributions of other assumptions. As an example of the use of the probabilistic ATMS, we show that it can be applied to construct probabilistic models to do multiple fault diagnosis. This generalizes some aspects of de Kleer and Williams' work on model based diagnosis. The probabilistic ATMS has been implemented in IDEAL, a Bayesian network solver. ented in IDEAL, a Bayesian network solver.
Author Sampath Srinivas  +
Bibtype techreport  +
Has author Sampath Srinivas  +
Has identifier KSL-94-13  +
Has publishing details February,1994  +
Has title A Probabilistic ATMS  +
Has where published KSL-94-13  +
Has year 1994  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-94-13  +
Month February  +
Number KSL-94-13  +
Process note NO  +
Title A Probabilistic ATMS  +
Year 1994  +
Retrieved from "http://tw.rpi.edu/wiki/A_Probabilistic_ATMS"
Personal tools