Arg Teach - A Learning Tool for Argumentation Theory

Following the increasing influence of the formal study of argumentation in AI research, Abstract Argumentation (AA) is now taught as part of Computer Science degrees at various universities. To support the teaching of AA we present ARGTEACH, an interactive intelligent tutor that facilitates the learning of different labelling semantics in AA. The user assigns the labels in, out, and undec to arguments in an AA framework displayed as a graph, with the aim to find all complete labellings. The user then determines which of the complete labellings are grounded, preferred, semi-stable, or stable. During the labelling process, ARGTEACH supports the user by providing hints about possible next labelling steps, using a novel method for computing complete labellings, and by checking whether the labelling done so far is correct.