Vispartix -
Generating and Visualizing Argumentation Frameworks
Vispartix is a collection of ASP encodings that follow the instantiation-based approach of generating argumentation frameworks (AFs). In combination with ARVis (Answer Set Relationship Visualizer), the resulting AFs can be visualized.
It is developed within the project "New Methods for Analyzing, Comparing, and Solving Argumentation Problems" and supported by the Vienna University project "Innovative Projects 9006.09".
Contents
News
Updated paper available
24.07.2012An updated version of our paper Utilizing ASP for Generating and Visualizing Argumentation Frameworks is available.
ARVis documentation available
18.07.2012User and Programmer's Guide for ARVis are now available.
Webpage online
22.06.2012The Vispartix homepage is now online.
Vispartix
Vispartix follows the approach of instantiation-based argumentation: Hereby, one starts with a knowledge base and constructs arguments out of that. Arguments typically consist of two parts, namely a support, which is grounded in the knowledge base and a claim derived from it. From an underyling propositional knowledge base and a set of possible claims, the Vispartix encodings construct arguments such that the support is a subset minimal consistent set from the knowledge base, entailing the claim.
Furthermore, Vispartix contains encodings for the construction of different attack relations between arguments. As an input, the arguments obtained previously are used. Since the argument construction and conflict identification are declaratively described via ASP code, the system is easily adaptable to other notions of arguments or conflicts.
ARVis (Answer Set Relationship Visualizer)
ARVis is intended for the visualization of answer sets and their relations by means of a directed graph. ARVis is available here.
Additional Documentation (version 1.X.X)- User-Guide: ARVis-UserGuide.pdf
- Programmer's Guide: ARVis-ProgrammersGuide.pdf
Download
Vispartix - Generating Argumentation Frameworks
The following encodings are specified for gringo/claspD (see Potassco) .
Forming Arguments
- p1_arguments_all.lp: Contains computation of entailment, subset minimality, consistency as well as model checking.
Attacks
General- p2_attacks_all.lp: Contains shared encoding of all attack types and model checking.
- Defeat: p2_defeat.lp
- Direct Defeat: p2_directdefeat.lp
- Canonical Undercut: p2_canonicalundercut.lp
- Defeating Rebuttal: p2_defeatingrebuttal.lp
- Direct Undercut: p2_directundercut.lp
- Rebuttal: p2_rebuttal.lp
- Strong Rebuttal: p2_strongrebuttal.lp
ARVis - Visualizer
ARVis expects Java (JRE) 1.6 to be installed on your system.- ARVis (First Vispartix version): ARVis_1.12.6.jar
- Newer versions: ARVis homepage.
Usage (version 1.X.X)
Initial Configuration
The first time ARVis is used its configuration has to be adapted.
Settings can be applied by running ARVis (depending on your system
either by double-clicking it or by running it via
java -jar ARVis_VERSION.jar).
In Start > Configuration define the following settings for
Vispartix:
- ASP Solver:
other - Base-Program-Execution:
gringo | claspD 0 - Visualization-Execution:
gringo | claspD 0 - Working Directory: empty, or the path to your gringo and claspD location
- Generate only 1 Graph:
checked
where
gringoandclaspDrepresent either the relative or absolute path and file name to your local grounder and solver installation. In case a relative path is specified, the file is expected to be contained in the working directoy. In case gringo and claspD are not available on your system, please download them from the potassco webpage.
Note that any ASP encodings that are specified later on by the user (via the GUI-wizard) are passed directly to the first command (e.g. the command before the first pipe operator, in this case gringo).
Running Vispartix
In order to obtain an argumentation framework, specify the following files and selections within the wizard of ARVis:
- Execution Base-Program: Specify p1_arguments_all.lp and your input instance (which contains a knowledge base and a set of claims). We provide an example instance here: af_example.lp
- Code-Generation: Select
claim/1andfs/1. - Execution-Visualization: Specify p2_attacks_all.lp and any attack types you are interested in (see attack type list).
- Edge/Highlight-Selection: Select
attack/2as graph edge.
The obtained argumentation framework can be exported via the txt export option.
Team
People involved in the development of Vispartix: People involved in the software development of ARVis:- Thomas Ambroz
- Andreas Jusits
References
2012 | |
| [1] |
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat, Johannes Peter Wallner, and Stefan Woltran. Accepted at ASPOCP'12 (2012). [ .pdf ] |
Top