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

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.

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 |

Full Text:
DOI

### 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 |

[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; 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; D. Dubois, H. Prade, non-standard theories of uncertainty in knowledge representation and reasoning, KR, 1994, pp. 634-645 |

[12] | (Dubois, D.; Prade, H., Fuzzy information engineering: a guided tour of applications (1996), John Wiley and Sons) |

[13] | D. Dubois, H. Fargier, H. Prade, Comparative uncertainty, belief functions and accepted beliefs, UAI, 113-120, 1998; 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: 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) |

[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; 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 · Zbl 1013.68582 |

[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 |

[24] | R.E. Moore, Interval Analyis, SIAM Studies in Applied Mathematics 2, Philadelphia, PA, 1979; R.E. Moore, Interval Analyis, SIAM Studies in Applied Mathematics 2, Philadelphia, PA, 1979 · Zbl 0417.65022 |

[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 · Zbl 0938.03078 |

[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 |

[32] | F. Rossi, P. Codognet, Soft Constraints, Special Issue on Constraints, Kluwer, vol. 8, no. 1, 2003; 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 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; 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: 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 |

[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; 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, (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) |

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.