Fugu-MT 論文翻訳(概要): Strong Admissibility for Abstract Dialectical Frameworks

論文の概要: Strong Admissibility for Abstract Dialectical Frameworks

arxiv url: http://arxiv.org/abs/2012.05997v1
Date: Thu, 10 Dec 2020 21:50:35 GMT
ステータス: 処理完了
システム内更新日: 2021-05-15 06:26:27.268842
Title: Strong Admissibility for Abstract Dialectical Frameworks
Title（参考訳）: 抽象辞書フレームワークの強い適応性
Authors: Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge and Bart Verheij
Abstract要約: ADFに対する解釈の強い許容性の概念を提示する。 ADFの強い許容解釈は、基底解釈をトップ要素とする格子を形成することを示した。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as top element.
Abstract（参考訳）: 抽象弁証法フレームワーク(ADF)は、一般的な論理的満足度条件を満たす議論をモデル化し評価するための形式主義として導入された。引数の受け入れを解決するために使われる異なる基準はセマンティクスと呼ばれる。 ADFのセマンティックスは主に許容性の概念に基づいて定義されている。しかし、抽象的議論フレームワークで研究されている強許容意味論の概念は、adfsにはまだ導入されていない。本研究は,AFFに対する解釈の強い許容性の概念を提示する。さらに, ADFの強い許容可能な解釈は, 基底解釈をトップ要素として格子を形成することを示す。

関連論文リスト

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping [19.799266797193344]
BAF(Bipolar Argumentation Framework)とRecursive BAF(Rec-BAF)の古典的意味論について述べる。これは、各BAFベースのフレームワークに対して、敗北した要素と許容できる要素のセットのモジュラー定義を提供することによって達成される。また、論理プログラミングや部分安定モデルのセマンティクスの観点から、一般のBAFやRec-BAFのセマンティクスをエレガントかつ均一に特徴づける。
論文参考訳（メタデータ） (2024-08-14T16:06:16Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文参考訳（メタデータ） (2023-10-18T20:18:05Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation [3.9571744700171743]
本稿では,段階的議論の意味論の多値優先的解釈を定義するための一般的な手法を提案する。概念の証明として、有限値の場合、条件付き推論に対してAnswer set Programmingアプローチが提案される。また,多値条件セマンティクスに基づく漸進的議論の確率論的セマンティクスを開発し,論じる。
論文参考訳（メタデータ） (2022-12-14T22:10:46Z)
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文参考訳（メタデータ） (2022-07-05T18:42:04Z)
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。これは、説明に表される論理述語に基づいて、反実仮説を生成する。そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文参考訳（メタデータ） (2022-05-25T03:40:59Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文参考訳（メタデータ） (2020-10-24T03:40:56Z)
Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report) [3.7311680121118336]
ラベリングに基づく形式的議論は、一般に3つのラベルのうちの1つを、受け入れ、拒絶、その他決定に至らないいずれかを示すように割り当てるラベリング関数に依存している。抽象弁証法フレームワーク (ADF) は、このカテゴリーに属するよく知られた議論形式主義である。我々は,MMA と ADF との間にガロア接続が存在することを証明し,MMA と MMA が ADF の抽象化であることを示す。
論文参考訳（メタデータ） (2020-07-22T04:26:15Z)
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics [15.174903837196297]
SETAFs とサポートフリー ADFs との関係について検討した。 2つのアプローチを区別するサポートフリーAFFにおいて、満足できない受け入れ条件が存在するだけである。
論文参考訳（メタデータ） (2020-07-07T16:03:23Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。