ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
Answer set programming provides a powerful platform for model-based reasoning problems. The answer sets are solutions, but for many non-trivial problems post-processing is often necessary for human readability. In this paper we describe a method and a tool for visualising answer sets in which we exploit answer set programming itself to define how visualisations are constructed. An exciting potential application of our method is to assist in the debugging of answer set programs that, as a consequence of their declarative nature, are not amenable to traditional approaches: visual rendering of answer sets offers a way to help programmers spot false and missing solutions.
Unable to display preview. Download preview PDF.
- 3.Brain, M., De Vos, M.: Answer set programming – a domain in need of explanation. In: Exact 2008: International Workshop on Explanation-aware Computing (2008)Google Scholar
- 4.Balduccini, M., Gelfond, M., Nogueira, M.: A-prolog as a tool for declarative programming. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 63–72 (2000)Google Scholar
- 5.XPCE the SWI-Prolog native GUI library: http://www.swi-prolog.org/packages/xpce/