Automated argument assistance for lawyers
Bart Verheij · 1999
The ArguMed-system is presented, which is an example of an argument-assistance system. Its goal is to assist the user while making statements, adducing reasons, inferring conclusions and providing exceptions. Automated argument assistance should be distinguished from automated reasoning: while automated reasoning systems replace the reasoning of the users, argument-assistance systems do not reason themselves, but are tools assisting the users' reasoning. ArguMed is the successor of the Argue!-system. Argue!'s graphical interface was considered too unfamiliar for the intended users, and its underlying argumentation theory was not sufficiently transparent. The system as described here is the second version of the ArguMed-system. Two drawbacks of the previous version have been solved. First, though the arguments were presented graphically, argument attack was not. It was graphically shown that an argument was defeated by an attacking argument, but not by which argument. Second, in the ...