A Qualitative Counterpart of Belief Functions with Application to Uncertainty Propagation in Safety Cases
| Autor: | Idmessaoud, Yassir, Dubois, Didier, Guiochet, Jérémie |
|---|---|
| Přispěvatelé: | Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS) |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Belief Functions: Theory and Applications ISBN: 9783031178009 Part of the Lecture Notes in Computer Science book series (LNAI,volume 13506) 7th International Conference on Belief Functions (BELIEF 2022) 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩ |
| DOI: | 10.1007/978-3-031-17801-6_22 |
| Popis: | International audience; Critical systems such as those developed in the aerospace, railway or automotive industries need official documents to certify their safety via convincing arguments. However, informal tools used in certification documents seldom cover the uncertainty that pervades safety cases. Several works use quantitative approaches based on belief functions to model and propagate confidence/uncertainty in the argument structures (particularly those using goal structuring notation). However the numerical uncertainty information is often a naive encoding of qualitative expert inputs. In this paper, we outline a qualitative substitute to Dempster-Shafer theory and suggest new qualitative confidence propagation models. We also propose a more faithful encoding of expert inputs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|