New Semantics for Confidence in Assurance Arguments
A new paper on arXiv (2605.22213) proposes a compositional semantics for quantitative confidence assessment in assurance arguments. Assurance arguments, often using notations like Goal Structuring Notation (GSN), lack operational semantics for deriving confidence. Existing approaches reason over truth values, not confidence. Subjective Logic (SL) offers calculus of belief, disbelief, and uncertainty but lacks uniform compositional semantics. The proposed approach represents argument elements as SL opinions and maps relations to SL operators for overall confidence assessment.
Key facts
- Paper on arXiv: 2605.22213
- Proposes compositional semantics for confidence assessment
- Addresses lack of operational semantics in GSN
- Uses Subjective Logic for belief, disbelief, uncertainty
- Maps argument elements to SL opinions
- Covers all argument elements and relations
- Enables overall confidence assessment
- Published as new announcement on arXiv
Entities
Institutions
- arXiv