論文の概要: Many-valued Argumentation, Conditionals and a Probabilistic Semantics
for Gradual Argumentation
- arxiv url: http://arxiv.org/abs/2212.07523v1
- Date: Wed, 14 Dec 2022 22:10:46 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-16 16:52:52.652285
- Title: Many-valued Argumentation, Conditionals and a Probabilistic Semantics
for Gradual Argumentation
- Title（参考訳）: 段階的議論のための多値弁論,条件付き論,確率的意味論
- Authors: Mario Alviano, Laura Giordano, and Daniele Theseider Dupr\'e
- Abstract要約: 本稿では,段階的議論の意味論の多値優先的解釈を定義するための一般的な手法を提案する。
概念の証明として、有限値の場合、条件付き推論に対してAnswer set Programmingアプローチが提案される。
また,多値条件セマンティクスに基づく漸進的議論の確率論的セマンティクスを開発し,論じる。
- 参考スコア（独自算出の注目度）: 3.9571744700171743
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper we propose a general approach to define a many-valued
preferential interpretation of gradual argumentation semantics. The approach
allows for conditional reasoning over arguments and boolean combination of
arguments, with respect to a class of gradual semantics, through the
verification of graded (strict or defeasible) implications over a preferential
interpretation. As a proof of concept, in the finitely-valued case, an Answer
set Programming approach is proposed for conditional reasoning in a many-valued
argumentation semantics of weighted argumentation graphs. The paper also
develops and discusses a probabilistic semantics for gradual argumentation,
which builds on the many-valued conditional semantics.
- Abstract（参考訳）: 本稿では,段階的議論セマンティクスの多値優先解釈を定義するための一般的な手法を提案する。
このアプローチは、優先的な解釈よりも格付けされた(限定的または非実用的)含意の検証を通じて、段階的意味論のクラスに関する議論とブール的組み合わせに対する条件推論を可能にする。
概念の証明として、有限値の場合、重み付き議論グラフの多値議論意味論における条件付き推論のための解集合プログラミングアプローチが提案されている。
また,多値条件セマンティクスに基づく漸進的議論の確率論的意味論を開発し,議論する。
関連論文リスト
- Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。
我々のアプローチは、新しい核規範に基づく損失に基づいている。
部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文 参考訳（メタデータ） (2024-05-25T12:51:38Z) - 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) - Ranking-based Argumentation Semantics Applied to Logical Argumentation
(full version) [2.9005223064604078]
構造化議論におけるランキングベースセマンティクスの振る舞いについて検討する。
ランキングに基づく多種多様なセマンティクスが,いわゆる計算可能性尺度を生み出していることを示す。
論文 参考訳（メタデータ） (2023-07-31T15:44:33Z) - Fuzzy Labeling Semantics for Quantitative Argumentation [0.0]
ファジィ議論システムのためのファジィラベリングと呼ばれる新しい定量的手法を提案する。
3重の受理性、拒絶性、不決定性の度合いは、議論の強さを評価するために用いられる。
論文 参考訳（メタデータ） (2022-07-15T08:31:36Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。
我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。
有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文 参考訳（メタデータ） (2022-07-02T06:20:57Z) - 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) - Relational Argumentation Semantics [10.165529175855712]
説明セマンティクス、マルチエージェントセマンティクス、より典型的なセマンティクスなど、多くの既存のセマンティクスが関係の観点から理解されていることを示す。
これは共通の形式言語を通して議論の意味を理解するための方向である。
論文 参考訳（メタデータ） (2021-04-26T07:58:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。