General Information Conditioned by a Variable Event

The aim of this paper is to present, by axiomatic way, an idea about the general conditional information of a single, fixed fuzzy set when the conditioning fuzzy event is variable. The properties of this conditional information are translated in a system of functional equations. Some classes of solutions of this functional system have been found.

1. Introduction

In these last years, on crisp setting, measures of information J, have been studied by many authors [ 1 ] [ 2 - 4 ]. Later particular researches have been done to these information measures defined without probability. The last information measures are called general because they are defined without any probability [ 5 - 8 ]. Analogous studies were presented in [ 9 ] on fuzzy setting.

In order to study the integration in information theory without probability, in [ 10 - 12 ] the families $\mathcal{N},\mathcal{F},{\mathcal{I}}_{\infty },{\mathcal{I}}_{\text{0}}$ have been introduced. The mentioned classes of crisp sets have replaced the families of null sets in the classical theory of integration (i.e. with respect to an additive measure or a probability). A detailed overview can be found in [ 13 ].

Later, since 2005, on fuzzy setting, measures of conditional information, when the conditional event is fixed, have been considered and studied (see [ 14 - 16 ]).

Indeed, in this paper, a definition of the general conditional information of a fixed fuzzy set A, when the conditioning fuzzy set H is variable will be presented and it will be indicated by $J\left(A|H\right)$ . For this reason, the families mentioned above will be adapted to the fuzzy setting and the corresponding class ${\mathcal{H}}_{A}$ will be introduced.

Example: let A be the fuzzy set of old men, ${H}_{1},{H}_{2},{H}_{3}$ the fuzzy set of those old men, who seem ill, who are ill, who are seriously ill, respectively. These different conditions ${H}_{1},{H}_{2},{H}_{3}$ are the conditioning variable events. The conditional information: $J\left(A|{H}_{1}\right),J\left(A|{H}_{2}\right),J\left(A|{H}_{3}\right)$ measure the influence of the grade of the illness in the old men.

The paper is organized in the following way: in Sect. 2 some preliminaires are recalled; in Sect. 3 the definition of general information conditioned by a variable event is given. The statement of the problem is presented in Sect. 4 and in Sect. 5 the properties of the form of conditional information are translated in a system of functional equations [ 17 ], for which some classes of solutions are shown. Sect. 6 is devoted to the conclusions.

2. Preliminaires

In this paragraph, the definition of general information for fuzzy sets is recalled [ 9 ]. The concept of fuzzy set was introduced by Zadeh in [ 18 ], for all knowledge see [ 19 , 20 ].

Let X be an abstract space and $\mathcal{A}$ a-algebra of all fuzzy sets of X, such that $\left(X,\mathcal{A}\right)$ is a measurable space.

Definition 2.1 In the fuzzy setting measure of the general information is a map

$J\left(\cdot \right):\mathcal{A}\to \left[0,+\infty \right]$

such that $\forall {A}_{1},{A}_{2}\in \mathcal{A}$ :

(i) ${A}_{1}\supset {A}_{2}⇒J\left({A}_{1}\right)\le J\left({A}_{2}\right),$

(ii) $J\left(\varnothing \right)=+\infty ,\text{\hspace{0.17em}}J\left(X\right)=0.$

Following the idea presented in [ 10 , 12 ], assigned an information measure J, the following families are introduced:

${\mathcal{I}}_{0}=\left\{N\in \mathcal{A}/J\left(N\right)=0\right\};$ (1)

${\mathcal{I}}_{+\infty }=\left\{F\in \mathcal{A}/J\left(F\right)=+\infty \right\}.$ (2)

The family (1) is not empty because it contains the whole set X and all supersets ${N}^{\prime }$ of $N\in {\mathcal{I}}_{\text{0}}$ :

$N\in {\mathcal{I}}_{\text{0}},\text{\hspace{0.17em}}J\left(N\right)=0,\text{\hspace{0.17em}}\forall {N}^{\prime }\in \mathcal{A},\text{\hspace{0.17em}}N\subset {N}^{\prime },\text{\hspace{0.17em}}J\left({N}^{\prime }\right)\le J\left(N\right)=0⇒{N}^{\prime }\in {\mathcal{I}}_{\text{0}}.$

${\mathcal{I}}_{\text{0}}$ is not an ideal [ 21 , 22 ] because it is not stable with respect to the union between fuzzy sets.

The family (2) is not empty because it contains the empty set $\varnothing$ and all subsets F' of $F\in {\mathcal{I}}_{+\infty }$ :

$F\in {\mathcal{I}}_{+\infty },\text{\hspace{0.17em}}J\left(F\right)=+\infty ,\text{\hspace{0.17em}}\forall {F}^{\prime }\in \mathcal{A},\text{\hspace{0.17em}}{F}^{\prime }\subset F,\text{\hspace{0.17em}}J\left(F\right)\ge J\left({F}^{\prime }\right)=+\infty ⇒{F}^{\prime }\in {\mathcal{I}}_{+\infty }.$

${\mathcal{I}}_{+\infty }$ is not an filter [ 21 , 22 ] because it is not stable with respect to the intersection between fuzzy sets.

3. Measure of General Conditional Information by a Variable Event

From now on, the family $\mathcal{H}=\mathcal{A}-{\mathcal{I}}_{+\infty }$ shall be considered and measure of general conditional information of a fixed fuzzy set $A\in \mathcal{A},\text{}J\left(A|\cdot \right)$ defined on the family $\mathcal{H}$ will be introduced.

Definition 3.1 Measure of general information of a fixed $A\in \mathcal{A}$ , conditioned by a variable event $H\in \mathcal{H}$ is a map

$J\left(A|\cdot \right):H\to \left[0,+\infty \right]$

such that

(j) $H\supset {H}^{\prime }⇒J\left(A|H\right)\le J\left(A|{H}^{\prime }\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\forall H,{H}^{\prime }\in \mathcal{H},$

(jj) $J\left(A|N\right)=J\left(A\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{if}\text{\hspace{0.17em}}N\in {\mathcal{I}}_{\text{0}}.$

From the previous axioms, it follows that $J\left(A|X\right)=J\left(A\right).$

The condition (j) is the monotonicity, the (jj) means that all null sets $N\in {\mathcal{N}}_{0}$ don’t condition any fuzzy set $A\in \mathcal{A}$ .

4. Statement of the Problem

Taking into account the previous axiomatic statement, fixed an information measure J on $\mathcal{A}$ and any fuzzy set $A\in \mathcal{A}$ , some classes of measures $J\left(A|H\right)$ , will be sought by supposing that $J\left(A|H\right)$ depends only on $J\left(A\right),J\left(H\right)$ and $J\left(A\cap H\right)$ . Now it is necessary to specify the family where H belongs.

Fixed A, our definition is restricted to the following family

${\mathcal{H}}_{A}=\left\{H\in \mathcal{H}/J\left(A\cap H\right)\ne +\infty \right\}$

at least ${\mathcal{H}}_{A}$ contains the whole space X, so this family is not empty. The condition $J\left(A\cap H\right)\ne +\infty$ ensures that $J\left(H\right)\ne +\infty$ : in fact if $J\left(H\right)=+\infty$ from the monotonicity of J, it is $J\left(A\cap H\right)=+\infty$ .

So, the information $J\left(A|\cdot \right)$ is the function

$J\left(A|\cdot \right):{\mathcal{H}}_{A}\to \left[0,+\infty \right]$

expressed by a function $\Phi :V\to \left(0,+\infty \right)$ , such that

$J\left(A|H\right)=\Phi \left(J\left(A\right),J\left(H\right),J\left(A\cap H\right)\right)$

with

$V=\left\{\left(x,y,z\right)/x=J\left(A\right),y=J\left(H\right),z=J\left(A\cap H\right),x,y,z\in \left[0,+\infty \right],x\le z,y\le z\right\}.$

This justifies the domain of the function $\Phi$ .

From (3), (j), (jj), $\forall {H}_{1},{H}_{2}\in \mathcal{H},$ the function $\Phi$ shall satisfy the following properties:

(I) ${H}_{1}\supset {H}_{2}⇒\Phi \left(J\left(A\right),J\left({H}_{1}\right),J\left(A\cap {H}_{1}\right)\right)\le \Phi \left(J\left(A\right),J\left({H}_{2}\right),J\left(A\cap {H}_{2}\right)\right),$

(II) $\Phi \left(J\left(A\right),J\left(N\right),J\left(A\cap N\right)\right)=J\left(A\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\forall N\in {\mathcal{I}}_{\text{0}}.$

Setting $J\left(A\right)=x,\text{}J\left({H}_{1}\right)={y}_{1},\text{}J\left({H}_{2}\right)={y}_{2},\text{}J\left(A\cap {H}_{1}\right)={z}_{1}$ ,

$J\left(A\cap {H}_{2}\right)={z}_{2},\text{}J\left(A\cap N\right)=t$ with $x,{y}_{1},{y}_{2},{z}_{1},{z}_{2}\in \left[0,+\infty \right)$ and $x\le {z}_{1}$ ,

${y}_{1}\le {z}_{1},\text{}x\le {z}_{2},\text{}{y}_{1}\le {z}_{2},\text{}x\le t,$ the following system of functional equations is obtained:

$\left\{\begin{array}{l}\left(1\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Phi \left(x,{y}_{1},{z}_{1}\right)\le \Phi \left(x,{y}_{2},{z}_{2}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}x\le {z}_{1},{y}_{1}\le {z}_{1},x\le {z}_{2},{y}_{2}\le {z}_{2}\\ \left(2\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Phi \left(x,0,t\right)=x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}x\le t.\text{\hspace{0.17em}}\end{array}$

5. Solution of the problem

A function $\Phi$ continuous defined in the following set:

$D=\left\{\left(x,y,z\right):\text{\hspace{0.17em}}x,y,z\in \left[0,+\infty \right),x\le z,y\le z\right\}$ (3)

will be sought as an universal law in the sense that the equation and the inequality about the function of the system must be satisfied for all values and variables in their proper space, which satisfies the system [(1)-(2)].

Now, the following results are proved:

Proposition 4.1 A class of solutions of the system [(1)-(2)] is:

${\Phi }_{h}\left(x,y,z\right)={h}^{-1}\left(\left[h\left(x\right)+h\left(y\right)\right]\wedge h\left(z\right)\right),$ (4)

where $h:\left[0,+\infty \right)\to \left[0,+\infty \right)$ is any continuous function, strictly increasing with $h\left(0\right)=0.$

Proof. The condition (1) follows by the monotonicity of the function h. The second one (2) results from the value $h\left(0\right)=0.$ and the property of the function h.

Proposition 4.2 A class of solutions of the system [(1)-(2)] is:

${\Phi }_{h}\left(x,y,z\right)={h}^{-1}\left(\left[h\left(x\right)\vee h\left(y\right)\right]\wedge h\left(z\right)\right)={h}^{-1}\left(h\left(x\right)\vee h\left(y\right)\right),$ (5)

where $h:\left[0,+\infty \right)\to \left[0,+\infty \right)$ is any continuous function, strictly increasing with $h\left(0\right)=0.$

Proof. The proof is immediate. ,

Proposition 4.3 A class of solutions of the system [(1)-(2)] is:

${\Phi }_{h}\left(x,y,z\right)={h}^{-1}\left(\left[h\left(x\right)\wedge h\left(y\right)\right]\vee h\left(z\right)\right)=z,$ (6)

where $h:\left[0,+\infty \right)\to \left[0,+\infty \right)$ is any continuous function, strictly increasing with $h\left(0\right)=0.$

Proof. The proof is immediate. ,

From (4) (5) and (6), the following expressions of conditional information have been obtained, respectively:

${J}_{h}\left(A|H\right)={h}^{-1}\left(\left[h\left(J\left(A\right)\right)+h\left(J\left(H\right)\right)\right]\wedge h\left(J\left(A\cap H\right)\right)\right);$ (7)

${J}_{h}\left(A|H\right)={h}^{-1}\left(h\left(J\left(A\right)\right)\right)\vee h\left(J\left(H\right)\right),$ (8)

where $h:\left[0,+\infty \right)\to \left[0,+\infty \right)$ is any continuous function, strictly increasing with $h\left(0\right)=0,$ and

$J\left(A|H\right)=J\left(A\cap H\right).$ (9)

6. Conclusions

In this paper, for the first time, we present an axiomatic definition of the information $J\left(A|H\right)$ , when the conditioning event is variable.

We think that this axiomatic approach could be useful for future applications.

Acknowledgments

For the first author, this research is in the framework of GNFM of MIUR (Italy) and University “Sapienza” Roma.

The authors declare that they have no conflict of interest.

Conflicts of Interest

The authors declare no conflicts of interest.

Cite this paper

Vivona, D. and Divari, M. (2017) General Information Conditioned by a Variable Event. Natural Science, 9, 99-103. doi: 10.4236/ns.2017.94009.

 [1] Shannon, C. and Weaver, W. (1949) The Mathematical Theory of Communication. University of Illinois Press, Urbana. [2] Khincin, A.Y. (1957) Mathematical Foundation of Information Theory. Dover Publication, New York. [3] Rényi, A. (1961) On Measures of Entropy and Information. Proceedings IV Berkeley Symposium on Mathematical Statistics and Probability, Berkeley, 20-30 June 1961, Vol. 1, 547-561. [4] Aczél, J. (1969) Probability and Information Theory. Lectures Notes in Mathematics, Vol. 89, Springer-Verlag, Berlin, 1-11. [5] Kampé de Fériet, J. and Forte, B. (1967) Information et Probabilité. Comptes Rendus de l’Académie des Sciences Paris, 265, 110-114, 142-146, 350-353. [6] Forte, B. (1969) Measure of Information. The General Axiomatic Theory. R.I.R.O., Informatique Théorique et Applications, R3, 63-90. [7] Kampé de Fériet, J. and Benvenuti, P. (1969) Sur une classe d’informations. Comptes Rendus de l’Académie des Sciences Paris, 269, 97-101. [8] Kampé de Fériet, J. (1970) Mesures de l’information fornie par un evénement. Colloque International Du Centre National de la Recherche Scientifique, 186, 191-221. [9] Benvenuti, P., Vivona, D. and Divari, M. (1990) A General Information for Fuzzy Sets. In: Bouchon-Meunier, B., Yager, R.R. and Zadeh, L.A., Eds., Uncertainty in Knowledge Bases, IPMU 1990, Lecture Notes in Computer Science, Vol. 521, Springer, Berlin, Heidelberg, 307-316. https://doi.org/10.1007/BFb0028117 [10] Vivona, D. (1982) L’informazione integrale. Quaderno. 19 Istituto di Matematica Applicata delle Facoltá di Ingeneria, Universitá di Roma, 245, 3-15. [11] Benvenuti. P., Vivona, D. and Divari, M. (1988) Sull’Integrale nella Teoria dell’Informazione. Rendiconti di Matematica di Roma, 8, 31-43. [12] Vivona, D. and Divari, M. (1989) Sull’entropia integrale nella teoria dell’informazione. Rendiconti di Matematica di Roma, 9, 145-159. [13] Vivona, D. (2004) Information Theory and Fuzzy Integrals: Along the Way Paved by Pietro Benvenuti. Proceedings of IPMU04, Perugia, 4-9 July 2004, 1957-1963. [14] Vivona, D. and Divari, M. (2005) On a Conditional Information for Fuzzy Sets. Proceedings of AGOP05, Lugano, 10-15 July 2005, 147-149. [15] Bouchon, B., Coletti, G. and Masala, C. (2006) A General Theory of Conditional Decomposable Information Measures. Proceedings IPMU06, Paris, 2-7 July 2006, Vol. 1, 97-104. [16] Vivona, D. and Divari, M. (2008) Aggregation Operators for Conditional Information without Probability. Proceedings IPMU08, Malaga, 22-27 June 2008, 258-260. [17] Aczél, J. (1966) Lectures on Functional Equations and Their Applications. Academic Press, New York. [18] Zadeh, L.A. (1965) Fuzzy Sets. Information and Control, 8, 338-353. [19] Klir, G.J. and Folger, T.A. (1988) Fuzzy Sets, Uncertainty, and Information. Prentice Hall, Upper Saddle River. [20] Boskov, B. (1993) Fuzzy Thinking: The New Science of Fuzzy Logic. [21] Halmos, P.R. (1969) Measure Theory. Van Nostrand Reinhold Company, New York. [22] Yosida, K. (1995) Functional Analysis. Springer, Berlin. https://doi.org/10.1007/978-3-642-61859-8