Sequential decomposition of propositional logic programs

要約

命題論理プログラムの逐次合成が最近導入されました。
この論文は、プログラム間のグリーンの関係 $\mathcal{L,R,J}$ — 半群理論でよく知られている — を研究することによって、プログラムの逐次的な {\em 分解} を研究します。
広い意味で、この論文は論理プログラミングの代数理論へのさらなる一歩です。

要約(オリジナル)

The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential {\em decomposition} of programs by studying Green’s relations $\mathcal{L,R,J}$ — well-known in semigroup theory — between programs. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google