卡拉

Kara:一个可视化和可视化编辑答案集程序解释的系统。在答案集编程(ASP)中,问题的解决方案被编码在逻辑理论的专用模型中,称为答案集。这些答案集是通过ASP求解器从表示理论的程序中计算出来的,并以基本一阶文字集的形式返回给用户。由于这种类型的表示对于用户来说通常是很麻烦的,因此开发了诸如ASPVIZ和iddpraw这样的工具,允许可视化答案集。本文介绍的Kara工具遵循这些方法,使用ASP本身作为定义解释可视化的语言。与现有的只根据静态坐标定位图形图元的工具不同,Kara允许更高层次的规范,支持图形结构、网格和图形元素的相对定位。此外,概括了以前工具的功能,Kara提供了可修改的可视化效果,从而可以通过图形化编辑可视化效果来操纵解释。这是通过求助于诱拐推理技术来实现的。即将开发的是ASP环境的一部分。