The generation of abductive explanations from inconsistent theories

DOI10.1093/JIGPAL/JZQ056MaRDI QIDQ2909835zbMATH OpenOpenAlexFDO

Authors Dagmar Provijn

Publication date 6 September 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzq056

zbMATH Keywords

paraconsistencyabductionadaptive logicsbackward reasoninggoal-directed proof procedureproof heuristics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• A proof procedure for adaptive logics
• Abduction through semantic tableaux versus abduction through goal-directed proofs
• Surviving Abduction
• scientific article; zbMATH DE number 2019872
• A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning

Cited in

(8)

• A calculus for generating ground explanations
• Abduction through semantic tableaux versus abduction through goal-directed proofs
• Surviving Abduction
• An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
• scientific article; zbMATH DE number 7238909 (Why is no real title available?)
• The theory of the process of explanation generalized to include the inconsistent case
• Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem
• A proof procedure for adaptive logics

This page was built for publication: The generation of abductive explanations from inconsistent theories

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