Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations

Research output: Contribution to conferencePaperOther research output

Abstract

The explication and the generation ofexplanationsare prominent top-ics in artificial intelligence and data science, in order to make methods and sys-tems more transparent and understandable for humans.This paper investigates the problem oflink analysis, specifically link predictionand anomalous link discovery insocial networksusing the declarative methodof Answer set programming (ASP). Applying ASP for link prediction providesa powerful declarative approach, e. g., for incorporating domain knowledge forexplicative prediction. In this context, we propose a novel method for generatingexplanations – as offline justifications – using declarative program transforma-tions. The method itself is purely based on syntactic transformations of declara-tive programs, e. g., in an ASP formalism, using rule instrumentation.We demonstrate the efficacy of the proposed approach, exemplifying it in an ap-plication on link analysis in social networks, also including domain knowledge
Original languageEnglish
Publication statusAccepted/In press - 2019
EventInternational Conference on Declarative Programming - Brandenburg University of Technology Cottbus – Senftenberg (BTU), Cottbus, Germany
Duration: 9 Sep 201913 Sep 2019
https://www.declare19.de/

Conference

ConferenceInternational Conference on Declarative Programming
Abbreviated titleDeclare
CountryGermany
CityCottbus
Period9/09/1913/09/19
Internet address

Fingerprint

Syntactics
Artificial intelligence

Cite this

Atzmueller, M., Güven, Ç., & Seipel, D. (Accepted/In press). Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations. Paper presented at International Conference on Declarative Programming, Cottbus, Germany.
Atzmueller, Martin ; Güven, Çiçek ; Seipel, Dietmar. / Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations. Paper presented at International Conference on Declarative Programming, Cottbus, Germany.
@conference{19925dd2a9fd43b987c1dd0e5b243bb1,
title = "Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations",
abstract = "The explication and the generation ofexplanationsare prominent top-ics in artificial intelligence and data science, in order to make methods and sys-tems more transparent and understandable for humans.This paper investigates the problem oflink analysis, specifically link predictionand anomalous link discovery insocial networksusing the declarative methodof Answer set programming (ASP). Applying ASP for link prediction providesa powerful declarative approach, e. g., for incorporating domain knowledge forexplicative prediction. In this context, we propose a novel method for generatingexplanations – as offline justifications – using declarative program transforma-tions. The method itself is purely based on syntactic transformations of declara-tive programs, e. g., in an ASP formalism, using rule instrumentation.We demonstrate the efficacy of the proposed approach, exemplifying it in an ap-plication on link analysis in social networks, also including domain knowledge",
author = "Martin Atzmueller and {\cC}i{\cc}ek G{\"u}ven and Dietmar Seipel",
year = "2019",
language = "English",
note = "International Conference on Declarative Programming, Declare ; Conference date: 09-09-2019 Through 13-09-2019",
url = "https://www.declare19.de/",

}

Atzmueller, M, Güven, Ç & Seipel, D 2019, 'Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations' Paper presented at International Conference on Declarative Programming, Cottbus, Germany, 9/09/19 - 13/09/19, .

Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations. / Atzmueller, Martin; Güven, Çiçek; Seipel, Dietmar.

2019. Paper presented at International Conference on Declarative Programming, Cottbus, Germany.

Research output: Contribution to conferencePaperOther research output

TY - CONF

T1 - Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations

AU - Atzmueller, Martin

AU - Güven, Çiçek

AU - Seipel, Dietmar

PY - 2019

Y1 - 2019

N2 - The explication and the generation ofexplanationsare prominent top-ics in artificial intelligence and data science, in order to make methods and sys-tems more transparent and understandable for humans.This paper investigates the problem oflink analysis, specifically link predictionand anomalous link discovery insocial networksusing the declarative methodof Answer set programming (ASP). Applying ASP for link prediction providesa powerful declarative approach, e. g., for incorporating domain knowledge forexplicative prediction. In this context, we propose a novel method for generatingexplanations – as offline justifications – using declarative program transforma-tions. The method itself is purely based on syntactic transformations of declara-tive programs, e. g., in an ASP formalism, using rule instrumentation.We demonstrate the efficacy of the proposed approach, exemplifying it in an ap-plication on link analysis in social networks, also including domain knowledge

AB - The explication and the generation ofexplanationsare prominent top-ics in artificial intelligence and data science, in order to make methods and sys-tems more transparent and understandable for humans.This paper investigates the problem oflink analysis, specifically link predictionand anomalous link discovery insocial networksusing the declarative methodof Answer set programming (ASP). Applying ASP for link prediction providesa powerful declarative approach, e. g., for incorporating domain knowledge forexplicative prediction. In this context, we propose a novel method for generatingexplanations – as offline justifications – using declarative program transforma-tions. The method itself is purely based on syntactic transformations of declara-tive programs, e. g., in an ASP formalism, using rule instrumentation.We demonstrate the efficacy of the proposed approach, exemplifying it in an ap-plication on link analysis in social networks, also including domain knowledge

M3 - Paper

ER -

Atzmueller M, Güven Ç, Seipel D. Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations. 2019. Paper presented at International Conference on Declarative Programming, Cottbus, Germany.