論文の概要: Towards a compositional semantics for quantitative confidence assessment in assurance arguments

• arxiv url: http://arxiv.org/abs/2605.22213v1
• Date: Thu, 21 May 2026 09:17:27 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-22 16:35:42.185967
• Title: Towards a compositional semantics for quantitative confidence assessment in assurance arguments
• Title（参考訳）: 保証議論における量的信頼度評価のための構成意味論に向けて
• Authors: Benjamin Herd, Jessica Kelly, Jan Sabsch, Lydia Gauerhof,
• Abstract要約: 既存のアプローチは、構造と健全性に対処するが、主張の正当性に対する信頼よりも、真理値よりも主に理由がある。 本稿では,議論要素をSL意見として表現する信頼性セマンティクスを提案し,信頼の流れをモデル化したSL演算子に要素間の関係をマッピングする。
• 参考スコア（独自算出の注目度）: 0.10499611180329803
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Structuring Notation (GSN), typically lack an operational semantics for deriving assurance confidence. Existing approaches address structure and soundness but largely reason over truth values, not over confidence in the justification of claims. Subjective Logic (SL) offers a calculus of belief, disbelief, and uncertainty with operators for combining opinions, enabling confidence propagation under incomplete, conflicting, or subjective evidence. However, existing SL-based approaches do not provide a uniform, compositional semantics that covers all argument elements and relations to enable overall confidence assessment. We propose a confidence semantics that represents argument elements as SL opinions and maps relations between elements to SL operators modelling how confidence flows, effectively turning the argument into an analyzable confidence network. The approach provides explicit warrants, principled handling of context, preserved provenance, and compatibility with GSN, along with practical guidance using an exemplary assurance confidence assessment.
• Abstract（参考訳）: 保証の議論は、システムが特定の特性を満たすが広く使われている表記法であるGSN(Goal Structuring Notation)を信頼すべき理由を明確かつ構造化した方法で説明する。 既存のアプローチは、構造と健全性に対処するが、主張の正当性に対する信頼よりも、真理値よりも主に理由がある。 主観論理(英: subjective Logic, SL)は、不完全、矛盾、あるいは主観的証拠の下での信頼の伝播を可能にする、信念、不信、不確実性の計算を提供する。 しかし、既存のSLベースのアプローチでは、すべての議論要素と関係をカバーする一様で構成的な意味論を提供していない。 本稿では,議論要素を SL の意見として表現する信頼性セマンティクスを提案し,信頼の流れをモデル化した SL 演算子に要素間の関係をマッピングし,理論を解析可能な信頼ネットワークに効果的に変換する。 このアプローチは、明示的な令状、文脈の原則的扱い、保存された前兆、およびGSNとの互換性を提供するとともに、模範的な保証信頼度評価を用いた実践的なガイダンスを提供する。

関連論文リスト

• FACT-E: Causality-Inspired Evaluation for Trustworthy Chain-of-Thought Reasoning [49.65751420291115]
  CoT(Chain-of-Thought)プロンプトはLSM推論を改善したが、モデルはしばしば不誠実な中間ステップを含むコヒーレントな説明を生成する。 我々は、CoTの品質を評価するための因果性に着想を得たフレームワークであるFACT-Eを提案する。 FACT-Eは推論・軌道選択を改善し、文脈内学習を強くすることを示す。
  論文  参考訳（メタデータ） (2026-04-12T15:35:08Z)
• ERA: Evidence-based Reliability Alignment for Honest Retrieval-Augmented Generation [19.616905640490252]
  本稿ではERA(Evidence-based Reliability Alignment)と呼ばれる新しいフレームワークを提案する。 提案手法は, 解答カバレッジと棄却のトレードオフを最適化し, 校正精度を向上し, ベースラインを著しく向上させる。
  論文  参考訳（メタデータ） (2026-02-24T01:45:51Z)
• Illusions of Confidence? Diagnosing LLM Truthfulness via Neighborhood Consistency [78.91846841708586]
  完全な自己整合性で答えられた事実でさえ、軽微な文脈干渉の下で急速に崩壊することを示します。 本研究では,概念的近傍における応答コヒーレンスを評価する信念の構造尺度であるNighbor-Consistency Belief(NCB)を提案する。 また、文脈不変の信念構造を最適化し、長い知識の脆さを約30%低減する構造意識訓練(SAT)を提案する。
  論文  参考訳（メタデータ） (2026-01-09T16:23:21Z)
• PaTAS: A Parallel System for Trust Propagation in Neural Networks Using Subjective Logic [1.8485970721272895]
  本稿では,ニューラルネットワークの信頼をモデル化し,伝播するフレームワークであるPaTASを紹介する。 実世界および敵対的データセットの実験は、PaTASが解釈可能、対称性、収束信頼推定を生成することを示した。
  論文  参考訳（メタデータ） (2025-11-25T18:15:36Z)
• Mind the Generation Process: Fine-Grained Confidence Estimation During LLM Generation [63.49409574310576]
  大規模言語モデル(LLM)は自信過剰を示し、信頼度の高いスコアを誤った予測に割り当てる。 本研究では,テキスト生成中に高精度できめ細かな信頼スコアを提供する信頼度推定手法であるFineCEを紹介する。 論文で使用されたコードとすべてのベースラインはGitHubで公開されている。
  論文  参考訳（メタデータ） (2025-08-16T13:29:35Z)
• Aligning Large Language Models for Faithful Integrity Against Opposing Argument [71.33552795870544]
  大規模言語モデル(LLM)は複雑な推論タスクにおいて印象的な機能を示している。 原文が正しい場合でも、会話中に不誠実な議論によって容易に誤解される。 本稿では,信頼度と信頼度を両立させる新しい枠組みを提案する。
  論文  参考訳（メタデータ） (2025-01-02T16:38:21Z)
• When to Trust LLMs: Aligning Confidence with Response Quality [49.371218210305656]
  我々はconfidence-Quality-ORDer保存アライメントアプローチ(CONQORD)を提案する。 品質報酬と秩序保存アライメント報酬機能を統合する。 実験により,CONQORDは信頼性と応答精度のアライメント性能を著しく向上することが示された。
  論文  参考訳（メタデータ） (2024-04-26T09:42:46Z)

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

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