Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations

09/08/2019
by   Martin Atzmueller, et al.
0

The explication and the generation of explanations are prominent topics in artificial intelligence and data science, in order to make methods and systems more transparent and understandable for humans. This paper investigates the problem of link analysis, specifically link prediction and anomalous link discovery in social networks using the declarative method of Answer set programming (ASP). Applying ASP for link prediction provides a powerful declarative approach, e.g., for incorporating domain knowledge for explicative prediction. In this context, we propose a novel method for generating explanations - as offline justifications - using declarative program transformations. The method itself is purely based on syntactic transformations of declarative programs, e.g., in an ASP formalism, using rule instrumentation. We demonstrate the efficacy of the proposed approach, exemplifying it in an application on link analysis in social networks, also including domain knowledge.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/21/2017

Sketched Answer Set Programming

Answer Set Programming (ASP) is a powerful modeling formalism for combin...
research
09/22/2020

Justifications for Goal-Directed Constraint Answer Set Programming

Ethical and legal concerns make it necessary for programs that may direc...
research
12/03/2010

Using ASP with recent extensions for causal explanations

We examine the practicality for a user of using Answer Set Programming (...
research
06/07/2020

Kolmogorov Regularization for Link Prediction

Link prediction in graphs is an important task in the fields of network ...
research
09/22/2020

A System for Explainable Answer Set Programming

We present xclingo, a tool for generating explanations from ASP programs...
research
06/26/2018

A Tensor Based Data Model for Polystore: An Application to Social Networks Data

In this article, we show how the mathematical object tensor can be used ...
research
09/24/2013

Generating Explanations for Biomedical Queries

We introduce novel mathematical models and algorithms to generate (short...

Please sign up or login with your details

Forgot password? Click here to reset