Kara：一个面向嵌入式程序的解释可视化和可视化编辑系统
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
摘要：
在答案集编程（ASP）中，问题的解决方案被编码在逻辑理论的专用模型中，称为答案集。这些答案集是从代表理论的程序中通过ASP求解器计算出来的，并作为地面一阶文字集返回给用户。由于这种类型的表示对于用户来说通常是繁琐的，因此开发了ASPVIZ和IDPDraw等工具，允许可视化答案集。本文介绍的工具卡拉，遵循这些方法，使用ASP本身作为一种语言来定义可视化的解释。与仅根据静态坐标定位图形基元的现有工具不同，Kara允许更高级别的规范，支持图形结构，网格和图形元素的相对定位。此外，Kara概括了以前工具的功能，提供了可修改的可视化，以便可以通过图形编辑其可视化来操纵解释。这是通过诉诸溯因推理技术来实现的。Kara是SeaLion的一部分，SeaLion是一个即将推出的ASP集成开发环境（IDE）。
英文摘要：
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpretations. Unlike existing tools that position graphic primitives according to static coordinates only, Kara allows for more high-level specifications, supporting graph structures, grids, and relative positioning of graphical elements. Moreover, generalising the functionality of previous tools, Kara provides modifiable visualisations such that interpretations can be manipulated by graphically editing their visualisations. This is realised by resorting to abductive reasoning techniques. Kara is part of SeaLion, a forthcoming integrated development environment (IDE) for ASP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
