Papers
Topics
Authors
Recent
Detailed Answer
Quick Answer
Concise responses based on abstracts only
Detailed Answer
Well-researched responses based on abstracts and relevant paper content.
Custom Instructions Pro
Preferences or requirements that you'd like Emergent Mind to consider when generating responses
Gemini 2.5 Flash
Gemini 2.5 Flash 64 tok/s
Gemini 2.5 Pro 50 tok/s Pro
GPT-5 Medium 30 tok/s Pro
GPT-5 High 35 tok/s Pro
GPT-4o 77 tok/s Pro
Kimi K2 174 tok/s Pro
GPT OSS 120B 457 tok/s Pro
Claude Sonnet 4 37 tok/s Pro
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
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Summary

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

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

Follow-Up Questions

We haven't generated follow-up questions for this paper yet.

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