A comprehensive approach to argumentation.
A reasoning model, based on the logic of argumentation, is described. The model represents argumentation as a directed graph in which nodes and arcs can be colored using an ordinal set of weightings and in which the attributes of both nodes and arcs can be modified. It is thus able to deal with the undercutting or augmenting of arguments. Weightings can be propagated through the graph to generate unique weightings for any node or arc. The model is able to deal with contradiction. It can incorporate numerical methods and is able to handle qualitative and quantitative reasoning.