Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > research > project > ARVis

Tools: Print


ARVis - Answer Set Relationship Visualizer


ARVis is a system for visualizing relations between answer sets.


Contents


News

New Version

13.06.2014
ARVis (version 3.0.0) is now available for download. This update features:

New Webpage

14.09.2013
ARVis (version 2.0.0) is now available for download.

About

ARVis is intended for the visualization of answer sets and their relations by means of a directed graph. Each node in the graph represents an answer set and a directed edge between two answer-sets represents a relation. The answer sets (nodes), computed by a first user-specified ASP encoding, are passed to a second user-specified encoding which computes the relations (edges) between them.

ARVis is a general-purpose tool that may be used in many areas of research, including debugging of ASP programs, representing preferences over answer sets or, in general, any problems that build upon a graph structure.

Example Applications

The ARVis package contains several example applications. Just load the respective configuration file (.xml), adapt the solver paths, and run the example.

Abduction

Abduction is a famous non-monotonic reasoning formalism in AI to provide possible explanations for observed behavior. In the figure below, ARVis is used to illustrate possible solutions (expanations) of an example instance (nodes in the graph, details of selected solutions are shown on the right). Solutions can be related according to a preference relation, represented by the edges of the graph. The screenshot illustrates the results w.r.t. the (transitive) cardinality relation of solution predicates. For example, solution 7 is smaller (w.r.t. cardiniality) than solution 1 or 3.

Abduction example

To run the abduction example by yourself, just load the configuration file arvis-abduction-gringo+claspD.xml, contained in examples/abduction.

Vispartix - Generating Argumentation Frameworks

See Vispartix for more information.

First Steps

Running ARVis

First, download ARVis und unzip the package. Run ARVis (depending on your system) either by double-clicking it or by running it via java -jar ARVis_VERSION.jar). Under ARVis > Preferences... set the correct path(s) to your ASP solver(s), or create a new solver configuration. Solvers have to be downloaded separately (e.g., DLV or Potassco (clasp, ...)). If you want to build a custom solver (e.g., by piping gringo and claspD together) see folder example-solver/gringo+claspD.sh for a simple example script. This script can be specified in the solver path field of the ARVis settings. Within the script, you have to adapt the paths to gringo and claspD.

Running the example applications

The folder examples contains some example applications for ARVis. Just load the provided ARVis application configuration file (.xml), and set the correct path to the solver in ARVis > Preferences...

Projects

Each ARVis project can be stored in a separate .xml configuration file. Hence, you can adapt solver configurations independently per project.

Download

Current Version: ARVis-3.0.0.zip
Older Versions: ARVis-2.0.0.jar
ARVis-2.0.0-source.zip
ARVis-2.0.0-beta.jar

Team

People involved in the development of ARVis:

Related Webpages

References


2013

[2] ARVis: Visualizing Relations between Answer Sets
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, and Stefan Woltran.
In LPNMR'13 (2013).

2012

[1] Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat, Johannes Peter Wallner, and Stefan Woltran.
In ASPOCP'12 (2012). [ .pdf ]

Top

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.