I'll be talking about a general architecture for a formal argumentation framework we developed (which was described on the paper Dave mentioned - abstract below).
The Abstract Argumentation Framework (Kowalski & Toni) gives a flexible way of dealing with defeasibility in argument, but it lacks features necessary to describe the dynamics of argument. Here we present an extension of the original framework and demonstrate its use on an example from a standard safety engineering reference text.