Explainable ASP

  • Jérémie DauphinEmail author
  • Ken Satoh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11873)


Despite its proven relevance, ASP (answer set programming) suffers from a lack of transparency in its outputs. Much like other popular artificial intelligence systems such as deep learning, the results do not come with any explanation to support their derivation. In this paper, we use a given answer set as guidance for a simplified top-down procedure of answer set semantics developed by Satoh and Iwayama to provide not only an explanation for the derivation (or non-derivation) of the atoms, but also an explanation for the consistency of the whole answer set itself. Additionally, we show that a full use of the Satoh-Iwayama procedure gives an explanation of why an atom is not present in any answer set.


  1. Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. Theory Pract. Logic Program. 14(4–5), 603–618 (2014)MathSciNetCrossRefGoogle Scholar
  2. Dowling, W.F., Gallier, J.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Logic Program. 1(3), 267–284 (1984)MathSciNetCrossRefGoogle Scholar
  3. Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)CrossRefGoogle Scholar
  4. Fages, F.: A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. New Gener. Comput. 9(3–4), 425–443 (1991)CrossRefGoogle Scholar
  5. Fandinno, J., Schulz, C.: Answering the “why” in answer set programming - a survey of explanation approaches. Theory Pract. Logic Program. 19(2), 114–203 (2019)MathSciNetCrossRefGoogle Scholar
  6. Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Logic Program. 9(1), 1–56 (2009)MathSciNetCrossRefGoogle Scholar
  7. Satoh, K., Iwayama, N.: A correct goal-directed proof procedure for a general logic program with integrity constraints. In: Lamma, E., Mello, P. (eds.) ELP 1992. LNCS, vol. 660, pp. 24–44. Springer, Heidelberg (1993). Scholar
  8. Schulz, C., Toni, F.: Justifying answer sets using argumentation. Theory Pract. Logic Program. 16(1), 59–110 (2016)MathSciNetCrossRefGoogle Scholar
  9. Miller, T.: Explanation in artificial intelligence: insights from the social sciences. Artificial Intelligence (2018)Google Scholar
  10. Lewis, D.: Causal explanation. Philos. Pap. 2, 214–240 (1986)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.CSCUniversity of Luxembourg Esch-sur-AlzetteLuxembourg
  2. 2.National Institute of InformaticsTokyoJapan

Personalised recommendations