A Cost Bounded Possibilistic ATMS

An incremental approach for generating multiple fault explanations when the system behaviour model is incomplete has been developed using a cost bounded ATMS as an underlying implementation mechanism. This paper describes an extension of the basic cost bounded ATMS suitable for cases when the incompleteness is modelled using possibilistic logic. The possibilistic cost bounded ATMS is integrated into a diagnostic system where uncertain and temporal information are used to discriminate hypotheses.