ARVis: Visualizing Relations between Answer Sets
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.
KeywordsAnswer set programming Systems Abduction
Unable to display preview. Download preview PDF.
- 2.Charwat, G., Wallner, J.P., Woltran, S.: Utilizing ASP for generating and visualizing argumentation frameworks. In: ASPOCP 2012, pp. 51–65 (2012)Google Scholar
- 8.Hendler, J.A., Tate, A., Drummond, M.: AI planning: Systems and techniques. AI Magazine 11(2), 61–77 (1990)Google Scholar
- 11.Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H.: Kara: A system for visualising and visual editing of interpretations for answer-set programs. In: WLP 2011 (2011)Google Scholar
- 13.Oetsch, J., Pührer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming – Preliminary report. In: WLP 2011 (2011)Google Scholar