論文の概要: Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises

• arxiv url: http://arxiv.org/abs/2510.18631v1
• Date: Tue, 21 Oct 2025 13:36:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-25 03:08:13.627372
• Title: Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
• Title（参考訳）: 不確かさルールと前提条件による構造化調停フレームワークの比較表現性
• Authors: Carlo Proietti, Antonio Yuste-Ginel,
• Abstract要約: ルールや前提内で構造化された抽象モデルの妥当なインスタンス化について検討する。 我々の主な技術的貢献は、抽象的および構造化された形式主義を扱える表現性の概念の導入である。
• 参考スコア（独自算出の注目度）: 0.7967000209136494
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \textit{abstract} models for arguing with uncertainty. Following a recent trend in the literature, we tackle the open question of studying plausible instantiations of these abstract models. To do so, we ground the uncertainty of arguments in their components, structured within rules and premises. Our main technical contributions are: i) the introduction of a notion of expressivity that can handle abstract and structured formalisms, and ii) the presentation of both negative and positive expressivity results, comparing the expressivity of abstract and structured models of argumentation with uncertainty. These results affect incomplete abstract argumentation frameworks, and their extension with dependencies, on the abstract side, and ASPIC+, on the structured side.
• Abstract（参考訳）: 形式的議論における定性的不確実性をモデル化することは、実用的応用と理論的理解の両方に不可欠である。 しかし、既存の研究のほとんどは不確実性について議論する『textit{abstract}』モデルに焦点を当てている。 近年の文献の傾向に続き、これらの抽象モデルの妥当なインスタンス化を研究するためのオープンな問題に取り組む。 そのために、ルールや前提の中で構造化された、それらのコンポーネントにおける引数の不確実さを土台にします。 私たちの主な技術貢献は次のとおりです。 一 抽象的及び構造的形式を扱える表現性の概念の導入 二 議論の抽象的及び構造化されたモデルの表現力と不確実性を比較して、否定的及び肯定的な表現性の結果を提示すること。 これらの結果は、非完全な抽象的議論フレームワークや、それらの依存関係による拡張、抽象的な側でのASPIC+に影響します。

関連論文リスト

• Causal and Compositional Abstraction [0.0]
  自然変換として,低次モデルと高次モデル間の抽象化について概説する。 これは因果的抽象の新たな形式化を提供し、文学におけるいくつかの概念を統一する。 より複雑な構成モデルに抽象化を一般化できることが示される。
  論文  参考訳（メタデータ） (2026-02-18T17:06:09Z)
• Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models [28.102903742881576]
  本稿では,構造的推論を語彙的意味論から明確に分離する抽象誘導推論フレームワークを提案する。 本稿では,抽象化整合型ステアリングがコンテンツ駆動型エラーを低減し,妥当性に敏感な性能を向上させることを示す。
  論文  参考訳（メタデータ） (2026-02-02T18:48:44Z)
• Abstract Argumentation with Subargument Relations [0.8460698440162889]
  Dungの抽象的な議論フレームワークは、アタック関係を通じてのみ、引数の許容性を特徴付ける。 このフレームワークは、多くの構造化議論形式の中心となる構造的依存関係を表現する能力を制限する。 本稿では,アタックを基本的関係として扱う明示的部分論関係に富んだ抽象的論証フレームワークについて検討する。 このフレームワークは、構造情報の原則的な抽象化を提供し、抽象的受容可能性推論における部分論の役割を明確にする。
  論文  参考訳（メタデータ） (2026-01-17T12:54:10Z)
• Schoenfeld's Anatomy of Mathematical Reasoning by Language Models [56.656180566692946]
  我々は、Schoenfeldのエピソード理論を誘導型中間スケールレンズとして採用し、ThinkARM(モデルにおける推論の解剖学)を紹介する。 ThinkARMは、推論トレースを分析、探索、実装、検証などの機能的推論ステップに明示的に抽象化する。 エピソードレベルの表現は推論ステップを明確にし、現代の言語モデルにおける推論がどのように構造化され、安定化され、変更されるかの体系的な分析を可能にする。
  論文  参考訳（メタデータ） (2025-12-23T02:44:25Z)
• Causal Abstractions, Categorically Unified [9.341830361844337]
  異なる抽象レベルで同じシステムを表す因果関係モデルを関連付けるための分類的枠組みを提案する。 我々のアプローチは、これまで考慮されていた因果的抽象化を統一し、一般化する。 本稿では,回路解析やスパースオートエンコーダなどの機械的解釈可能性からの手法をフレームワークに適合させる方法について論じる。
  論文  参考訳（メタデータ） (2025-10-06T17:09:30Z)
• Causal Abstraction Inference under Lossy Representations [53.18851962820361]
  我々は、既存の定義を一般化して損失表現に適合させる、投影抽象化と呼ばれる新しいタイプの抽象化を導入する。 低レベルモデルから投影された抽象化を構築する方法と、それと等価な観察的、介入的、および反ファクト的因果クエリを低レベルから高レベルに翻訳する方法を示す。
  論文  参考訳（メタデータ） (2025-09-25T21:20:42Z)
• Causal Abstraction in Model Interpretability: A Compact Survey [5.963324728136442]
  因果的抽象化は、モデル行動の基礎となる因果的メカニズムを理解し説明するための原則化されたアプローチを提供する。 本研究は, 因果的抽象の領域を掘り下げ, その理論的基礎, 実践的応用, モデル解釈可能性の分野への含意について考察する。
  論文  参考訳（メタデータ） (2024-10-26T12:24:28Z)
• Conceptual and Unbiased Reasoning in Language Models [98.90677711523645]
  本稿では,抽象的質問に対する概念的推論をモデルに強制する,新しい概念化フレームワークを提案する。 既存の大規模言語モデルは概念的推論では不足しており、様々なベンチマークでは9%から28%に低下している。 ハイレベルな抽象的推論が不偏で一般化可能な意思決定の鍵となるので、モデルがどのように改善できるかについて議論する。
  論文  参考訳（メタデータ） (2024-03-30T00:53:53Z)
• How Well Do Text Embedding Models Understand Syntax? [50.440590035493074]
  テキスト埋め込みモデルが幅広い構文的文脈にまたがって一般化する能力は、まだ解明されていない。 その結果,既存のテキスト埋め込みモデルは,これらの構文的理解課題に十分対応していないことが明らかとなった。 多様な構文シナリオにおけるテキスト埋め込みモデルの一般化能力を高めるための戦略を提案する。
  論文  参考訳（メタデータ） (2023-11-14T08:51:00Z)
• Natural Language Decompositions of Implicit Content Enable Better Text Representations [52.992875653864076]
  本稿では,暗黙的に伝達されたコンテンツを明示的に考慮したテキスト分析手法を提案する。 我々は大きな言語モデルを用いて、観察されたテキストと推論的に関係する命題の集合を生成する。 本研究は,NLPにおいて,文字のみではなく,観察された言語の背景にある意味をモデル化することが重要であることを示唆する。
  論文  参考訳（メタデータ） (2023-05-23T23:45:20Z)
• Integrating Temporality and Causality into Acyclic Argumentation Frameworks using a Transition System [0.5420492913071214]
  本稿では,非循環的抽象的議論フレームワークの概念をアクション言語に書き換える形式的手法を提案する。 我々は、直接的・間接的に、議論と結果の間の因果関係を確立する。 解答セットプログラミングの実装も提案されている。
  論文  参考訳（メタデータ） (2023-03-16T10:13:47Z)
• Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
  我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。 特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。 計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
  論文  参考訳（メタデータ） (2022-07-05T18:42:04Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)
• Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
  本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。 本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
  論文  参考訳（メタデータ） (2021-06-02T06:49:19Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。