論文の概要: On resolving conflicts between arguments
- arxiv url: http://arxiv.org/abs/2209.09838v1
- Date: Tue, 20 Sep 2022 16:31:19 GMT
- ステータス: 処理完了
- システム内更新日: 2022-09-21 18:28:35.792083
- Title: On resolving conflicts between arguments
- Title(参考訳): 議論の対立の解決について
- Authors: Nico Roos
- Abstract要約: 法的議論において、メタルールは、紛争に関係する各議論の最終決定可能なルールを考慮し、有効な議論を決定する。
本稿では,議論間の敗北関係を導出する代わりに,デファシブル・ルールの破滅を訴える論証を構築する新たな論証システムを提案する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Argument systems are based on the idea that one can construct arguments for
propositions; i.e., structured reasons justifying the belief in a proposition.
Using defeasible rules, arguments need not be valid in all circumstances,
therefore, it might be possible to construct an argument for a proposition as
well as its negation. When arguments support conflicting propositions, one of
the arguments must be defeated, which raises the question of \emph{which
(sub-)arguments can be subject to defeat}?
In legal argumentation, meta-rules determine the valid arguments by
considering the last defeasible rule of each argument involved in a conflict.
Since it is easier to evaluate arguments using their last rules, \emph{can a
conflict be resolved by considering only the last defeasible rules of the
arguments involved}?
We propose a new argument system where, instead of deriving a defeat relation
between arguments, \emph{undercutting-arguments} for the defeat of defeasible
rules are constructed. This system allows us, (\textit{i}) to resolve conflicts
(a generalization of rebutting arguments) using only the last rules of the
arguments for inconsistencies, (\textit{ii}) to determine a set of valid
(undefeated) arguments in linear time using an algorithm based on a JTMS,
(\textit{iii}) to establish a relation with Default Logic, and (\textit{iv}) to
prove closure properties such as \emph{cumulativity}. We also propose an
extension of the argument system that enables \emph{reasoning by cases}.
- Abstract(参考訳): 論証体系は命題の議論、すなわち命題の信念を正当化する構造化された理由を構築できるという考えに基づいている。
デファシブルなルールを用いることで、全ての状況において引数が有効である必要はないので、命題の引数やその否定を構築できるかもしれない。
議論が対立する命題をサポートするとき、引数の1つを倒さなければならない。
法的議論において、メタルールは、紛争に関係する各議論の最終決定可能なルールを考慮し、有効な議論を決定する。
最後のルールを使って議論を評価するのが簡単であるため、関係する引数の最後のデファシブルなルールだけを考慮すれば、衝突を解決できるだろうか?
本稿では,議論間の敗北関係を導出する代わりに,デファシブルルールの破滅に関する「emph{undercutting-arguments}」を構築する新たな議論システムを提案する。
このシステムにより、(\textit{i}) は不一致の引数の最後のルールのみを使用して競合(反論の一般化)を解決し(\textit{ii})、(\textit{ii}) は jtms に基づくアルゴリズムを用いて線形時間で有効な(未定義)引数の集合を決定でき、(\textit{iii}) はデフォルト論理との関係を確立することができ(\textit{iv})、(\textit{iv}) は \emph{cumulativity} のような閉包プロパティを証明できる。
また,ケースによるemph{reasoning by cases}を可能にする引数システムの拡張も提案する。
関連論文リスト
- Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation [11.633929083694388]
本稿では,議論の前提と主張を含む引数マップを仮定し,それら間の関係を支援し,攻撃する。
その引数マップを理解・分析するためには、その引数マップを論理引数でインスタンス化することが望ましい。
テキスト内の明示的な情報を表現するための古典論理と、テキスト内の暗黙的な情報を表現するためのデフォルト論理を用いて、このニーズに対処する。
論文 参考訳(メタデータ) (2024-08-16T10:30:30Z) - CASA: Causality-driven Argument Sufficiency Assessment [79.13496878681309]
ゼロショット因果関係に基づく議論十分性評価フレームワークであるCASAを提案する。
PSは前提イベントの導入が前提イベントと結論イベントの両方が欠落した場合の結論につながる可能性を測っている。
2つの論理的誤り検出データセットの実験により、CASAは不十分な議論を正確に識別することを示した。
論文 参考訳(メタデータ) (2024-01-10T16:21:18Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳(メタデータ) (2023-10-18T20:18:05Z) - Semi-Abstract Value-Based Argumentation Framework [0.0]
Phan Minh Dung氏は、構造化されていない引数がノードであり、引数間の攻撃がエッジである有向グラフを用いた議論をモデル化する抽象的な議論フレームワークを提案した。
この論文では、Trevor Bench-Capon (2002) による値ベースの議論フレームワークと、Esther Anna Corsi と Christian Ferm による半抽象的議論フレームワークの2つの拡張が紹介されている。
この論文の貢献は2つある。まず、新しい半抽象値に基づく議論フレームワークを導入する。このフレームワークは、個々の引数に関連する命題式を順序付けられた値の集合にマッピングする。
論文 参考訳(メタデータ) (2023-09-25T13:10:56Z) - ArgU: A Controllable Factual Argument Generator [0.0]
ArgUは、入力された事実と実世界の概念から現実の議論を生成することができる神経引数生成器である。
我々は6つのトピックと6つの引数スキームにまたがる69,428の引数からなる注釈付きコーパスを作成した。
論文 参考訳(メタデータ) (2023-05-09T10:49:45Z) - Towards Full-Fledged Argument Search: A Framework for Extracting and
Clustering Arguments from Unstructured Text [0.0]
Argument Searchは自然言語テキスト中の引数を識別することを目的としている。
既存のフレームワークは引数検索の特定のコンポーネントのみに対処する。
これらの欠点に対処する枠組みを提案する。
論文 参考訳(メタデータ) (2021-11-30T23:05:05Z) - 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) - Reinforcement Learning-based Dialogue Guided Event Extraction to Exploit
Argument Relations [70.35379323231241]
本稿では、イベント引数の関係を明示的に活用することで、イベント抽出のためのより良いアプローチを提案する。
我々は増補学習と漸進学習を用いて、多回反復的なプロセスを通じて複数の引数を抽出する。
実験の結果,提案手法は7つの最先端イベント抽出法より一貫して優れていることがわかった。
論文 参考訳(メタデータ) (2021-06-23T13:24:39Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳(メタデータ) (2021-06-02T06:49:19Z) - Aspect-Controlled Neural Argument Generation [65.91772010586605]
我々は、与えられたトピック、スタンス、アスペクトの文レベル引数を生成するために、きめ細かいレベルで制御できる引数生成のための言語モデルを訓練する。
評価の結果,我々の生成モデルは高品質なアスペクト特異的な議論を生成できることがわかった。
これらの議論は、データ拡張による姿勢検出モデルの性能向上と、逆問題の生成に使用できる。
論文 参考訳(メタデータ) (2020-04-30T20:17:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。