A new method of computing hitting sets applied to diagnosis generation

MaRDI QIDQ3410399zbMATH OpenFDO

Authors Xiangfu Zhao, Dantong Ouyang

Publication date 27 November 2006

zbMATH Keywords

model-based diagnosisconflict set

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A method of combining SE-tree to compute all minimal hitting sets
• The computation of hitting sets: Review and new algorithms
• scientific article; zbMATH DE number 2114142
• A theory of measurement in diagnosis from first principles
• A Worst-Case Analysis of the Sequential Method to List the Minimal Hitting Sets of a Hypergraph

Cited in

(5)

• A new method to generate the complete set of unique signals for application in high consequence system
• A method of combining SE-tree to compute all minimal hitting sets
• The computation of hitting sets: Review and new algorithms
• A variant of Reiter's hitting-set algorithm
• scientific article; zbMATH DE number 2114142 (Why is no real title available?)

This page was built for publication: A new method of computing hitting sets applied to diagnosis generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3410399)