On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head

要約

安定したモデルセマンティクスの下での仮定ベースの論証 (ABA) と論理プログラム (LP) の関係 (の一部) は、よく研究されています。
ただし、この関係を取得するには、ABA フレームワークをフラット、つまり、(実現不可能な) 仮定が決して含まれず、真または偽であるとのみ仮定されるフラグメントに制限する必要があります。
ここでは、この制限を取り除き、非フラット ABA と頭の中での失敗としての否定を持つ LP の間の対応を示します。
次に、この結果を、もともとバイポーラ ABA と呼ばれる非フラット ABA のフラグメント用に定義された、いわゆる set-stable ABA セマンティクスに拡張します。
頭の中で失敗として否定を含む LP の set-stable セマンティクスを定義する方法を示し、set-stable ABA セマンティクスへの対応を示します。

要約(オリジナル)

The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google