×

Measures of uncertainty in expert systems. (English) Zbl 1506.68157

Summary: This paper compares four measures that have been advocated as models for uncertainty in expert systems. The measures are additive probabilities (used in the Bayesian theory), coherent lower (or upper) previsions, belief functions (used in the Dempster-Shafer theory) and possibility measures (fuzzy logic). Special emphasis is given to the theory of coherent lower previsions, in which upper and lower probabilities, expectations and conditional probabilities are constructed from initial assessments through a technique of natural extension. Mathematically, all the measures can be regarded as types of coherent lower or upper previsions, and this perspective gives some insight into the properties of belief functions and possibility measures. The measures are evaluated according to six criteria: clarity of interpretation; ability to model partial information and imprecise assessments, especially judgements expressed in natural language; rules for combining and updating uncertainty, and their justification; consistency of models and inferences; feasibility of assessment; and feasibility of computations. Each of the four measures seems to be useful in special kinds of problems, but only lower and upper previsions appear to be sufficiently general to model the most common types of uncertainty.

MSC:

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence

Software:

PULCinella
Full Text: DOI

References:

[1] Adlassnig, K.-P.; Kolarz, G., CADIAG-2: computer-assisted medical diagnosis using fuzzy subsets, (Gupta, M. M.; Sanchez, E., Approximate Reasoning in Decision Analysis (1982), North-Holland: North-Holland Amsterdam), 219-247
[2] Andersen, S. K.; Olesen, K. G.; Jensen, F. V.; Jensen, F., HUGIN—a shell for building Bayesian belief univeises for expert systems, (Proceedings IJCAI-89. Proceedings IJCAI-89, Detroit, MI (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 1080-1085 · Zbl 0713.68051
[3] Beyth-Marom, R., How probable is probable? Numerical translations of verbal probability expressions, J. Forecasting, 1, 257-269 (1982)
[4] Biswas, G.; Anand, T. S., Using the Dempster-Shafer scheme in a mixed-initiative expert system shell, (Kanal, L. N.; Levitt, T. S.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 3 (1989), North-Holland: North-Holland Amsterdam), 223-239
[5] Biswas, G.; Oliff, M.; Abramczyk, R., OASES (Operations Analysis Expert System): an application in fiberglass manufacturing, Int. J. Expert Syst. Res. Appl., 1, 193-216 (1988)
[6] (Buchanan, B. G.; Shortliffe, E. H., Rule-Based Expert Systems (1984), Addison-Wesley: Addison-Wesley Reading, MA)
[7] Buisson, J.-C.; Farreny, H.; Prade, H., The development of a medical expert system and the treatment of imprecision in the framework of possibility theory, Inf. Sci., 37, 211-226 (1985)
[8] Buxton, R., Modelling uncertainty in expert systems, Int. J. Man-Mach. Stud., 31, 415-476 (1989)
[9] De Campos, L. M.; Lamata, M. T.; Moral, S., The concept of conditional fuzzy measure, Int. J. Intell. Syst., 5, 237-246 (1990) · Zbl 0694.68058
[10] Cano, J. E.; Moral, S.; Verdegay, J. F., Propagation of convex sets of probabilities in directed acyclic networks, (Proceedings Fourth IPMU Conference (1992)), 289-292
[11] Cheeseman, P., Probabilistic versus fuzzy reasoning, (Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence (1986), North-Holland: North-Holland Amsterdam), 85-102 · Zbl 0607.68076
[12] Cohen, L. J., (The Probable and the Provable (1977), Clarendon Press: Clarendon Press Oxford)
[13] Cohen, P. R., (Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach (1985), Pitman: Pitman London)
[14] Cowell, R. G., BAIES—a probabilistic expert system shell with qualitative and quantitative learning, (Bernardo, J. M.; Berger, J. O.; Dawid, A. P.; Smith, A. F.M., Bayesian Statistics, 4 (1992), Clarendon Press: Clarendon Press Oxford), 595-600
[15] Dempster, A. P., Upper and lower probabilities induced by a multivalued mapping, Ann. Math. Stat., 38, 325-339 (1967) · Zbl 0168.17501
[16] Dubois, D.; Prade, H., An introduction to possibilistic and fuzzy logics, (Smets, P.; Mamdani, A.; Dubois, D.; Prade, H., Non-Standard Logics for Automated Reasoning (1988), Academic Press: Academic Press London), 287-326 · Zbl 0669.03002
[17] Dubois, D.; Prade, H., (Possibility Theory (1988), Plenum Press: Plenum Press New York) · Zbl 0645.68108
[18] Dubois, D.; Prade, H., Modelling uncertain and vague knowledge in possibility and evidence theories, (Shachter, R. D.; Levitt, T. S.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 4 (1990), North-Holland: North-Holland Amsterdam), 303-318
[19] Dubois, D.; Prade, H., Evidence, knowledge, and belief functions, Int. J. Approx. Reasoning, 6, 295-319 (1992) · Zbl 0749.68085
[20] Duda, R. O.; Hart, P. E.; Nilsson, N. J., Subjective Bayesian methods for rule-based inference systems, (Proceedings 1976 National Computer Conference. Proceedings 1976 National Computer Conference, AFIPS, 45 (1976)), 1075-1082; (Webber, B. W.; Nilsson, N. J., Readings in Artificial Intelligence (1981), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA), 192-199, also in
[21] Duda, R. O.; Reboh, R., AI and decision making: the PROSPECTOR experience, (Reitman, W., Artificial Intelligence Applications for Business (1984), Ablex: Ablex Norwood, NJ), 111-147
[22] Dutta, A., Reasoning with imprecise knowledge in expert systems, Inf. Sci., 37, 3-24 (1985)
[23] Fagin, R.; Halpern, J. Y., A new approach to updating beliefs, (Bonissone, P. P.; Henrion, M.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 6 (1991), North-Holland: North-Holland Amsterdam), 347-374 · Zbl 0742.68067
[24] Farreny, H.; Prade, H.; Wyss, E., Approximate reasoning in a rule-based expert system using possibility theory: a case study, (Kugler, H. J., Information Processing ’86 (1986), North-Holland: North-Holland Amsterdam), 407-413
[25] Fertig, K. W.; Breese, J. S., Interval influence diagrams, (Henrion, M.; Shachter, R. D.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 5 (1990), North-Holland: North-Holland Amsterdam), 149-161 · Zbl 0721.68061
[26] Fieschi, M.; Joubert, M.; Fieschi, D.; Botti, G.; Roux, M., A program for expert diagnosis and therapeutic decision, Med. Inf., 8, 127-135 (1983)
[27] Fine, T. L., (Theories of Probability (1973), Academic Press: Academic Press New York) · Zbl 0275.60006
[28] de Finetti, B., (Theory of Probability, Vol. 1 (1974), Wiley: Wiley London) · Zbl 0328.60002
[29] de Finetti, B., (Theory of Probability, Vol. 2 (1975), Wiley: Wiley London) · Zbl 0328.60003
[30] van der Gaag, L. C., Computing probability intervals under independency constraints, (Bonissone, P. P.; Henrion, M.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 6 (1991), North-Holland: North-Holland Amsterdam), 457-466
[31] (Gale, W. A., Artificial Intelligence and Statistics (1986), Addison-Wesley: Addison-Wesley Reading, MA)
[32] Giles, R., Foundations for a theory of possibility, (Gupta, M. M.; Sanchez, E., Fuzzy Information and Decision Processes (1982), North-Holland: North-Holland Amsterdam), 183-195 · Zbl 0514.94028
[33] Giles, R., Semantics for fuzzy reasoning, Int. J. Man-Mach. Stud., 17, 401-415 (1982) · Zbl 0515.03013
[34] Gordon, J.; Shortliffe, E. H., A method for managing evidential reasoning in a hierarchical hypothesis space, Artif. Intell., 26, 323-357 (1985) · Zbl 1134.68530
[35] Grosof, B. N., An inequality paradigm for probabilistic knowledge, (Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence (1986), North-Holland: North-Holland Amsterdam), 259-275 · Zbl 0608.68076
[36] Halpern, J. Y.; Fagin, R., Two views of belief: belief as generalized probability and belief as evidence, Artif. Intell., 54, 275-317 (1992) · Zbl 0762.68055
[37] Heckerman, D.; Horvitz, E.; Nathwani, B., Toward normative expert systems I: the PATHFINDER project, Methods Inf. Med., 31, 90-105 (1992)
[38] Henrion, M.; Breese, J. S.; Horvitz, E. J., Decision analysis and expert systems, AI Magazine, 12, 64-91 (1991)
[39] Hsia, Y.-T.; Shenoy, P. P., An evidential language for expert systems, (Ras, Z., Methodologies for Intelligent Systems, 4 (1989), North-Holland: North-Holland New York), 9-16
[40] Huber, P. J., (Robust Statistics (1981), Wiley: Wiley New York) · Zbl 0536.62025
[41] Jaffray, J.-Y., Bayesian updating and belief functions, IEEE Trans. Syst. Man Cybern., 22, 1144-1152 (1992) · Zbl 0769.62001
[42] Jaynes, E. T., (Papers on Probability, Statistics and Statistical Physics (1983), Reidel: Reidel Dordrecht) · Zbl 0501.01026
[43] Jensen, F. V.; Andersen, S. K.; Kjaerulff, U.; Andreassen, S., MUNIN—on the case for probabilities in medical expert systems, (Lecture Notes in Medical Informatics, 33 (1987), Springer: Springer Berlin)
[44] Kak, A. C.; Andress, K. M.; Lopez-Abadia, C.; Caroll, M. S.; Lewis, J. R., Hierarchical evidence accumulation in the PSEIKI system, (Henrion, M.; Shachter, R. D.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 5 (1990), North-Holland: North-Holland Amsterdam) · Zbl 0721.68098
[45] Kent, S., Words of estimated probability, Stud. Intell., 8, 49-65 (1964)
[46] Klir, G. J.; Folger, T. A., (Fuzzy Sets, Uncertainty, and Information (1988), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ) · Zbl 0675.94025
[47] Krause, P.; Clark, D., (Representing Uncertain Knowledge (1993), Kluwer: Kluwer Dordrecht) · Zbl 0865.68116
[48] Kyburg, H. E., Bayesian and non-Bayesian evidential updating, Artif. Intell., 31, 271-293 (1987) · Zbl 0622.68069
[49] Laskey, K. B.; Cohen, M. S.; Martin, A. W., Representing and eliciting knowledge about uncertain evidence and its implications, IEEE Trans. Syst. Man Cybern., 19, 536-557 (1989)
[50] Lauritzen, S. L.; Spiegelhalter, D. J., Local computations with probabilities on graphical structures and their application to expert systems (with discussion), J. Roy. Stat. Soc. Ser. B, 50, 157-224 (1988) · Zbl 0684.68106
[51] Lebailly, J.; Martin-Clouaire, R.; Prade, H., Use of fuzzy logic in rule-based systems in petroleum geology, (Sanchez, E.; Zadeh, L. A., Approximate Reasoning in Intelligent Systems, Decision and Control (1987), Pergamon Press: Pergamon Press Oxford), 125-144
[52] Lemmer, J. F., Generalised Bayesian updating of incompletely specified distributions, Large Scale Syst., 5, 51-68 (1933) · Zbl 0534.62003
[53] Leung, K. S.; Wong, W. S.F.; Lam, W., Applications of a novel fuzzy expert system shell, Expert Syst., 6, 2-10 (1939)
[54] Levi, I., Potential surprise: its role in inference and decision making, (Cohen, L. J.; Hesse, M., Applications of Inductive Logic (1980), Oxford University Press: Oxford University Press Oxford), 1-27
[55] Levi, I., Consonance, dissonance and evidentiary mechanisms, (Gärdenfors, P.; Hansson, B.; Sahlin, N. E., Evidentiary Value. Evidentiary Value, Library of Theoria, 15 (1983), Gleerups: Gleerups Lund), 27-43
[56] Lindley, D. V., (Making Decisions (1971), Wiley: Wiley London)
[57] Loui, R. P., Interval-based decisions for reasoning systems, (Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence (1986), North-Holland: North-Holland Amsterdam), 459-472
[58] Lowrance, J. D., Automated argument construction, J. Stat. Planning Inference, 20, 369-387 (1988) · Zbl 0655.68120
[59] Moore, R. C., Semantical considerations on nonmonotonic logic, Artif. Intell., 25, 75-94 (1985) · Zbl 0569.68079
[60] Nilsson, N. J., Probabilistic logic, Artif. Intell., 28, 71-87 (1986) · Zbl 0589.03007
[61] Orponen, P., Dempster’s rule is #P-complete, Artif. Intell., 44, 245-253 (1990) · Zbl 0717.68048
[62] Paass, G., Probabilistic logic, (Smets, P.; Mamdani, A.; Dubois, D.; Prade, H., Non-Standard Logics for Automated Reasoning (1988), Academic Press: Academic Press London), 213-251 · Zbl 0669.03002
[63] Pearl, J., (Probabilistic Reasoning in Intelligent Systems (1988), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA)
[64] Pearl, J., Reasoning with belief functions: an analysis of compatibility, Int. J. Approx. Reasoning, 4, 363-389 (1990) · Zbl 0706.68086
[65] Pearl, J., Rejoinder to comments on “Reasoning with belief functions: an analysis of compatibility”, Int. J. Approx. Reasoning, 6, 425-443 (1992) · Zbl 0751.68063
[66] Quinlan, J. R., Inferno: a cautious approach to uncertain inference, Comput. J., 26, 255-269 (1983)
[67] Reiter, R., A logic for default reasoning, Artif. Intell., 13, 81-132 (1980) · Zbl 0435.68069
[68] Reiter, R., Nonmonotonic reasoning, Ann. Rev. Comput. Sci., 2, 147-186 (1987)
[69] Saffiotti, A.; Umkehrer, E., PULCINELLA: a general tool for propagating uncertainty in valuation networks, (D’Ambrosio, B. D.; Smets, P.; Bonissone, P. P., Proceedings Seventh International Conference on Uncertainty in AI. Proceedings Seventh International Conference on Uncertainty in AI, Los Angeles, CA (1991), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 323-331
[70] Shackle, G. L.S., (Decision, Order, and Time in Human Affairs (1969), Cambridge University Press: Cambridge University Press Cambridge)
[71] Shafer, G., (A Mathematical Theory of Evidence (1976), Princeton Universtiy Press: Princeton Universtiy Press Princeton, NJ) · Zbl 0359.62002
[72] Shafer, G., Constructive probability, Synthese, 48, 1-60 (1981) · Zbl 0522.60001
[73] Shafer, G., Belief functions and parametric models (with discussion), J. Roy. Stat. Soc. Ser. B, 44, 322-352 (1982) · Zbl 0499.62007
[74] Shafer, G., Probability judgement in artificial intelligence and expert systems, Stat. Sci., 2, 3-16 (1987) · Zbl 0955.68506
[75] Shafer, G., Perspectives on the theory and practice of belief functions, Int. J. Approx. Reasoning, 4, 323-362 (1990) · Zbl 0714.62001
[76] Shafer, G., Rejoinders to comments on “Perspectives on the theory and practice of belief functions”, Int. J. Approx. Reasoning, 6, 445-480 (1992) · Zbl 0749.68081
[77] Shafer, G.; Logan, R., Implementing Dempster’s rule for hierarchical evidence, Artif. Intell., 33, 271-298 (1987) · Zbl 0633.68093
[78] Shenoy, P.; Shafer, G., Propagating belief functions with local computations, IEEE Expert, 1, 3, 43-52 (1986)
[79] Sheridan, F. K.J., A survey of techniques for inference under uncertainty, Artif. Intell. Rev., 5, 89-119 (1991)
[80] Shortliffe, E. H., (Computer-Based Medical Consultations: MYCIN (1976), Elsevier: Elsevier New York)
[81] Shortliffe, E. H.; Buchanan, B. G., A model of inexact reasoning in medicine, Math. Biosci., 23, 351-379 (1975)
[82] Smets, P., Belief functions, (Smets, P.; Mamdani, A.; Dubois, D.; Prade, H., Non-Standard Logics for Automated Reasoning (1988), Academic Press: Academic Press London), 253-286 · Zbl 0669.03002
[83] Smets, P., The transferable belief model and other interpretations of Dempster-Shafer’s model, (Bonissone, P. P.; Henrion, M.; Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence, 6 (1991), North-Holland: North-Holland Amsterdam), 375-383
[84] Smets, P., Resolving misunderstandings about belief functions, Int. J. Approx. Reasoning, 6, 321-344 (1992) · Zbl 0749.68087
[85] Smets, P.; Kennes, R., The transferable belief model, Artif. Intell., 66, 191-234 (1994) · Zbl 0807.68087
[86] (Smets, P.; Mamdani, A.; Dubois, D.; Prade, H., Non-Standard Logics for Automated Reasoning (1988), Academic Press: Academic Press London) · Zbl 0669.03002
[87] Smith, C. A.B., Consistency in statistical inference and decision (with discussion), J. Roy. Stat. Soc. Ser. B, 23, 1-37 (1961) · Zbl 0124.09603
[88] Smithson, M., (Ignorance and Uncertainty (1989), Springer: Springer Berlin)
[89] Spiegelhalter, D. J., A statistical view of uncertainty in expert systems, (Gale, W. A., Artificial Intelligence and Statistics (1986), Addison-Wesley: Addison-Wesley Reading, MA)
[90] Spiegelhalter, D. J.; Dawid, A. P.; Lauritzen, S. L.; Cowell, R. G., Bayesian analysis in expert systems (with discussion), Stat. Sci., 8, 219-283 (1993) · Zbl 0955.62523
[91] Spiegelhalter, D. J.; Knill-Jones, R. P., Statistical and knowledge-based approaches to clinical decision-support systems, with an application in gastroenterology (with discussion), J. Roy. Stat. Soc. Ser. A, 147, 35-76 (1984) · Zbl 0559.62089
[92] Strat, T. M., Decision analysis using belief functions, Int. J. Approx. Reasoning, 4, 391-417 (1990) · Zbl 0706.68089
[93] Sundberg, C.; Wagner, C., Generalized finite differences and Bayesian conditioning of Choquet capacities (1991), Unpublished manuscript
[94] Tessem, B., Interval probability propagation, Int. J. Approx. Reasoning, 7, 95-120 (1992) · Zbl 0769.68113
[95] Voorbraak, F., On the justification of Dempster’s rule of combination, Artif. Intell., 48, 171-197 (1991) · Zbl 1117.68496
[96] Walley, P., Coherent lower (and upper) probabilities, (Statistics Research Report (1981), University of Warwick: University of Warwick Coventry)
[97] Walley, P., The elicitation and aggregation of beliefs, (Statistics Research Report (1982), University of Warwick: University of Warwick Coventry)
[98] Walley, P., Belief function representations of statistical evidence, Ann. Stat., 15, 1439-1465 (1987) · Zbl 0645.62003
[99] Walley, P., (Statistical Reasoning with Imprecise Probabilities (1991), Chapman and Hall: Chapman and Hall London) · Zbl 0732.62004
[100] Walley, P., Measures of uncertainty in expert systems, (Statistics Research Report (1991), Department of Mathematics, University of Western Australia: Department of Mathematics, University of Western Australia Perth)
[101] Walley, P., Inferences from multinomial data: learning about a bag of marbles (with discussion), J. Roy. Stat. Soc. Ser. B, 58, 3-57 (1996) · Zbl 0834.62004
[102] Walley, P., Statistical inferences based on a second-order possibility distribution (with discussion), J. Am. Stat. Assoc., 91 (1996)
[103] Willey, P.; de Souza, F. M.Campello, Uncertainty and indeterminacy in assessing the economic viability of energy options: a case study of solar heating systems in Brazil, Energy Syst. Policy, 14, 281-304 (1990)
[104] Walley, P.; Fine, T. L., Varieties of modal (classificatory) and comparative probability, Synthese, 41, 321-374 (1979) · Zbl 0442.60005
[105] Walley, P.; Fine, T. L., Towards a frequentist theory of upper and lower probability, Ann. Stat., 10, 741-761 (1982) · Zbl 0488.62004
[106] Wallsten, T. S.; Budescu, D. V.; Rapoport, A.; Zwick, R.; Forsyth, B., Measuring the vague meanings of probability terms, J. Exper. Psych. General, 115, 348-365 (1986)
[107] Wasserman, L. A., Comments on Shafer’s “Perspectives on the theory and practice of belief functions”, Int. J. Approx. Reasoning, 6, 367-375 (1992) · Zbl 0749.68088
[108] Wasserman, L. A.; Kadane, J., Bayes’ theorem for Choquet capacities, Ann. Stat., 18, 1328-1339 (1990) · Zbl 0736.62026
[109] Watson, S. R.; Weiss, J. J.; Donnell, M. L., Fuzzy decision analysis, IEEE Trans. Syst. Man Cybern., 9, 1-9 (1979)
[110] Williams, P. M., Indeterminate probabilities, (Przelecki, M.; Szaniawski, K.; Wojcicki, R., Formal Methods in the Methodology of Empirical Sciences (1976), Reidel: Reidel Dordrecht), 229-246 · Zbl 0395.60003
[111] Wilson, N., A Monte-Carlo algorithm for Dempster-Shafer belief, (D’Ambrosio, B. D.; Smets, P.; Bonissone, P. P., Proceedings Seventh International Conference on Uncertainty in AI. Proceedings Seventh International Conference on Uncertainty in AI, Los Angeles, CA (1991), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 414-417
[112] Wilson, N., The combination of belief: when and how fast?, Int. J. Approx. Reasoning, 6, 377-388 (1992) · Zbl 0749.68089
[113] Wilson, N.; Moral, S., A logical view of probability, (Cohn, A., Proceedings Eleventh European Conference on Artificial Intelligence (1994), Wiley: Wiley London), 386-390
[114] Xu, H., An efficient implementation of belief function propagation, (D’Ambrosio, B. D.; Smets, P.; Bonissone, P. P., Proceedings Seventh International Conference on Uncertainty in AI. Proceedings Seventh International Conference on Uncertainty in AI, Los Angeles, CA (1991), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 425-432
[115] Yager, R. R., An introduction to applications of possibility theory (with discussion), Human Syst. Manage., 3, 246-269 (1983)
[116] Zadeh, L. A., Fuzzy sets, Inf. Control, 8, 338-353 (1965) · Zbl 0139.24606
[117] Zadeh, L. A., The concept of a linguistic variable and its application to approximate reasoning (Part 3), Inf. Sci., 9, 43-80 (1976) · Zbl 0404.68075
[118] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst., 1, 3-28 (1978) · Zbl 0377.04002
[119] Zadeh, L. A., A theory of approximate reasoning, (Hayes, J.; Michie, D.; Mikulich, L. I., Machine Intelligence, 9 (1979), Halstead Press: Halstead Press New York), 149-194
[120] Zadeh, L. A., The role of fuzzy logic in the management of uncertainty in expert systems, Fuzzy Sets Syst., 11, 199-227 (1983) · Zbl 0553.68049
[121] Zadeh, L. A., Is probability theory sufficient for dealing with uncertainty in AI: a negative view, (Kanal, L. N.; Lemmer, J. F., Uncertainty in Artificial Intelligence (1986), North-Holland: North-Holland Amsterdam), 103-116 · Zbl 0607.68075
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.