×

On global requirements for implication operators in fuzzy modus ponens. (English) Zbl 0931.68117

Summary: When specifying the properties required of an operation used to manipulate fuzzy sets consideration must be given to the meaning or semantics of the whole granule resulting from these operations. Is the fuzzy granule resulting from the operation as a whole meaningful? This requires us to go beyond consideration of only pointwise performance properties of fuzzy operations and to include consideration of properties based upon the global or granular results of these operations. In this spirit we look at the process of fuzzy modus ponens and consider global requirements on the definition of the implication operator used in this process. One global requirement investigated here is implicit in the information boundedness principle, this principle requires that the information contained in a fuzzy granule resulting from an inference must be no greater than the information contained in the consequent of the if then proposition and that the information contained in inferences under two different datum should be ordered by the degree f matching of the datum and the antecedent of the if-then proposition. Using thiis principle we show that any t-conorm \(S\) used in defining implication operators must satisfy the condition of moderate growth, for \(a> b\), \(S(a,v)- S(b,v)\) must be an nonincreasing function of \(v\).

MSC:

68T27 Logic in artificial intelligence
03B52 Fuzzy logic; logic of vagueness
Full Text: DOI

References:

[1] Dubois, D.; Prade, H., A class of fuzzy measures based on triangular norms, Int. J. General Systems, 8, 43-61 (1982) · Zbl 0473.94023
[2] Dubois, D.; Prade, H., Fuzzy sets in approximate reasoning part I: inference with possibility distributions, Fuzzy Sets and Systems, 40, 143-202 (1991) · Zbl 0722.03017
[3] Hohle, U., Probabilistic uniformization of fuzzy topologies, Fuzzy Sets and Systems, 1, 1978 (1978) · Zbl 0413.54002
[4] Kimberling, C., On a class of associative functions, Publ. Math. Debrecen., 20, 21-39 (1973) · Zbl 0276.26011
[5] Klir, G. J.; Bo, Y., Fuzzy Sets and Fuzzy Logic: Theory and Applications (1995), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0915.03001
[6] Sugeno, M., Fuzzy measures and fuzzy integrals: a survey, (Gupta, M. M.; Saridis, G. N.; Gaines, B. R., Fuzzy Automata and Decision Process (1977), North-Holland: North-Holland Amsterdam), 89-102
[7] Yager, R. R., Default knowledge and measures of specificity, Inform. Sci., 61, 1-44 (1992) · Zbl 0738.68075
[8] Yager, R. R., On the specificity of a possibility distribution, Fuzzy Sets and Systems, 50, 279-292 (1992) · Zbl 0783.94035
[9] R.R. Yager, On measures of specificity, in: O. Kaynak, L.A. Zadeh, B. Turksen, I.J. Rudas (Eds.), Computational Intelligence: Soft Computing and Fuzzy-Neuro Integration with Applications, Springer, Berlin, to appear; R.R. Yager, On measures of specificity, in: O. Kaynak, L.A. Zadeh, B. Turksen, I.J. Rudas (Eds.), Computational Intelligence: Soft Computing and Fuzzy-Neuro Integration with Applications, Springer, Berlin, to appear · Zbl 0931.94060
[10] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3-28 (1978) · Zbl 0377.04002
[11] Zadeh, L. A., A theory of approximate reasoning, (Hayes, J.; Michie, D.; Mikulich, L. I., Machine Intelligence, vol. 9 (1979), Halstead Press: Halstead Press New York), 149-194
[12] 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
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.