The generation of abductive explanations from inconsistent theories

DOI10.1093/JIGPAL/JZQ056zbMATH Open1256.03031OpenAlexW2055430578MaRDI QIDQ2909835FDOQ2909835

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

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

zbMATH Keywords

paraconsistencyabductionadaptive logicsbackward reasoninggoal-directed proof procedureproof heuristics

Mathematics Subject Classification ID

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

Cited In (7)

• A calculus for generating ground explanations
• Abduction through semantic tableaux versus abduction through goal-directed proofs
• Surviving Abduction
• Title not available (Why is that?)
• 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)