연구논문 · 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)