Skip to main content
SpringerLink
Log in

Argumentation-Based Explanations for Answer Sets Using ADF

  • Conference paper
  • First Online:
Book cover Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11481))

  • 747 Accesses

Abstract

This paper presents so-called asl-explanation graphs for answer set programming based on a translation of extended logic programs to abstract dialectical frameworks (ADF). The graphs show how a literal can be derived from the program, and they evaluate in an argumentative way why necessary assumptions about literals not contained in an answer set hold. With the set of all asl-explanation graphs for a literal and an answer set, it is possible to explain and justify thoroughly why the literal is or is not contained in that answer set. Additionally, we provide a criterion to improve the clarity of explanations by pruning nodes without loss of information and selecting most significant asl-explanation graphs.

This research has been supported by DFG (Research Unit 1513 and BR 1817/7-2).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    I.e., there is no other such tuple \((A'_s,R'_s)\) with \(A'_s\subseteq A_s\) and \( R'_s\subseteq R_s\).

References

  1. Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P., Woltran, S.: Abstract dialectical frameworks. An overview. IFCoLog J. Log. Their Appl. 4(8), 2263–2317 (2017)

    Google Scholar 

  2. Brewka, G., Strass, H., Ellmauthaler, S., Wallner, J.P., Woltran, S.: Abstract dialectical frameworks revisited. Proc. IJCAI 2013, 803–809 (2013)

    Google Scholar 

  3. Chen, Z.: Automating disease management using answer set programming programming. In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, pp. 22:1–22:10. OASICS (2016)

    Google Scholar 

  4. Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53 (2016)

    Article  Google Scholar 

  5. García, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory Pract. Log. Program. 4(2), 95–138 (2004)

    Article  MathSciNet  Google Scholar 

  6. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3), 365–385 (1991)

    Article  Google Scholar 

  7. Grasso, G., Iiritano, S., Leone, N., Lio, V., Ricca, F., Scalise, F.: An ASP-based system for team-building in the Gioia-Tauro seaport. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 40–42. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11503-5_5

    Chapter  Google Scholar 

  8. Oetsch, J., Pührer, J., Tompits, H.: Catching the ouroboros: on debugging non-ground answer-set programs. Theory Pract. Log. Program. 10(4–6), 513–529 (2010)

    Article  MathSciNet  Google Scholar 

  9. Oetsch, J., Pührer, J., Tompits, H.: Stepping through an answer-set program. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 134–147. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_13

    Chapter  Google Scholar 

  10. Polberg, S.: Extension-based semantics of abstract dialectical frameworks. CoRR abs/1405.0406 (2014)

    Google Scholar 

  11. Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1), 1–56 (2009)

    Article  MathSciNet  Google Scholar 

  12. Rolf, L.: Argumentation für Erklärung und Debugging von clingo-ASP-Lösungen (Argumentation for explaining and debugging of Clingo-ASP-solutions), TU Dortmund (2018)

    Google Scholar 

  13. Schieweck, S., Kern-Isberner, G., ten Hompel, M.: Various approaches to the application of answer set programming in order-picking systems with intelligent vehicles. In: Proceedings of the 9th International Joint Conference on Computational Intelligence, vol. 1, pp. 25–34 (2017)

    Google Scholar 

  14. Schulz, C., Sergot, M., Toni, F.: Argumentation-based answer set justification. In: Working Notes of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning (2013)

    Google Scholar 

  15. Schulz, C., Toni, F.: Justifying answer sets using argumentation. Theory Pract. Log. Program. 16(01), 59–110 (2016)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU Dortmund, Dortmund, Germany

    Lena Rolf & Gabriele Kern-Isberner

  2. Leipzig University, Leipzig, Germany

    Gerhard Brewka

Authors
  1. Lena Rolf
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriele Kern-Isberner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerhard Brewka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gerhard Brewka .

Editor information

Editors and Affiliations

  1. Saint Joseph's University, Philadelphia, PA, USA

    Marcello Balduccini

  2. University of Nebraska at Omaha, Omaha, USA

    Yuliya Lierler

  3. TU Wien, Vienna, Austria

    Stefan Woltran

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rolf, L., Kern-Isberner, G., Brewka, G. (2019). Argumentation-Based Explanations for Answer Sets Using ADF. In: Balduccini, M., Lierler, Y., Woltran, S. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science(), vol 11481. Springer, Cham. https://doi.org/10.1007/978-3-030-20528-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-20528-7_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-20527-0

  • Online ISBN: 978-3-030-20528-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation