Toward a generalized theory of uncertainty (GTU) – an outline. (English) Zbl 1074.94021

Zadeh, Lotfi A.

Inf. Sci. 172, No. 1-2, 1-40 (2005).

Summary: It is a deep-seated tradition in science to view uncertainty as a province of probability theory. The generalized theory of uncertainty (GTU) which is outlined in this paper breaks with this tradition and views uncertainty in a much broader perspective.
Uncertainty is an attribute of information. A fundamental premise of GTU is that information, whatever its form, may be represented as what is called a generalized constraint. The concept of a generalized constraint is the centerpiece of GTU. In GTU, a probabilistic constraint is viewed as a special–albeit important–instance of a generalized constraint.
A generalized constraint is a constraint of the form \(X\) isr \(R\), where X is the constrained variable, \(R\) is a constraining relation, generally non-bivalent, and \(r\) is an indexing variable which identifies the modality of the constraint, that is, its semantics. The principal constraints are: possibilistic (\(r\) = blank); probabilistic \((r = p)\); veristic \((r = v)\); usuality \((r = u)\); random set \((r = rs)\); fuzzy graph \((r = fg)\); bimodal \((r = bm)\); and group \((r = g)\). Generalized constraints may be qualified, combined and propagated. The set of all generalized constraints together with rules governing qualification, combination and propagation constitutes the generalized constraint language (GCL).
The generalized constraint language plays a key role in GTU by serving as a precisiation language for propositions, commands and questions expressed in a natural language. Thus, in GTU the meaning of a proposition drawn from a natural language is expressed as a generalized constraint. Furthermore, a proposition plays the role of a carrier of information. This is the basis for equating information to a generalized constraint.
In GTU, reasoning under uncertainty is treated as propagation of generalized constraints, in the sense that rules of deduction are equated to rules which govern propagation of generalized constraints. A concept which plays a key role in deduction is that of a protoform (abbreviation of prototypical form). Basically, a protoform is an abstracted summary – a summary which serves to identify the deep semantic structure of the object to which it applies. A deduction rule has two parts: symbolic – expressed in terms of protoforms – and computational.
GTU represents a significant change both in perspective and direction in dealing with uncertainty and information. The concepts and techniques introduced in this paper are illustrated by a number of examples.

MSC:

94D05	Fuzzy sets and logic (in connection with information, communication, or circuits theory)
68T37	Reasoning under uncertainty in the context of artificial intelligence

Keywords:

generalized constraint; probabilistic constraint; generalized constraint language; GCL

References:

[1]	Bargiela, A.; Pedrycz, W., Granular computing (2002), Kluwer Academic Publishers · Zbl 1101.68485
[2]	Bardossy, A.; Duckstein, L., Fuzzy rule-based modelling with application to geophysical, biological and engineering systems (1995), CRC Press · Zbl 0857.92001
[3]	Bloch, I.; Hunter, A.; Appriou, A.; Ayoun, A.; Benferhat, S.; Besnard, P.; Cholvy, L.; Cooke, R.; Cuppens, F.; Dubois, D.; Fargier, H.; Grabisch, M.; Kruse, R.; Lang, J.; Moral, S.; Prade, H.; Saffiotti, A.; Smets, P.; Sossai, C., Fusion: general concepts and characteristics, International Journal of Intelligent Systems, 16, 10, 1107-1134 (2001) · Zbl 0989.68162
[4]	(Bouchon-Meunier, B.; Yager, R. R.; Zadeh, L. A., Uncertainty in Intelligent and Information Systems. Uncertainty in Intelligent and Information Systems, Advances in Fuzzy Systems-Applications and Theory, vol. 20 (2000), World Scientific: World Scientific Singapore)
[5]	Bubnicki, Z., Analysis and decision making in uncertain systems (2004), Springer Verlag · Zbl 1103.93002
[6]	Di Nola, A.; Sessa, S.; Pedrycz, W.; Sanchez, E., Fuzzy relation equations and their applications to knowledge engineering (1989), Kluwer: Kluwer Dordrecht · Zbl 0694.94025
[7]	Di Nola, A.; Sessa, S.; Pedrycz, W.; Pei-Zhuang, W., Fuzzy relation equation under a class of triangular norms: a survey and new results fuzzy sets for intelligent systems (1993), Morgan Kaufmann Publishers: Morgan Kaufmann Publishers San Mateo, CA, pp. 166-189
[8]	Dubois, D.; Prade, H., Representation and combination of uncertainty with belief functions and possibility measures, Computational Intelligence, 4, 244-264 (1988)
[9]	Dubois, D.; Prade, H., Gradual inference rules in approximate reasoning, Information Sciences: An International Journal, 61, 1-2, 103-122 (1992) · Zbl 0736.68070
[12]	(Dubois, D.; Prade, H., Fuzzy information engineering: a guided tour of applications (1996), John Wiley and Sons)
[14]	Dubois, D.; Prade, H., On the use of aggregation operations in information fusion processes, Fuzzy Sets and Systems, 142, 1, 143-161 (2004) · Zbl 1091.68107
[15]	Filev, D.; Yager, R. R., Essentials of fuzzy modeling and control (1994), Wiley-Interscience
[16]	Goguen, J. A., The logic of inexact concepts, Synthese, 19, 325-373 (1969) · Zbl 0184.00903
[17]	Higashi, M.; Klir, G. J., Measures of uncertainty and information based on possibility distributions, fuzzy sets for intelligent systems (1993), Morgan Kaufmann Publishers: Morgan Kaufmann Publishers San Mateo, CA, pp. 217-232
[18]	(Jamshidi, M.; Titli, A.; Zadeh, L. A.; Boverie, S., Applications of fuzzy logic-towards high machine intelligence quotient systems. Applications of fuzzy logic-towards high machine intelligence quotient systems, Environmental and intelligent manufacturing systems series, vol. 9 (1997), Prentice Hall: Prentice Hall Upper Saddle River, NJ)
[19]	Kaufmann, A.; Gupta, M. M., Introduction to fuzzy arithmetic: theory and applications (1985), Von Nostrand: Von Nostrand New York · Zbl 0588.94023
[20]	Klir, G. J., Generalized information theory: aims, results, and open problems, Reliability Engineering and System Safety, 85, 1-3, 21-38 (2004)
[22]	Mamdani, E. H.; Assilian, S., An experiment in linguistic synthesis with a fuzzy logic controller, International Journal of Man-Machine Studies, 7, 1-13 (1975) · Zbl 0301.68076
[23]	Mares, M., Computation over fuzzy quantities (1994), CRC: CRC Boca Raton, FL · Zbl 0859.94035
[25]	Novak, V.; Perfilieva, I.; Mockor, J., Mathematical principles of fuzzy logic (1999), Kluwer: Kluwer Boston/Dordrecht · Zbl 0940.03028
[26]	Nguyen, H. T., On modeling of linguistic information using random sets, fuzzy sets for intelligent systems (1993), Morgan Kaufmann Publishers: Morgan Kaufmann Publishers San Mateo, CA, pp. 242-246
[27]	Nguyen, H. T.; Kreinovich, V.; Di Nola, A., Which truth values in fuzzy logics are definable, International Journal of Intelligent Systems, 18, 10, 1057-1064 (2003) · Zbl 1036.03020
[28]	Partee, B., Montague grammar (1976), Academic: Academic New York
[29]	Pedrycz, W.; Gomide, F., Introduction to fuzzy sets (1998), MIT Press: MIT Press Cambridge, MA
[30]	Puri, M. L.; Ralescu, D. A., Fuzzy random variables, fuzzy sets for intelligent systems (1993), Morgan Kaufmann Publishers: Morgan Kaufmann Publishers San Mateo, CA, pp. 265-271
[31]	Ross, T. J., Fuzzy logic with engineering applications (2004), Wiley · Zbl 1060.93007
[33]	Shafer, G., A mathematical theory of evidence (1976), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 0359.62002
[34]	Singpurwalla, N. D.; Booker, J. M., Membership functions and probability measures of fuzzy sets, Journal of the American Statistical Association, 99, 467, 867-889 (2004) · Zbl 1117.62425
[35]	Smets, P., Imperfect Information, imprecision and uncertainty, Uncertainty Management in Information Systems, 225-254 (1996)
[36]	Yager, R. R., Uncertainty representation using fuzzy measures, IEEE Transactions on Systems, Man and Cybernetics, Part B, 32, 13-20 (2002)
[38]	Yen, J.; Langari, R., Fuzzy logic: intelligence, control and information (1998), Prentice Hall: Prentice Hall Berlin
[39]	Zadeh, L. A., Fuzzy sets, In Control, 8, 338-353 (1965) · Zbl 0139.24606
[40]	Zadeh, L. A., Probability measures of fuzzy events, Journal of Mathematical Analysis and Applications, 23, 421-427 (1968) · Zbl 0174.49002
[41]	Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE Transactions on Systems, Man and Cybernetics, SMC-3, 28-44 (1973) · Zbl 0273.93002
[42]	Part III: Information Sciences, 9, 43-80 (1975) · Zbl 0404.68075
[43]	Zadeh, L. A., Fuzzy sets and information granularity, (Gupta, M.; Ragade, R.; Yager, R., Advances in fuzzy set theory and applications (1979), North-Holland Publishing Co.: North-Holland Publishing Co. Amsterdam), 3-18 · Zbl 0377.04002
[44]	Zadeh, L. A., A theory of approximate reasoning, (Hayes, J.; Michie, D.; Mikulich, L. I., Machine intelligence (1979), Halstead Press: Halstead Press New York), 149-194
[46]	Zadeh, L. A., A computational approach to fuzzy quantifiers in natural languages, Computers and Mathematics, 9, 149-184 (1983) · Zbl 0517.94028
[47]	Zadeh, L. A., A fuzzy-set-theoretic approach to the compositionality of meaning: propositions, dispositions and canonical forms, Journal of Semantics, 3, 253-272 (1983)
[48]	Zadeh, L. A., Precisiation of meaning via translation into PRUF, (Vaina, L.; Hintikka, J., Cognitive Constraints on Communication (1984), Reidel: Reidel Dordrecht), 373-402
[49]	Zadeh, L. A., Outline of a computational approach to meaning and knowledge representation based on the concept of the generalized assignment statement, (Thoma, M.; Wyner, A., Proceedings of the international seminar on artificial intelligence and man-machine systems (1986), Springer-Verlag: Springer-Verlag Heidelberg), 198-211
[50]	Zadeh, L. A., Fuzzy control: a personal perspective, Control Engineering, 51-52 (1996)
[51]	Zadeh, L. A., Fuzzy logic and the calculi of fuzzy rules and fuzzy graphs, Multiple-Valued Logic, 1, 1-38 (1996) · Zbl 0906.03022
[52]	Zadeh, L. A., Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic, Fuzzy Sets and Systems, 90, 111-127 (1997) · Zbl 0988.03040
[53]	Zadeh, L. A., Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems, Soft Computing, 2, 23-25 (1998)
[54]	Zadeh, L. A., From computing with numbers to computing with words—from manipulation of measurements to manipulation of perceptions, IEEE Transactions on Circuits and Systems, 45, 105-119 (1999) · Zbl 0954.68513
[55]	Zadeh, L. A., Toward a perception-based theory of probabilistic reasoning with imprecise probabilities, Journal of Statistical Planning and Inference, 105, 233-264 (2002) · Zbl 1010.62005
[56]	Zadeh, L. A., Precisiated natural language (PNL), AI Magazine, 25, 3, 74-91 (2004)