Explanations as Programs in Probabilistic Logic Programming

10/06/2022
by   Germán Vidal, et al.
0

The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an extension of logic programming which can be useful to model domains with relational structure and uncertainty. Essentially, a program specifies a probability distribution over possible worlds (i.e., sets of facts). The notion of explanation is typically associated with that of a world, so that one often looks for the most probable world as well as for the worlds where the query is true. Unfortunately, such explanations exhibit no causal structure. In particular, the chain of inferences required for a specific prediction (represented by a query) is not shown. In this paper, we propose a novel approach where explanations are represented as programs that are generated from a given query by a number of unfolding-like transformations. Here, the chain of inferences that proves a given query is made explicit. Furthermore, the generated explanations are minimal (i.e., contain no irrelevant information) and can be parameterized w.r.t. a specification of visible predicates, so that the user may hide uninteresting details from explanations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/24/2011

The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty

Many real world domains require the representation of a measure of uncer...
research
12/07/2020

Coalgebraic Semantics for Probabilistic Logic Programming

Probabilistic logic programming is increasingly important in artificial ...
research
01/29/2013

Towards a Logic-Based Unifying Framework for Computing

In this paper we propose a logic-based, framework inspired by artificial...
research
02/13/2013

Probabilistic Disjunctive Logic Programming

In this paper we propose a framework for combining Disjunctive Logic Pro...
research
10/04/2011

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

The distribution semantics is one of the most prominent approaches for t...
research
02/22/2016

Enablers and Inhibitors in Causal Justifications of Logic Programs

To appear in Theory and Practice of Logic Programming (TPLP). In this pa...
research
06/09/2011

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

We propose a logical/mathematical framework for statistical parameter le...

Please sign up or login with your details

Forgot password? Click here to reset