A First Comparison of Abstract Argumentation Reasoning-Tools.

Revision: 
1
Contributing Authors: 
  • Stefano Bistarelli
  • Fabio Rossi
  • Francesco Santini
Description: 

This experiment consists of the results presented in the following paper in the proceedings of ECAI 2014:
Stefano Bistarelli, Fabio Rossi, Francesco Santini: A First Comparison of Abstract Argumentation Reasoning-Tools. ECAI 2014: 969-970

We compare three different implementations of reasoning tools dedicated to Abstract Argumentation Frameworks. These systems are ASPARTIX, ConArg2, and Dung-O-Matic. They have been tested over three different models of randomly-generated graph models, corresponding to the Erdos-Renyi model, Kleinberg small-world model, and scale-free Barabasi model. This comparison is useful to study the behaviour of these reasoners over networks with different (also small-world) topologies, by also scaling the number of arguments to check the limits of today’s systems.

Recompilation Downloads
Vagrant Box. Approx. 978 MByte.
Note that this file is actually a tarfile containing VirtualBox files so may also be used directly with VirtualBox. All code in this machine is open source except for VirtualBox Guest Additions, which are included in binary form.
Approximate timescale after boot: weeks.
This VirtualBox needs 4Gbyte of RAM.

Quick Instructions for running
These instructions should work in a Unix-like system with vagrant and VirtualBox installed.

The URL to obtain the Vagrant box for this experiment is:
mkdir ConArgExperiments
cd ConArgExperiments
vagrant init ECAI2014_ConArg.box http://recomputation.org/system/files/experiments/cdb19c83-69ba-4c61-9fee-35c8653fc84f/ECAI2014_ConArg.box
vagrant up

This should run the experiment and create a new results directory in the current directory.
It will leave a virtual machine running. When ready enter

vagrant halt
which will stop the virtual machine (but leave a copy of it on your system.)

Further Instructions
General instructions for installing and running experiments from recomputation are contained on a general page. We also give further instructions on e.g. removing a box or repackaging it after you make changes.
The experiment will run automatically when the box is started by “vagrant up”. To disable this use this command instead
vagrant up --no-provision

Box: 
ECAI2014_ConArg.box
Related Publications: