ArguMed - A Template-Based Argument Mediation System for Lawyers
Bart Verheij · 1999
This paper introduces the ArguMed-system. It is an example of a system for computer-mediated defeasible argumentation, a new trend in the field of defeasible argumentation. In this research, computer systems are developed that mediate the process of argumentation by one or more users. Argumentmediation systems should be contrasted with systems for automated reasoning: the latter perform reasoning tasks for users, while the former play the more passive role of a mediator. E.g., mediation systems keep track of the arguments raised and of the justification status of statements. The argumentation theory of the ArguMed-system is an adaptation of Verheij’s CumulA-model, a procedural model of argumentation with arguments and counterarguments. In the CumulA-model, the defeat of arguments is determined by the structure of arguments and the attack relation between arguments. It is completely independent of the underlying language. The process-model is free, in the sense that it allows not only inference