Abstract:Explanation generation frameworks aim to make AI systems' decisions transparent and understandable to human users. However, generating explanations in uncertain environments characterized by incomplete information and probabilistic models remains a significant challenge. In this paper, we propose a novel framework for generating probabilistic monolithic explanations and model reconciling explanations. Monolithic explanations provide self-contained reasons for an explanandum without considering the agent receiving the explanation, while model reconciling explanations account for the knowledge of the agent receiving the explanation. For monolithic explanations, our approach integrates uncertainty by utilizing probabilistic logic to increase the probability of the explanandum. For model reconciling explanations, we propose a framework that extends the logic-based variant of the model reconciliation problem to account for probabilistic human models, where the goal is to find explanations that increase the probability of the explanandum while minimizing conflicts between the explanation and the probabilistic human model. We introduce explanatory gain and explanatory power as quantitative metrics to assess the quality of these explanations. Further, we present algorithms that exploit the duality between minimal correction sets and minimal unsatisfiable sets to efficiently compute both types of explanations in probabilistic contexts. Extensive experimental evaluations on various benchmarks demonstrate the effectiveness and scalability of our approach in generating explanations under uncertainty.

Model Explanation via Support Graphs

Model Explanation via Support Graphs

Explaining Explanations in Probabilistic Logic Programming

MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure

Extending and Implementing the Stable Model Semantics

On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios

Learning Model Agnostic Explanations via Constraint Programming

Explaining Explanations in AI

Constraint-Driven Explanations for Black-Box ML Models

Sequential Explanations with Mental Model-Based Policies

Declarative Reasoning on Explanations Using Constraint Logic Programming

Explanation from Specification

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Strong Explanations in Abstract Argumentation

The Intriguing Properties of Model Explanations

String Diagrams for Layered Explanations

Diagnostics-Guided Explanation Generation

Dissenting Explanations: Leveraging Disagreement to Reduce Model Overreliance

LLM-Generated Black-box Explanations Can Be Adversarially Helpful

Enablers and Inhibitors in Causal Justifications of Logic Programs

TAGExplainer: Narrating Graph Explanations for Text-Attributed Graph Learning Models