Constrained Derivation in Assumption-Based Argumentation

Abstract

Structured argumentation formalisms provide a rich framework to formalise and reason over situations where contradicting information is present. However, in most formalisms the integral step of constructing all possible arguments is performed in an unconstrained way and is thus not under direct control of the user. This can hinder a solid analysis of the behaviour of the system and makes explanations for the results difficult to obtain. In this work, we introduce a general approach that allows constraining the derivation of arguments for assumption-based argumentation.