$\textit{Clingraph}$: A System for ASP-based Visualization

要約

ASP 自体によって ASP のさまざまな概念を視覚化することを目的とした、ASP ベースの視覚化ツール $\textit{clingraph}$ を紹介します。
このアイデアは $\textit{aspviz}$ ツールにまでさかのぼり、$\textit{clingraph}$ は最新の ASP システムのコンテキストでそれを再開発および拡張します。
より正確には、$\textit{clingraph}$ は、ASP ファクトに関するグラフ仕様を取得し、それらをグラフ視覚化システム $\textit{graphviz}$ に渡します。
ASP を使用すると、ロジック プログラムや応答セットとそれらの視覚化の間の優れたインターフェイスが提供されます。
また、$\textit{clingraph}$ は $\textit{python}$ API を提供します。この API は、$\textit{clingo}$ の API とのインターフェースの容易さを拡張し、解決プロセスのさまざまな側面を接続および監視します。
.

要約(オリジナル)

We present the ASP-based visualization tool $\textit{clingraph}$ which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the $\textit{aspviz}$ tool and $\textit{clingraph}$ redevelops and extends it in the context of modern ASP systems. More precisely, $\textit{clingraph}$ takes graph specifications in terms of ASP facts and hands them over to the graph visualization system $\textit{graphviz}$. The use of ASP provides a great interface between logic programs and/or answer sets and their visualization. Also, $\textit{clingraph}$ offers a $\textit{python}$ API that extends this ease of interfacing to $\textit{clingo}$’s API, and in turn to connect and monitor various aspects of the solving process.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google