論文の概要: Technical Report of "Deductive Joint Support for Rational Unrestricted
Rebuttal"
- arxiv url: http://arxiv.org/abs/2005.03620v2
- Date: Thu, 9 Jul 2020 17:18:26 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-05 23:52:56.533630
- Title: Technical Report of "Deductive Joint Support for Rational Unrestricted
Rebuttal"
- Title（参考訳）: 合理的な非制限的反感の導出的共同支援」技術報告
- Authors: Marcos Cramer, Meghna Bhadra
- Abstract要約: ASPICスタイルの構造化議論では、議論はその結論を攻撃することによって別の議論に反論することができる。
限定的な反論では、攻撃された結論は不可能なルールで到達したに違いない。
制限のない反論では、この厳格な規則の少なくとも1つが既に無効である限り、厳格な規則で到達した可能性がある。
- 参考スコア（独自算出の注目度）: 1.3706331473063877
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: In ASPIC-style structured argumentation an argument can rebut another
argument by attacking its conclusion. Two ways of formalizing rebuttal have
been proposed: In restricted rebuttal, the attacked conclusion must have been
arrived at with a defeasible rule, whereas in unrestricted rebuttal, it may
have been arrived at with a strict rule, as long as at least one of the
antecedents of this strict rule was already defeasible. One systematic way of
choosing between various possible definitions of a framework for structured
argumentation is to study what rationality postulates are satisfied by which
definition, for example whether the closure postulate holds, i.e. whether the
accepted conclusions are closed under strict rules. While having some benefits,
the proposal to use unrestricted rebuttal faces the problem that the closure
postulate only holds for the grounded semantics but fails when other
argumentation semantics are applied, whereas with restricted rebuttal the
closure postulate always holds. In this paper we propose that ASPIC-style
argumentation can benefit from keeping track not only of the attack relation
between arguments, but also the relation of deductive joint support that holds
between a set of arguments and an argument that was constructed from that set
using a strict rule. By taking this deductive joint support relation into
account while determining the extensions, the closure postulate holds with
unrestricted rebuttal under all admissibility-based semantics. We define the
semantics of deductive joint support through the flattening method.
- Abstract（参考訳）: aspicスタイルの構造化議論では、引数はその結論を攻撃することによって別の引数を反論することができる。
反論の形式化には2つの方法が提案されている: 制限された反論では、攻撃された結論はデファシブルなルールで到達したものでなければならないが、制限されない反論では、この厳格な規則の少なくとも1つが既にデファシブルであった限り、厳格なルールで到達したかもしれない。
構造化議論のためのフレームワークの様々な可能な定義の中から選択する体系的な方法の1つは、どの定義によって有理性仮定が満足されるかを研究することである。
いくつか利点があるが、unrestricted rebuttalを使用する提案は、クロージャが接地セマンティクスのみを保持するが、他の議論セマンティクスが適用されると失敗するという問題に直面している。
本稿では, ASPIC方式の議論は, 議論間の攻撃関係だけでなく, 厳密なルールを用いてその集合から構築した議論と, 議論の集合を包含する帰納的連立サポートの関係をトラックする上でも有効であることを示す。
この導出的共同サポート関係を拡張を決定しながら考慮することにより、クロージャの仮定は、すべての許容性に基づく意味論の下で、制限のない反感をもって保持される。
平坦化法により, 導出性関節支持のセマンティクスを定義する。
関連論文リスト
- Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。
我々のアプローチは、新しい核規範に基づく損失に基づいている。
部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文 参考訳（メタデータ） (2024-05-25T12:51:38Z) - 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) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳（メタデータ） (2023-05-19T13:15:48Z) - 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) - On the preferred extensions of argumentation frameworks: bijections with
naive sets [0.2580765958706853]
議論の枠組みが否定的かつ客観的な場合を考える。
境界内を持つフレームワークに対しては、トラクタブルであることを示します。
論文 参考訳（メタデータ） (2022-02-11T08:42:55Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Intrinsic Argument Strength in Structured Argumentation: a Principled
Approach [0.0]
本研究では,前提条件の強みと推論規則に基づいて,本質的な強みを引数に割り当てる手法について検討する。
まず、強み割り当て手法が満足できる性質である原則の集合を定義する。
次に、そのような2つの方法を提案し、それらが満たす原則を分析する。
論文 参考訳（メタデータ） (2021-09-01T11:54:15Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳（メタデータ） (2021-06-02T06:49:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。