Clingraph：一个基于 ASP 的可视化系统
人工智能
2023-04-14 v1
摘要
我们提出了基于 ASP 的可视化工具 clingraph，其旨在借助 ASP 自身来可视化 ASP 的各种概念。这一思想可追溯至 aspviz 工具，而 clingraph 在现代 ASP 系统的背景下对其进行了重新开发与扩展。更确切地说，clingraph 接收以 ASP 事实形式给出的图规范，并将其传递给图可视化系统 graphviz。ASP 的使用在逻辑程序及/或答案集与其可视化之间提供了极佳的接口。此外，clingraph 提供了一个 python API，将这种便捷的接口扩展至 clingo 的 API，进而连接并监控求解过程的各个方面。
引用
@article{arxiv.2303.10118,
title = {Clingraph: A System for ASP-based Visualization},
author = {Susana Hahn and Orkunt Sabuncu and Torsten Schaub and Tobias Stolzmann},
journal= {arXiv preprint arXiv:2303.10118},
year = {2023}
}
备注
Short version presented at the International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'22). Extended version under consideration in Theory and Practice of Logic Programming (TPLP'22), 24 pages, 10 figures