Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

要約

ロジックプログラムを分割すると、安定したモデルをサブプログラムの同様のタスクに計算するタスクを減らすことができます。
これを使用して、パフォーマンスの解決を増やし、プログラムの正確性を証明できます。
述語間の依存関係だけでなく、それらの議論や文脈の間の依存関係を考慮することにより、この手法が適用可能な条件を一般化します。
これにより、以前の結果が適用されなかった実際に一般的に使用される分割プログラムが可能になります。

要約(オリジナル)

Splitting a logic program allows us to reduce the task of computing its stable models to similar tasks for its subprograms. This can be used to increase solving performance and prove program correctness. We generalize the conditions under which this technique is applicable, by considering not only dependencies between predicates but also their arguments and context. This allows splitting programs commonly used in practice to which previous results were not applicable.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google