Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
169 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head (2405.09415v3)

Published 15 May 2024 in cs.AI

Abstract: The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (21)
  1. 2019. On the equivalence between abstract dialectical frameworks and logic programs. Theory Pract. Log. Program. 19(5-6):941–956.
  2. 1997. An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93:63–101.
  3. 2017. On the equivalence between assumption-based argumentation and logic programming. J. Artif. Intell. Res. 60:779–825.
  4. 2015. On the equivalence between logic programming semantics and argumentation semantics. Int. J. Approx. Reasoning 58:87–111.
  5. 2018. Assumption-based argumentation: Disputes, explanations, preferences. In Baroni, P.; Gabbay, D.; Giacomin, M.; and van der Torre, L., eds., Handbook of Formal Argumentation. College Publications. chapter 7, 365–408.
  6. 2021. Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines. Argument Comput. 12(2):149–189.
  7. 2017. Capturing bipolar argumentation in non-flat assumption-based argumentation. In An, B.; Bazzan, A. L. C.; Leite, J.; Villata, S.; and van der Torre, L. W. N., eds., PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings, volume 10621 of Lecture Notes in Computer Science, 386–402. Springer.
  8. 2010. Modular argumentation for modelling legal doctrines of performance relief. Argument Comput. 1(1):47–69.
  9. Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2):321–358.
  10. 2023. A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. Artif. Intell. 324:104011.
  11. 2014. A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216:20–54.
  12. 2016. Explained activity recognition with computational assumption-based argumentation. In Proc. ECAI, volume 285 of FAIA, 1590–1591. IOS Press.
  13. 1998. Negation as failure in the head. The Journal of Logic Programming 35(1):39–78.
  14. Janhunen, T. 2004. Representing normal programs with clauses. In Proceedings of ECAI 2004, 358–362. IOS Press.
  15. 2022. Just a matter of perspective. In Toni, F.; Polberg, S.; Booth, R.; Caminada, M.; and Kido, H., eds., Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022, volume 353 of Frontiers in Artificial Intelligence and Applications, 212–223. IOS Press.
  16. Rapberger, A. 2020. Defining argumentation semantics under a claim-centric view. In Rudolph, S., and Marreiros, G., eds., Proceedings of the 9th European Starting AI Researchers’ Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020, volume 2655 of CEUR Workshop Proceedings. CEUR-WS.org.
  17. 2021. Assumption-based argumentation is logic programming with projection. In Vejnarová, J., and Wilson, N., eds., Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings, volume 12897 of Lecture Notes in Computer Science, 173–186. Springer.
  18. 2015. Logic programming in assumption-based argumentation revisited - semantics and graphical representation. In Bonet, B., and Koenig, S., eds., Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, 1569–1575. AAAI Press.
  19. Strass, H. 2013. Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell. 205:39–70.
  20. 2023. Understanding problog as probabilistic argumentation. In Pontelli, E.; Costantini, S.; Dodaro, C.; Gaggl, S. A.; Calegari, R.; d’Avila Garcez, A. S.; Fabiano, F.; Mileo, A.; Russo, A.; and Toni, F., eds., Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023, volume 385 of EPTCS, 183–189.
  21. 2009. Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica 93(2-3):383–403.
Citations (1)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now