論文の概要: SCC-recursiveness in infinite argumentation (extended version)
- arxiv url: http://arxiv.org/abs/2507.06852v1
- Date: Wed, 09 Jul 2025 13:57:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-07-10 17:37:43.606007
- Title: SCC-recursiveness in infinite argumentation (extended version)
- Title（参考訳）: 無限議論におけるSCC再帰性(拡張版)
- Authors: Uri Andrews, Luca San Mauro,
- Abstract要約: SCC再帰性(SCC-recursiveness)は、強い連結成分に応じて引数の評価を分解する設計原理である。
SCC再帰性は、基礎が整った問題により、無限のAFに確実に一般化できないことを示す。
次に、これらセマンティクスの動作をフィニトリ・フレームワークで検証し、セマンティクスのいくつかが方向性を満たすことを発見した。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Argumentation frameworks (AFs) are a foundational tool in artificial intelligence for modeling structured reasoning and conflict. SCC-recursiveness is a well-known design principle in which the evaluation of arguments is decomposed according to the strongly connected components (SCCs) of the attack graph, proceeding recursively from "higher" to "lower" components. While SCC-recursive semantics such as \cft and \stgt have proven effective for finite AFs, Baumann and Spanring showed the failure of SCC-recursive semantics to generalize reliably to infinite AFs due to issues with well-foundedness. We propose two approaches to extending SCC-recursiveness to the infinite setting. We systematically evaluate these semantics using Baroni and Giacomin's established criteria, showing in particular that directionality fails in general. We then examine these semantics' behavior in finitary frameworks, where we find some of our semantics satisfy directionality. These results advance the theory of infinite argumentation and lay the groundwork for reasoning systems capable of handling unbounded or evolving domains.
- Abstract（参考訳）: 論証フレームワーク(英: Argumentation framework、AF)は、構造化推論と矛盾をモデル化するための人工知能の基盤となるツールである。
SCC再帰性(SCC-recursiveness)は、アタックグラフの強い連結成分(SCC)に基づいて引数の評価を分解し、"より高い"コンポーネントから"より低い"コンポーネントへと再帰的に進む、よく知られた設計原理である。
\cft や \stgt のような SCC の帰納的意味論は有限 AF に対して有効であることが証明されているが、Baumann と Spanring は SCC の帰納的意味論が有限 AF に確実に一般化できないことを示した。
本稿では,SCC再帰性を無限設定に拡張する2つの方法を提案する。
本研究では,バロニとジアコミンの確立された基準を用いて,これらの意味論を体系的に評価し,特に方向性が一般的に失敗することを示す。
次に、これらセマンティクスの動作をフィニトリ・フレームワークで検証し、セマンティクスのいくつかが方向性を満たすことを発見した。
これらの結果は無限の議論の理論を前進させ、非有界領域や進化領域を扱うことができる推論系の基礎を築いた。
関連論文リスト
- A Survey on Latent Reasoning [100.54120559169735]
大きな言語モデル(LLM)は印象的な推論機能を示している。
中間ステップを言語化するCoT推論は、モデルの表現帯域幅を制限する。
潜在的推論は、モデルの連続的な隠れ状態に完全にマルチステップの推論を実行することで、このボトルネックに対処する。
論文 参考訳（メタデータ） (2025-07-08T17:29:07Z) - AlignRAG: Leveraging Critique Learning for Evidence-Sensitive Retrieval-Augmented Reasoning [61.28113271728859]
RAGは知識ベースで大規模言語モデル(LLM)を実現するためのパラダイムとして広く採用されている。
標準的なRAGパイプラインは、モデル推論が取得した証拠と整合性を維持するのに失敗することが多く、事実上の矛盾や否定的な結論につながる。
本研究では,RAGをRetrieval-Augmented Reasoningと解釈し,中心的だが未探索な問題であるtextitReasoning Misalignmentを同定する。
論文 参考訳（メタデータ） (2025-04-21T04:56:47Z) - Unlocking the Capabilities of Thought: A Reasoning Boundary Framework to Quantify and Optimize Chain-of-Thought [61.588465852846646]
大型言語モデル(LLM)の性能向上のための有望なアプローチとして、Chain-of-Thought(CoT)推論が登場した。
本稿では,これらの課題に対処するための新しい推論境界フレームワーク(RBF)を提案する。
論文 参考訳（メタデータ） (2024-10-08T05:26:28Z) - 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) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。
分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
論文 参考訳（メタデータ） (2022-05-06T11:41:23Z) - Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。
既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。
古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。
本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
論文 参考訳（メタデータ） (2022-01-31T06:12:39Z) - On SCC-recursiveness in Quantitative Argumentation [0.0]
SCC再帰性はファジィ拡張セマンティクスに適していることを示す。
SCC再帰性はファジィ拡張セマンティクスを特徴付ける代替手法であることを示す。
論文 参考訳（メタデータ） (2020-06-16T02:33:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。