Safety case confidence propagation based on Dempster-Shafer theory

DOI10.1016/J.IJAR.2019.02.002MaRDI QIDQ2329596zbMATH OpenOpenAlexFDO

Authors Rui Wang, Jérémie Guiochet, Walter Schön, Gilles Motet

Publication date 18 October 2019

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2019.02.002

zbMATH Keywords

Dempster-Shafer theoryevidence combinationconfidence assessmentsafety casesafety argumentation

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• D-S theory for argument confidence assessment
• A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
• Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study
• Allocation of arguments and evidence theory
• A generalization of probabilistic argumentation with Dempster-Shafer theory

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• Combination of partially non-distinct beliefs: the cautious-adaptive rule
• Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence
• D-S theory for argument confidence assessment
• Idempotent conjunctive and disjunctive combination of belief functions by distance minimization
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The Dempster-Shafer calculus for statisticians

Cited in

(8)

• scientific article; zbMATH DE number 2011477 (Why is no real title available?)
• A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
• Validating safety arguments with Lean
• Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study
• Fuzzy labeling semantics for quantitative argumentation
• D-S theory for argument confidence assessment
• Generalized combination rule for evidential reasoning approach and Dempster-Shafer theory of evidence
• Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

This page was built for publication: Safety case confidence propagation based on Dempster-Shafer theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329596)