研究论文 · 2026.05.21 · 预印本
用于安全保障论证定量置信度评估的组合语义
Towards a compositional semantics for quantitative confidence assessment in assurance arguments
资料概述
将安全保障论证中的要素以及支持、上下文关系映射为 Subjective Logic 的 opinion 和运算符。通过 GSN 算例说明组合式置信度传播、显式推理依据与假设追踪，并讨论证据依赖和 opinion 获取的可扩展性限制。
出版与版本信息
2026 年 5 月 21 日发布的 arXiv v1 稿件，arXiv 记录注明获 EDCC 2026 接收。方法通过 GSN 论证算例说明，证据依赖与置信度获取仍是待研究问题。
版本: arXiv v1 (2026-05-21)