Encoding Argumentation Frameworks to Propositional Logic Systems

要約

議論フレームワークの理論（$ af $ s）は、人​​工知能に役立つツールでした。
$ af $ sとロジックの間の接続の研究は、重要な分野です。
このペーパーでは、異なる命題論理システムの論理式として$ af $ sをエンコードすることにより、エンコーディング方法を一般的に一般化します。
Dungの古典的セマンティクスやGabbayの等式セマンティクスを含む、議論セマンティクスによるAFのモデル間の関係、および命題論理システムのセマンティクスによるエンコードされた式のモデルを研究しています。
まず、2値の命題論理システムに$ af $ sをエンコードする場合の通常のエンコード関数の証明を補完します。
次に、$ af $ sを3値の命題論理システムとファジー命題論理システムにエンコードし、モデル関係を調査します。
このペーパーでは、$ af $ sと命題論理システムとの関係を強化します。
また、さまざまなファジーロジック操作を選択して、新しい等式セマンティクスを構築する新しい方法を提供します。

要約(オリジナル)

The theory of argumentation frameworks ($AF$s) has been a useful tool for artificial intelligence. The research of the connection between $AF$s and logic is an important branch. This paper generalizes the encoding method by encoding $AF$s as logical formulas in different propositional logic systems. It studies the relationship between models of an AF by argumentation semantics, including Dung’s classical semantics and Gabbay’s equational semantics, and models of the encoded formulas by semantics of propositional logic systems. Firstly, we supplement the proof of the regular encoding function in the case of encoding $AF$s to the 2-valued propositional logic system. Then we encode $AF$s to 3-valued propositional logic systems and fuzzy propositional logic systems and explore the model relationship. This paper enhances the connection between $AF$s and propositional logic systems. It also provides a new way to construct new equational semantics by choosing different fuzzy logic operations.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google