Sequential composition of propositional logic programs

要約

この論文は、命題論理プログラムの逐次合成と分解を紹介し、研究します。
非周期プログラムを単一ルールのプログラムに分解できることを示し、任意のプログラムの一般的な分解結果を提供します。
プログラムの直接的な結果の演算子は、演算子を明示的に参照せずに最小モデルを計算できる合成によって表現できることを示します。
これにより、命題論理プログラムの構文と意味論の間の概念的なギャップが数学的に満足のいく方法で埋められます。

要約(オリジナル)

This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be decomposed into single-rule programs and provide a general decomposition result for arbitrary programs. We show that the immediate consequence operator of a program can be represented via composition which allows us to compute its least model without any explicit reference to operators. This bridges the conceptual gap between the syntax and semantics of a propositional logic program in a mathematically satisfactory way.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google