Calculation of aggregation formulas for GSN argument types using belief functions

Yassir Idmessaoud (1) , Jérémie Guiochet (1) , Didier Dubois (2)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

This document is a technical report providing calculation details of agregation rules for safety case confidence propagation. Belief theory is used to express and propagate this confidence, and safety cases are modeled with GSN (Goal Structuring Notation).

Domaines: Informatique [cs]

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Calculation of aggregation formulas for GSN argument types using belief functions. Rapport LAAS n° 21104. 2021. ⟨hal-03210201⟩