Work

Explanations for Answer Set Programming

Year: 2023

Type: article

Abstract: The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of shrinking as much as possible the set of assumptions and presenting explanations in terms of directed acyclic graphs.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.385.4

Authors: Mario Alviano, Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

Institutions: University of Calabria, New Mexico State University, Saint Joseph's University

Language: English

Topic: Explainable Artificial Intelligence (XAI)

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond