Complexity of abstract argumentation

Abstract

The semantic models discussed in Chapter 11 provide an important element of the formal computational theory of abstract argumentation. Such models offer a variety of interpretations for "collection of acceptable arguments" but are unconcerned with issues relating to their implementation. In other words, the extension-based semantics described earlier distinguish different views of what it means for a set, S, of arguments to be acceptable, but do not consider the procedures by which such a set might be identified. © 2009 Springer-Verlag US.