A method of solving abductive reasoning problems via hitting set

DOI10.13328/J.CNKI.JOS.004694MaRDI QIDQ3461296zbMATH OpenFDO

Authors Quan Yu, Chengqian Li, Yuming Shen, Ju Wang

Publication date 15 January 2016

zbMATH Keywords

abductive reasoningprime implicantprime implicateminimal hitting set

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Recommendations

• The complexity of handling minimal solutions in logic-based abduction
• The complexity of handling minimal solutions in logic-based abduction
• scientific article; zbMATH DE number 512816
• scientific article; zbMATH DE number 1531965
• The complexity of logic-based abduction

Cited in

(4)

• Abductive reasoning in 2D geospatial problems
• Abductive case-based reasoning
• Abduction via \(C\)-tableaux and \(\delta\)-resolution
• Minimal abductive solutions with explicit justification

This page was built for publication: A method of solving abductive reasoning problems via hitting set

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