β Scribed by Bart Verheij
No coin nor oath required. For personal study only.
The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user's production of arguments. Two systems are presented, ARGUE! and ARGUMED based on DEFLOG. The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally correspond to a view of the application of law as dialectical theory construction. The experiments provide insights into the design of argument assistants, and show the pros and cons of different ways of representing argumentative data. The development of the argumentation theories underlying the systems has culminated in the logical system DEFLOG that formalizes the interpretation of prima facie justified assumptions. DEFLOG introduces an innovative use of conditionals expressing support and attack. This allows the expression of warrants for support and attack, making it a transparent and flexible system of defeasible argumentation.
π SIMILAR VOLUMES
Bipolar argumentation frameworks enable to represent two kinds of interaction between arguments: support and conflict. In this paper, we turn a bipolar argumentation framework into a meta-argumentation framework where conflicts occur between sets of arguments, characterized as coalitions of supporti