ARVis: Visualizing Relations between Answer Sets

  • Thomas Ambroz
  • Günther Charwat
  • Andreas Jusits
  • Johannes Peter Wallner
  • Stefan Woltran
Conference paper

DOI: 10.1007/978-3-642-40564-8_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8148)
Cite this paper as:
Ambroz T., Charwat G., Jusits A., Wallner J.P., Woltran S. (2013) ARVis: Visualizing Relations between Answer Sets. In: Cabalar P., Son T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science, vol 8148. Springer, Berlin, Heidelberg

Abstract

Answer set programming (ASP) is nowadays one of the most popular modeling languages in the areas of Knowledge Representation and Artificial Intelligence. Hereby one represents the problem at hand in such a way that each model of the ASP program corresponds to one solution of the original problem. In recent years, several tools which support the user in developing ASP applications have been introduced. However, explicit treatment of one of the main aspects of ASP, multiple solutions, has received less attention within these tools. In this work, we present a novel system to visualize relations between answer sets of a given program. The core idea of the system is that the user specifies the concept of a relation by an ASP program itself. This yields a highly flexible system that suggests potential applications beyond development environments, e.g., applications in the field of abduction, which we will discuss in a case study.

Keywords

Answer set programming Systems Abduction 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Thomas Ambroz
    • 1
  • Günther Charwat
    • 1
  • Andreas Jusits
    • 1
  • Johannes Peter Wallner
    • 1
  • Stefan Woltran
    • 1
  1. 1.Institute of Information SystemsVienna University of TechnologyAustria

Personalised recommendations