arXiv:2605.22213cs.AI2026-05中稿 · the 21st European …

用主观逻辑构建可组合的置信度评估框架,让可信性论证更可量化。

Towards a compositional semantics for quantitative confidence assessment in assurance arguments

论文配图:Towards a compositional semantics for quantitative confidence assessment in assurance arguments
图 1 · 摘自论文原文
  • 将论证元素转化为主观逻辑观点,用运算符建模置信度传递
  • 实现对论证各部分置信度的统一计算与传播
  • 适合安全系统验证、形式化论证等需要量化信任的场景

可信性论证为利益相关方提供了系统满足特定属性的清晰结构化解释,但广泛使用的表示法(如目标结构化符号,GSN)通常缺乏推导置信度的操作语义。现有方法关注结构与一致性,却主要基于真值推理,而非对主张理由置信度的分析。主观逻辑(SL)提供信念、否定与不确定性的演算体系,支持在不完整、冲突或主观证据下进行意见融合。然而,已有基于SL的方法未提供覆盖所有论证元素与关系的统一、可组合语义,难以实现整体置信度评估。本文提出一种置信度语义:将论证元素表示为SL观点,将元素间关系映射为描述置信度流动的SL运算符,从而将论证转化为可分析的置信网络。该方法具备显式依据、原则性处理上下文、保留溯源信息,并兼容GSN,同时通过示例提供实用的置信度评估指导。

原文摘要 · Abstract (English)

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.

可信性论证置信度评估主观逻辑

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。