Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

DOI10.1016/j.ijar.2018.07.014zbMath1448.68394arXiv1803.01571OpenAlexW2963751343MaRDI QIDQ1726251

Isabelle Bloch, Jamal Atif, Marc Aiguier, Ramón Pino Pérez

Publication date: 20 February 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.01571

zbMATH Keywords

retractioncuttingsatisfaction systemsexplanatory relation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Abstract categorical logic ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ On some associations between mathematical morphology and artificial intelligence ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Preferences and explanations
• Jumping to explanations versus jumping to conclusions
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Institution-independent model theory
• A Calculus for Generating Ground Explanations
• A Way to Simplify Truth Functions
• Towards Abductive Reasoning in First-order Logic
• Model-Baded Abduction via Dual Resolution
• Prime Implicates and Prime Implicants: From Propositional to Modal Logic
• First order abduction via tableau and sequent calculi
• Institutions: abstract model theory for specification and programming
• The complexity of logic-based abduction