Théorie D-S pour l'évaluation de la confiance en l'argumentation.

Résumé Les arguments structurés sont couramment utilisés pour communiquer aux parties prenantes que la sûreté, la sécurité ou d'autres attributs d'un système sont atteints. En raison de la complexité croissante des systèmes, davantage d'incertitudes apparaissent et la confiance dans les arguments tend à être moins justifiable par l'examen. Dans cet article, nous proposons une méthode quantitative pour évaluer la confiance dans les arguments structurés, comme les cas de sécurité. Nous adoptons la Goal Structuring Notation (GSN) pour modéliser le cas de sécurité et proposons d'ajouter des annotations pour identifier les incertitudes dans ce modèle. Trois types d'inférence d'arguments sont proposés en fonction de leur impact sur la confiance. La définition et l'évaluation de la quantification de la confiance sont basées sur la théorie des fonctions de croyance. L'approche proposée est illustrée par plusieurs exemples de GSN.