18 research outputs found
From Structured to Abstract Argumentation : Assumption-Based Acceptance via AF Reasoning
Peer reviewe
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments
Publisher Copyright: © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)Peer reviewe
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation
Peer reviewe
Arg-tuProlog: A tuProlog-based argumentation framework
Over the last decades, argumentation has become increasingly central as a frontier research within artificial intelligence (AI), especially around the notions of interpretability and explainability, which are more and more required within AI applications. In this paper we present the first prototype of Arg-tuProlog, a logic-based argumentation tool built on top of the tuProlog system. In particular, Arg-tuProlog enables defeasible reasoning and argumentation, and deals with priorities over rules. It also includes a formal method for dealing with burden of proof (burden of persuasion). Being lightweight and compliant to the requirements for micro-intelligence, Arg-tuProlog is perfectly suited for injecting argumentation into distributed pervasive systems
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
Peer reviewe
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Peer reviewe