zbMATH — the first resource for mathematics

Inclusion-exclusion principle for belief functions. (English) Zbl 1433.68437
Summary: The inclusion-exclusion principle is a well-known property in probability theory, and is instrumental in some computational problems such as the evaluation of system reliability or the calculation of the probability of a Boolean formula in diagnosis. However, in the setting of uncertainty theories more general than probability theory, this principle no longer holds in general. It is therefore useful to know for which families of events it continues to hold. This paper investigates this question in the setting of belief functions. After exhibiting original sufficient and necessary conditions for the principle to hold, we illustrate its use on the uncertainty analysis of Boolean and non-Boolean systems in reliability.

68T37 Reasoning under uncertainty in the context of artificial intelligence
60A86 Fuzzy probability
Full Text: DOI
[1] Aguirre, F.; Jacob, C.; Destercke, S.; Dubois, D.; Sallak, M., Inclusion/exclusion principle for belief functions, (Proc. of the Eighth International Symposium on Imprecise Probability: Theories and Applications, Compi√®gne, France, (2013)), 3-13 · Zbl 1433.68437
[2] Baudrit, C.; Dubois, D., Comparing methods for joint objective and subjective uncertainty propagation with an example in a risk assessment, (Proc. Fourth International Symposium on Imprecise Probabilities and Their Application, ISIPTA’05, Pittsburgh, USA, Pennsylvania, (2005)), 31-40
[3] Baudrit, C.; Guyonnet, D.; Dubois, D., Joint propagation and exploitation of probabilistic and possibilistic information in risk assessment, IEEE Trans. Fuzzy Syst., 14, 593-608, (2006)
[4] Ben-Haim, Y., Info-gap decision theory: decisions under severe uncertainty, (2006), Academic Press
[5] Bernard, J.-M., An introduction to the imprecise Dirichlet model for multinomial data, Int. J. Approx. Reason., 39, 2, 123-150, (2005) · Zbl 1066.62003
[6] Bryant, R., Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Comput. Surv., 24, 3, 293-318, (1992)
[7] Chang, Y.-R.; Amari, S. V.; Kuo, S.-Y., Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD, (Proc. of the 2002 Pacific Rim International Symposium on Dependable Computing, PRDC’02, (2002)), 193-200
[8] Ciucci, D., Orthopairs: a simple and widely used way to model uncertainty, Fundam. Inform., 108, 3-4, 287-304, (2011) · Zbl 1242.68309
[9] Couso, I.; Moral, S., Independence concepts in evidence theory, Int. J. Approx. Reason., 51, 7, 748-758, (2010) · Zbl 1205.68421
[10] Couso, I.; Moral, S.; Walley, P., A survey of concepts of independence for imprecise probabilities, Risk Decis. Policy, 5, 165-181, (2000)
[11] De Campos, L.; Huete, J.; Moral, S., Probability intervals: a tool for uncertain reasoning, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 2, 02, 167-196, (1994) · Zbl 1232.68153
[12] Dempster, A., Upper and lower probabilities induced by a multivalued mapping, Ann. Math. Stat., 38, 325-339, (1967) · Zbl 0168.17501
[13] Destercke, S., Independence and 2-monotonicity: Nice to have, hard to keep, Int. J. Approx. Reason., 54, 478-490, (2013) · Zbl 1264.68173
[14] Destercke, S.; Sallak, M., An extension of universal generating function in multi-state systems considering epistemic uncertainties, IEEE Trans. Reliab., 62, 2, 504-514, (2013)
[15] Ding, Y.; Zuo, M. J.; Lisnianski, A.; Tian, Z. G., Fuzzy multi-state system: general definition and performance assessment, IEEE Trans. Reliab., 57, 589-594, (2008)
[16] Dubois, D.; Prade, H., Possibility theory: an approach to computerized processing of uncertainty, (1988), Plenum Press New York
[17] Dubois, D.; Prade, H., Formal representations of uncertainty, (Bouyssou, D.; Dubois, D.; Pirlot, M.; Prade, H., Decision-making - Concepts and Methods, (2009), Wiley), 85-156, (Chapter 3)
[18] Fetz, T., Sets of joint probability measures generated by weighted marginal focal sets, (Cozman, F.; Nau, R.; Seidenfeld, T., Proc. 2nd International Symposium on Imprecise Probabilities and Their Applications, (2001))
[19] Fortin, J.; Zielinski, P.; Dubois, D.; Fargier, H., Criticality analysis of activity networks under interval uncertainty, J. Sched., 13, 6, 609-627, (2010) · Zbl 1208.90061
[20] Grabisch, M.; Labreuche, C., A decade of application of the Choquet and sugeno integrals in multi-criteria decision aid, 4OR, 6, 1, 1-44, (2008) · Zbl 1146.90034
[21] Jacob, C.; Dubois, D.; Cardoso, J., Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation, (Scalable Uncertainty Management - Proc. 5th International Conference, Lecture Notes in Computer Science, vol. 6929, (2011), Springer), 205-218
[22] Jacob, C.; Dubois, D.; Cardoso, J., Evaluating the uncertainty of a Boolean formula with belief functions, (Advances in Computational Intelligence, Proc. IPMU Conference, Catania, Part III, Communications in Computer and Information Science, vol. 299, (2012), Springer), 521-531 · Zbl 1252.68309
[23] Jaynes, E., Probability theory: the logic of science, (2003), Cambridge University Press · Zbl 1045.62001
[24] Li, C.-Y.; Chen, X.; Yi, X.-S.; Tao, J.y., Interval-valued reliability analysis of multi-state systems, IEEE Trans. Reliab., 60, 323-330, (2011)
[25] Lisnianski, A.; Levitin, G., Multi-state system reliability: assessment, optimization and applications, (2003), World Scientific Publishing Co Pte Ltd · Zbl 1030.90017
[26] Shafer, G., A mathematical theory of evidence, (1976), Princeton University Press New Jersey · Zbl 0359.62002
[27] Ushakov, I., Handbook of reliability engineering, (1994), Wiley-Interscience
[28] Walley, P., Statistical reasoning with imprecise probabilities, (1991), Chapman and Hall New York · Zbl 0732.62004
[29] Walley, P., Measures of uncertainty in expert systems, Artif. Intell., 83, 1-58, (1996)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.