Semi-Abstract Value-Based Argumentation Framework

要約

Phan Minh Dung (1995) は独創的な論文で、構造のない議論がノードで議論間の攻撃がエッジである有向グラフを使用して議論をモデル化する抽象議論フレームワークを提案しました。
その後数年で、このフレームワークの多くの拡張機能が導入されました。
これらの拡張機能は通常、引数に特定の形式の構造を追加します。
この論文では、そのような 2 つの拡張を紹介します。Trevor Bench-Capon (2002) による価値ベースの議論のフレームワークと、Esther Anna Corsi と Christian Ferm\’uller (2017) による半抽象的な議論のフレームワークです。
前者では、個々の引数を順序付けされた値のセットにリンクするマッピング関数が導入され、客観的に受け入れられる引数と主観的に受け入れられる引数を区別できるようになります。
後者は、個々の議論の主張を命題公式に結び付け、暗黙的な攻撃を明示的にし、真理値にも通常の意味での解釈にも依存しない結果関係の定義を可能にするために、新たに導入された攻撃原則を適用します。
この論文の貢献は 2 つあります。
まず、新しい半抽象的な価値ベースの議論フレームワークが導入されます。
このフレームワークは、個々の引数に関連付けられた命題式を順序付けされた値のセットにマップします。
第二に、複雑な道徳的ジレンマは、これらの形式主義の表現力を示す、オリジナルの価値観に基づいた議論の枠組みを使用して定式化されます。

要約(オリジナル)

In his seminal paper, Phan Minh Dung (1995) proposed abstract argumentation framework, which models argumentation using directed graphs where structureless arguments are the nodes and attacks among the arguments are the edges. In the following years, many extensions of this framework were introduced. These extensions typically add a certain form of structure to the arguments. This thesis showcases two such extensions — value-based argumentation framework by Trevor Bench-Capon (2002) and semi-abstract argumentation framework by Esther Anna Corsi and Christian Ferm\’uller (2017). The former introduces a mapping function that links individual arguments to a set of ordered values, enabling a distinction between objectively and subjectively acceptable arguments. The latter links claims of individual arguments to propositional formulae and then applies newly-introduced attack principles in order to make implicit attacks explicit and to enable a definition of a consequence relation that relies on neither the truth values nor the interpretations in the usual sense. The contribution of this thesis is two-fold. Firstly, the new semi-abstract value-based argumentation framework is introduced. This framework maps propositional formulae associated with individual arguments to a set of ordered values. Secondly, a complex moral dilemma is formulated using the original and the value-based argumentation frameworks showcasing the expressivity of these formalisms.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google