SciELO - Scientific Electronic Library Online

 
vol.27 número3High-Performance Computing with the Weather Research and Forecasting System Model: A Case Study under Stable Conditions over Mexico Basin índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay artículos similaresSimilares en SciELO

Compartir


Computación y Sistemas

versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546

Comp. y Sist. vol.27 no.3 Ciudad de México jul./sep. 2023  Epub 17-Nov-2023

https://doi.org/10.13053/cys-27-3-4709 

Articles

Parametric Negations of Probability Distributions and Fuzzy Distribution Sets

Ildar Batyrshin1 

Imre Rudas2 

Nailya Kubysheva3  * 

11 Instituto Politécnico Nacional, Centro de Investigación en Computación, Mexico. batyr1@gmail.com.

22 Obuda University, Budapest, Hungary. rudas@uni-obuda.hu.

33 Kazan Federal University, Kazan, Russia.


Abstract:

Negation of probability distributions (PD) was initially introduced by Yager as a transformation of probability distributions representing linguistic terms like High Price, into probability distributions representing linguistic terms like Not High Price. Further, different negations of PD and formal definitions of negations of probability distributions have been proposed, and several classes of such negations have been studied. Here we give a new look at negators dependent and not dependent on probability distributions. We consider different parametric representations of linear negators and analyze relationships between the parameters of these representations. We introduce a new parametric negation of probability distributions based on the involutive negation of PD. Recently it was proposed to consider probability distributions as fuzzy distribution sets, which paved the way for the extension of many concepts and operations of fuzzy sets on probability distributions. From such a point of view, Yager’s negation of probability distributions is an extension of the standard negation of fuzzy logic, also known as Zadeh’s negation. In this paper, using this approach, we extend the parametric Yager’s and Sugeno’s negation of fuzzy logic on probability distributions and study their properties. Considered parametric negations of probability distributions can be used in the models of probabilistic reasoning.

Keywords: Probability distribution; fuzzy logic; negation; Yager’s negation; Zadeh’s negation; Sugeno’s negation

1 Introduction

In [1], R. Yager considered the problem of how to define a probability distribution Not High Price if it is given a probability distribution with linguistic interpretation High Price. To address this problem, he proposed a transformation of probability distributions (PD) called a negation. Later, many papers introduced and studied different types of negations of probability distributions [2-18].

The paper [8] studied the general properties of negations of probability distributions, introduced the class of PD-independent linear negators, and showed that linear negators can be represented as a convex combination of Yager’s and uniform negators. In [11], linear negations were represented as a parametric generalization of Yager’s negation. In [9], it was shown that linear negations are contracting negations, such that the multiple negations of probability distributions have as a limit the uniform distribution.

In [13], it was shown that repeated application of independent negations leads to a progressive loss of information for the general class of 𝜑-entropies. In [9] it was introduced an involutive negation of probability distributions. Involutive operations play an important role in Boolean [19], De Morgan and Kleene algebras [20], fuzzy sets theory, and fuzzy logic [21-23], in the definition and construction of association measures and correlation functions [24], etc.

The involutive negation of probability distributions [9] was used in the definition of the correlation between frequency distributions, bar charts, and categorical variables[25] and in the analysis of relationships between them [26]. Here we introduce parametric negation of probability distributions based on involutive negation.

Recently, it was proposed to consider probability distributions as fuzzy sets, called fuzzy distribution sets [27]. Such interpretation of PD paves the way for the extension of fuzzy concepts and operations on probability distributions.

From this point of view, Yager’s negation of probability distributions is an extension of the standard negation of fuzzy logic, also known as Zadeh’s negation [21, 28]. In this paper, we extend parametric families of Yager’s and Sugeno’s negations from fuzzy logic [23, 29, 30] on probability distributions.

Section 2 gives definitions of probability negators and negations of probability distribution. In Sections 3 and 4, we consider known pd-independent and ps-dependent parametric probability negators.

In Section 5, we introduce a new parametric family of probability negators based on the involutive negation of probability distributions. In Sections 6 and 7, we propose probability negators as extensions of Yager’s and Sugeno’s parametric negations of fuzzy logic. The last section contains the Conclusion.

2 Negation of Probability Distributions

Consider some basic concepts related to negations of probability distributions [8, 9].

A probability distribution (PD) of the length n is an n-tuple P=(p1,,pn) satisfying the following properties for all i=1,,n:

0pi1,i=1npi=1.

The elements of such n-tuple can be considered as probabilities of mutually exclusive outcomes X={x1,,xn}, n2, of some experiments. For simplicity, we fix the ordering of elements of the set X according to the indexes of these elements, such that pi is the probability of xi. In this paper, we are not interested in the elements of X but only consider concepts related to the operations of negation of probability distributions.

Below is an example of the simplest probability distribution called the uniform distribution [8]:

PU=(1n,,1n).

This probability distribution plays an important role in the analysis of negations of PD.

Denote Pn the set of all probability distributions of the length n. A negation of probability distributions is a function neg:PnPn such that for any probability distribution P=(p1,,pn) in Pn the probability distribution neg(P)=Q=(q1,,qn), satisfies for all i=1,,n, the following properties:

ifpipj,thenqiqj. (1)

From (1), it follows:

ifpi=pjthenqi=qj.

Let P=(p1,,pn) and Q=(q1,,qn) are two probability distributions from Pn satisfying (3), then we will say that Q is a negation of P. Note, that from (1), it does not follow that P is a negation of Q. For given P there can exist several different negations of P.

If for a given P=(p1,,pn) there exists a function N:[0,1][0,1] transforming P in its negation Q=(q1,,qn) by: qi=N(pi), i=1,,n, such that Q=(N(p1),,N(pn)), then we will say that N is a probability negator for P. For a negator N, the following properties are fulfilled:

0N(pi)1,i=1nN(pi)=1,ifpipjthenN(pi)N(pj),

If the function N does not depend on P and it is a negator for all PD in Pn then N is called a pd-independent negator. If the function N is a negator for all probability distributions P in Pn but depends on probability distributions then N is called a pd-dependent negator.

In the following sections, we consider examples of pd-independent and pd-dependent negators.

3 PD-Independent Parametric Negators

PD-independent negator N:[0,1][0,1] depends only on the value p, but does not depend on PD where this value can appear. Hence, if N is PD-independent negator, then for any PD P=(p1,,pn) and Q=(q1,,qn) in Pn, it holds:

ifpi=qj,thenN(pi)=N(qj). (2)

Consider the parametric family of linear, pd-independent, negators and corresponding negations of probability distributions P=(p1,,pn).

Uniform negator NU(p) and uniform negation negU(P) [8]:

NU(p)=1n,foranypin[0,1],negU(P)=(NU(p1),,NU(pn))==(1n,,1n)=PU.

Yager's negator NY(p) and Yager’s negation negY(P) [1]:

NY(p)=1pn1,negY(P)=(NY(p1),,NY(pn))=(1p1n1,,1pnn1).

The following parametric extension of Yager’s negator and Yager’s negation have been introduced in [11]:

NδY(p)=1δpnδ,0δ1,negδY(P)=(1δp1nδ,,1δpnnδ), (3)

When δ=0, the negδY negation coincides with uniform negation negU, and when δ=1, the negδY negation coincides with Yager’s negation.

Generally, NδY negator coincides [11] with the class of linear negators NL [8] that are convex combinations of uniform negator and Yager’s

NL(p)=αNU(p)+(1α)NY(p)=α1n+(1α)1pn1,0α1, (4)

NL(p)=NL(1)+(1nNL(1))1pn1, (5)

where NL(1)[0,1n], and:

NL(p)=NL(0)+(1nNL(0))p, (6)

where NL(0)[1n,1n1].

There exist the following relationships between parameters of different representations of linear negators (3)-(6).

From N(1), one can obtain:

N(0)=1N(1)n1,δ=1N(1)1N(1),α=nN(1).

From N(0), one can obtain:

N(1)=1(n1)N(0),δ=n1N(0),α=nn(n1)N(0).

From δ, one can obtain:

N(1)=1δnδ,N(0)=1nδ,α=n1δnδ.

From α, one can obtain:

N(1)=αn,N(0)=nαn(n1),δ=n(1α)nα.

4 Parametric PD-Dependent Negators

Generally, for PD-dependent negator, the values N(pi) for probability values pi in a PD P=(p1,,pn) depend on other values pj in P, and (2) does not fulfill.

The negator of Zhang et al. [5] is a parametric pd-dependent negator with parameter k1:

NZ(pi)=1piknj=1npjk,k1. (7)

When k=1 it coincides with Yager’s negator NY. When k approaches infinity this negator approaches uniform negator NU.

5 Involutive Negator Based Parametric Negators

Here we introduce a parametric extension of involutive negation of probability distributions. A negation neg of probability distributions is involutive if for any PD P in Pn it is fulfilled:

neg(neg(P))=P.

Let P=(p1,,pn) be a probability distribution. Denote max(P)=max{p1,,pn}, min(P)=min{p1,,pn} and MP=max(P)+min(P). The involutive negator of probability distributions was introduced by Batyrshin in [9] as follows:

NB(pi)=max(P)+min(P)pin(max(P)+min(P)1)=MPpinMP1, (8)

It is clear that this negator is pd-dependent. Denote:

negB(P)=Q=(q1,,qn)=(NB(p1),,NB(pn)).

Calculating this negation, in (8) we need to use max(P) and min(P). But calculating:

negB(negB(P))=negB(Q)=(NB(q1),,NB(q1)),

In (8) instead of P and pi, we need to use Q and qi hence instead of max(P) and min(P) we need to use max(Q) and min(Q).

Here we introduce the parametric extension of the involutive negator (8), depending on the parameter 0γ1:

NγB(pi)=max(P)+min(P)γpin(max(P)+min(P))γ=MPγpinMPγ, (9)

When γ=1 it coincides with involutive negator NB. When γ=0, this negator coincides with uniform negator NU. The nearer the value γ to 1, the more similar this negator to involutive negator.

6 Generation of Negators

Theorem 1 [8,27]. Let f(p) be a non-negative non-increasing real-valued function satisfying for all probability distributions P=(p1,,pn) the property: j=1nf(pj)>0, then the function N defined for all i=1,,n by:

N(pi)=f(pi)j=1nf(pj) (10)

Is a negator of probability distributions.

The function f in (10) will be called here a generator of the negator N.

In the next section, we consider how to generate negators of probability distributions using negations of fuzzy logic.

7 Fuzzy Logic Based Parametric Probability Negators

In [27], it was proposed to consider probability distribution functions as membership functions of fuzzy sets subject to the sum of membership values equal to 1.

These fuzzy sets are called fuzzy distribution sets. Such interpretation of probability distributions gives the possibility to extend on them almost all concepts of fuzzy sets. In fuzzy logic, the truth or membership value, like the probability, takes value in the interval [0,1].

A negation in fuzzy logic is defined as a decreasing function N:[0,1][0,1] taking values N(0)=1, and N(1)=0. Hence, such a negation function can be used as a generator of probability negator and negation of probability distributions in (10). Consider some popular negations of fuzzy logic [21, 23, 28-30].

Standard or Zadeh’s negation of truth values x[0,1] in fuzzy logic is defined as follows [21]:

N(x)=1x.

Using in (10) Zadeh’s negation as negation of probability values f(p)=1p, we obtain Yager’s negator for probability distributions:

NY(pi)=1pij=1n(1pj)=1pinj=1npj=1pin1.

Sugeno’s negation of truth values x[0,1] in fuzzy logic is defined as follows [23,29]:

N(x)=1x1+ωx,whereω>1.

Using f(p)=1p1+ωp we obtain from (10) the following probability negator generated by Sugeno negation of fuzzy logic:

NωS(pi)=1pi1+ωpij=1n1pj1+ωpj=1pi(1+ωpi)j=1n1pj1+ωpj, (11)

where ω>1.

Yager’s negation of truth values x[0,1] in fuzzy logic is defined as follows [30]:

N(x)=1xττ,whereτ>0.

Using (10) we obtain the following probability negator for probability distributions:

NτY(pi)=1piττj=1n1pjττ,whereτ>0. (12)

8 Conclusion

The paper considered different parametric probability negators that can be used for construction of parametric families of negations of probability distributions. We considered several equivalent parametric representations of pd-independent linear negators introduced before, and formulated relationships between parameters of these negators.

We introduced a new parametric family of probability negators based on involutive negator. Finally, considering a probability distribution as a fuzzy distribution set, we extended Sugeno’s and Yager’s parametric negations used in fuzzy logic on probability negators. Considered parametric probability negators can be used for construction of negations of probability distributions in the models of probabilistic reasoning.

Acknowledgments

This work has been partially supported by the project IPN SIP 20231387 and by the program of developing the Scientific-Educational Mathematical Center of Volga Federal District.

References

1. Yager, R. R. (2014). On the maximum entropy negation of a probability distribution. IEEE Transactions on Fuzzy Systems, Vol. 23, No. 5, pp. 1899–1902. DOI: 10.1109/TFUZZ.2014.2374211. [ Links ]

2. Yin, L., Deng, X., Deng, Y. (2018). The negation of a basic probability assignment. IEEE Transactions on Fuzzy Systems, Vol. 27, No. 1, pp. 135–143. DOI: 10.1109/TFUZZ.2018.2871756. [ Links ]

3. Luo, Z., Deng, Y. (2019). A matrix method of basic belief assignment's negation in Dempster–Shafer theory. IEEE Transactions on Fuzzy Systems, Vol. 28, No. 9, pp. 2270– 2276. DOI: 10.1109/TFUZZ.2019.2930027. [ Links ]

4. Gao, X., Deng, Y. (2019). The generalization negation of probability distribution and its application in target recognition based on sensor fusion. International Journal of Distributed Sensor Networks, Vol. 15, No. 5. DOI: 10.1177/1550147719849381. [ Links ]

5. Zhang, J., Liu, R., Zhang, J., Kang, B. (2020). Extension of Yager's negation of a probability distribution based on Tsallis entropy. International Journal of Intelligent Systems, Vol. 35, No. 1, pp. 72–84. DOI: 10.1002/int.22198. [ Links ]

6. Sun, C., Li, S., Deng, Y. (2020). Determining weights in multi-criteria decision making based on negation of probability distribution under uncertain environment. Mathematics, Vol. 8, No. 2: 191. DOI: 10.3390/math8020191. [ Links ]

7. Li, S., Xiao, F., Abawajy, J. H. (2020). Conflict Management of evidence theory based on belief entropy and negation. IEEE Access, Vol. 8, pp. 37766–37774, DOI: 10.1109/ACCESS.2020.2975802. [ Links ]

8. Batyrshin, I., Villa-Vargas, L. A., Ramírez-Salinas, M. A., Salinas-Rosales, M., Kubysheva, N. (2021). Generating negations of probability distributions. Soft Computing, Vol. 25, No. 12, pp. 7929–7935. DOI: 10.1007/s00500-021-05802-5. [ Links ]

9. Batyrshin, I. Z. (2021). Contracting and involutive negations of probability distributions. Mathematics, Vol. 9, No. 19, pp. 1–11. DOI: 10.3390/math9192389. [ Links ]

10. Pham, U., Batyrshin, I., Kubysheva, N., Kosheleva, O. (2021). Estimating a probability distribution corresponding to the negation of a property. Soft Computing, Vol. 25, No 12, pp. 7975–7983, DOI: 10.1007/s00500-021-05728-y. [ Links ]

11. Batyrshin, I. Z., Kubysheva, N. I., Bayrasheva, V. R., Kosheleva, O., Kreinovich, V. (2021). Negations of probability distributions: A survey. Computación y Sistemas, Vol. 25, No. 4, pp. 775–781. DOI: 10.13053/cys-25-4-4094. [ Links ]

12. Gao, X., Deng, Y. (2021). Generating method of Pythagorean fuzzy sets from the negation of probability. Engineering Applications of Artificial Intelligence, Vol. 105, p. 104403. DOI: 10.1016/j.engappai.2021.104403. [ Links ]

13. Klein, I. (2022). Some technical remarks on negations of discrete probability distributions and their information loss. Mathematics, Vol. 10, No. 20, p. 3893. DOI: 10.3390/math10203893. [ Links ]

14. Kaur, M., Srivastava, A. (2022). Negation of a probability distribution: A short comment. Proceedings of 8th International Conference on Signal Processing and Communication (ICSC), pp. 439–444. DOI: 10.1109/ICSC56524.2022.10009460. [ Links ]

15. Wu, Q., Deng, Y., Xiong, N. (2022). Exponential negation of a probability distribution. Soft Computing, Vol. 26, No 5, pp. 2147–2156. DOI: 10.1007/s00500-021-06658-5. [ Links ]

16. Liu, R., Deng, Y., Li, Z. (2023). The maximum entropy negation of basic probability assignment. Soft Computing, Vol. 27, pp. 1– 11, DOI: 10.1007/s00500-023-08038-7. [ Links ]

17. Yang, C., Xiao, F. (2023). An exponential negation of complex basic belief assignment in complex evidence theory. Information Sciences, Vol. 622, pp. 1228–1251. DOI: 10.1016/j.ins.2022.11.160. [ Links ]

18. Tanwar, P., Srivastava, A. (2023). Negation and redistribution with a preference—An information theoretic analysis. Chaos, Solitons & Fractals, Vol. 172, p. 113557. DOI: 10.1016/j.chaos.2023.113557. [ Links ]

19. Givant, S., Halmos, P. (2009). Introduction to Boolean algebras. Springer New York. [ Links ]

20. Batyrshin, I. Z. (1990). On fuzzinesstic measures of entropy on Kleene algebras. Fuzzy Sets and Systems, Vol. 34, No. 1, pp. 47–60, DOI: 10.1016/0165-0114(90)90126-Q. [ Links ]

21. Zadeh, L. A. (1965). Fuzzy sets. Information and Control, Vol. 8, pp. 338–353. DOI: 1016/S0019-9958(65)90241-X. [ Links ]

22. Trillas, E. (1979). Sobre funciones de negacion en la teoria de conjuntos difusos. Stochastica, Vol. 3, No. 1, pp. 47–60. [ Links ]

23. Batyrshin, I. (2003). On the structure of involutive, contracting and expanding negations. Fuzzy Sets and Systems, Vol. 139, No. 3, pp. 661–672. DOI: 10.1016/S0165-0114(02)00507-9. [ Links ]

24. Batyrshin, I. Z. (2015). On definition and construction of association measures. Journal of Intelligent & Fuzzy Systems, Vol. 29, No 6, pp. 2319–2326. DOI: 10.3233/IFS-151930. [ Links ]

25. Rudas, I. J., Batyrshin, I. Z. (2023). Explainable correlation of categorical data and bar charts. In: Shahbazova, S. N., Abbasov, A. M., Kreinovich, V., Kacprzyk, J., Batyrshin, I. Z. (eds), Recent Developments and the New Directions of Research, Foundations, and Applications, Studies in Fuzziness and Soft Computing, Vol. 422 pp. 81–88. DOI: 10.1007/978-3-031-20153-0_7. [ Links ]

26. Batyrshin, I. Z., Rudas, I. J., Kubysheva, N., Akhtyamova, S. (2022). Similarity correlation of frequency distributions of categorical data in analysis of cognitive decline severity in asthmatics. Computación y Sistemas, Vol. 26, No. 4, pp. 1603–1609. DOI: 10.13053/cys-26-4-4439. [ Links ]

27. Batyrshin, I. Z. (2022). Fuzzy distribution sets. Computación y Sistemas, Vol. 26, No. 3, pp. 1411–1416. DOI: 10.13053/CyS-26-3-4360. [ Links ]

28. Yager, R. R. (1980). On the measure of fuzziness and negation. II, Lattices, Information and control, Vol. 44, No. 3, pp. 236–260. [ Links ]

29. Mayor Forteza, G. (1994). Sugeno's negations and t-norms. Mathware & Soft Computing, Vol. 1, No. 1, pp. 93–98. [ Links ]

30. Yager, R. R. &91;1980&93;. On a general class of fuzzy connectives. Fuzzy Sets and Systems, Vol. 4, No. 3, pp. 235–242, DOI: 10.1016/0165-0114(80)90013-5. [ Links ]

Received: May 05, 2023; Accepted: August 12, 2023

* Corresponding author: Nailya Kubysheva, e-mail: aibolit70@mail.ru

Creative Commons License This is an open-access article distributed under the terms of the Creative Commons Attribution License