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]	()
[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 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 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
[10]	D. Dubois, H. Fargier, H. Prade, The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction, in: Proc. 2nd IEEE Int. Conf. on Fuzzy Systems, San Francisco, CA, 1993, pp. 1131-1136
[11]	D. Dubois, H. Prade, non-standard theories of uncertainty in knowledge representation and reasoning, KR, 1994, pp. 634-645
[12]	()
[13]	D. Dubois, H. Fargier, H. Prade, Comparative uncertainty, belief functions and accepted beliefs, UAI, 113-120, 1998
[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 San Mateo, CA, pp. 217-232
[18]	()
[19]	Kaufmann, A.; Gupta, M.M., Introduction to fuzzy arithmetic: theory and applications, (1985), 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)
[21]	T.Y. Lin, Granular computing on binary relations–analysis of conflict and chinese wall security policy, in: Peters Skowron, Zhong (Eds.), Rough Sets and Current Trends in Computing Alpigni, Lecture Notes on Artificial Intelligence No. 2475, 2002, pp. 296-299
[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 Boca Raton, FL · Zbl 0859.94035
[24]	R.E. Moore, Interval Analyis, SIAM Studies in Applied Mathematics 2, Philadelphia, PA, 1979
[25]	Novak, V.; Perfilieva, I.; Mockor, J., Mathematical principles of fuzzy logic, (1999), 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 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 New York
[29]	Pedrycz, W.; Gomide, F., Introduction to fuzzy sets, (1998), MIT Press Cambridge, MA
[30]	Puri, M.L.; Ralescu, D.A., Fuzzy random variables, fuzzy sets for intelligent systems, (1993), Morgan Kaufmann Publishers San Mateo, CA, pp. 265-271
[31]	Ross, T.J., Fuzzy logic with engineering applications, (2004), Wiley · Zbl 1060.93007
[32]	F. Rossi, P. Codognet, Soft Constraints, Special Issue on Constraints, Kluwer, vol. 8, no. 1, 2003
[33]	Shafer, G., A mathematical theory of evidence, (1976), 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)
[37]	R.R. Yager, Uncertainty management for intelligence analysis, Technical Report# MII-2414 Machine Intelligence Institute, Iona College, New Rochelle, NY, 2004
[38]	Yen, J.; Langari, R., Fuzzy logic: intelligence, control and information, (1998), 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]	Zadeh, L.A., The concept of a linguistic variable and its application to approximate reasoning, Part I: information sciences, Part II: information sciences, Part III: information sciences, 9, 43-80, (1975) · Zbl 0404.68075
[43]	Zadeh, L.A., Fuzzy sets and information granularity, (), 3-18 · Zbl 0377.04002
[44]	Zadeh, L.A., A theory of approximate reasoning, (), 149-194
[45]	L.A. Zadeh, Test-score semantics for natural languages and meaning representation via PRUF, in: B. Rieger (Ed.), Empirical Semantics, Bochum, W. Germany: Brockmeyer, 1982; Also Technical Memorandum 246, AI Center, SRI International, Menlo Park, CA, 1981
[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, (), 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, (), 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)