An XAI View on Explainable ASP: Methods, Systems, and Perspectives
Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur
Abstract
Answer Set Programming (ASP) is a popular declarative reasoning and problem solving approach in symbolic AI. Its rule-based formalism makes it inherently attractive for explainable and interpretive reasoning, which is gaining increasing importance with the surge of Explainable AI (XAI). A number of explanation approaches and tools for ASP have been developed, which often tackle specific explanatory settings and may not cover all scenarios that ASP users might encounter. In this survey, we provide, guided by an XAI perspective, an overview of types of ASP explanations in connection with user questions for explanation, and describe how their coverage by current theory and tools in ASP. Furthermore, we pinpoint gaps in existing ASP explanations approaches and identify research directions for future work.
BibTeX
@inproceedings{ijcai2026_anxaiviewonexpla,
title = {An XAI View on Explainable ASP: Methods, Systems, and Perspectives},
author = {Thomas Eiter and Tobias Geibinger and Zeynep G. Saribatur},
booktitle = {IJCAI 2026},
year = {2026}
}