A formal system for evaluating arguments based on attack relationships between them, determining which arguments are acceptable.