A method of solving abductive reasoning problems via hitting set

DOI10.13328/J.CNKI.JOS.004694zbMATH Open1340.68160MaRDI QIDQ3461296FDOQ3461296

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

Publication date: 15 January 2016

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

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)

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)