Logo: 3-attack

Automated argument assistance

Bart Verheij

Sample screens
Background: DefLog
Introduction to ArguMed 2.0

ArguMed 3 based on DefLog (2001)
ArguMed 2.0 (1999)
ArguMed 1.0 (1998)
Argue! (1998)
(Latest version: 1.02, compiled June 30, 1998)
Argue! has been programmed in Delphi 2.0 for Windows 95. You can download the system as a zipped file (260 kB). It has been presented at NAIC '98 ('Argue! - an implemented system for computer-mediated defeasible argumentation'). There are screens of a sample session (with a legal example) and several sample screens (with p's and q's only) available - some of them of a version compiled a little earlier than the download version.
Features: sentences, arrows, defeaters, arguments (as reason/conclusion-trees), attack by counterarguments (as defeaters), a graphical interface (point, click, drag), an adjustable, step-wise evaluation algorithm

Please report your findings (positive and negative) by sending a message to b.verheij at ai dot rug dot nl.
Bart Verheij's home page - research - publications