Research papers · 2026.05.21 · Preprint
Towards a compositional semantics for quantitative confidence assessment in assurance arguments
Towards a compositional semantics for quantitative confidence assessment in assurance arguments
Overview
Maps assurance-argument elements and support/context relations to Subjective Logic opinions and operators. A GSN worked example illustrates compositional confidence propagation, explicit warrants and assumption tracking, while evidential dependence and scalable opinion elicitation remain open challenges.
Publication and version information
arXiv v1 posted on 21 May 2026; the arXiv record reports EDCC 2026 acceptance. The method is illustrated with a worked GSN argument, with evidence dependence and elicitation remaining research challenges.
Version: arXiv v1 (2026-05-21)