Search papers, labs, and topics across Lattice.
This paper introduces a novel splitting technique for Assumption-Based Argumentation Frameworks (ABAFs) that operates directly on the knowledge base, rather than on the instantiated argument graphs. This approach aims to mitigate the exponential growth in complexity that occurs when ABAFs are translated into graph-based formalisms like Dung's AFs. The authors also generalize the splitting technique to a parameterized version, further enhancing its flexibility and applicability.
Splitting ABAFs at the knowledge base level sidesteps the exponential blowup of graph instantiation, potentially unlocking more efficient reasoning for complex debates.
Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational complexity of core reasoning tasks in ABA poses a significant challenge for its applicability. This issue is further aggravated when ABA frameworks (ABAFs) are instantiated into graph-based argumentation formalisms, such as Dung's Argumentation Frameworks (AFs) and Argumentation Frameworks with Collective Attacks (SETAFs). In knowledge representation and reasoning, a key strategy to address computational intractability is to optimise reasoning over a given knowledge base through divide-and-conquer algorithms. A paradigmatic example of this approach is splitting, where extensions of a given framework are computed incrementally, by restricting the search space to sub-frameworks only, and then combining the obtained results. This approach has been successfully applied to AFs, for which also a parametrised version has been introduced under stable semantics. However, the exponential growth produced by the instantiation might undermine the usefulness of splitting on the argument graphs induced by ABAFs. To address this issue, our work investigates the concept of splitting on the knowledge base rather than on its graph-based instantiation. Furthermore, we generalise splitting to its parametrised version for ABAFs.
