ABSTRACT

In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation $R_m$ of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result.

Keywords:

AFS Fuzzy Logic System, Zadeh Algebra, Simple Concepts, Membership Functions

1. Introduction

Starting with simple concepts such as “young people” or “tall people” it is possible to form AFS logic system $\left(\mathrm{<mo\; stretchy="false">\; (\; </mo>}EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ . The elements are fuzzy concepts constructed by simple concepts. Notice that $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ is a comple- tely distributive lattice and is called the $EI$ (expanding one set M) algebra over $M$ . So the AFS logic system is a completely distributive lattice equipped with the logical negation $\text{'}$ . Let $X$ be a non-empty set. For any $\zeta \in EM$ , let ${\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ be a membership function of the concept $\zeta$ . Moreover, we assume that all the elements ${\mu }_{\zeta }$ in the set $\left\{{\mu }_{\zeta }\mathrm{<mo>\; |\; </mo>}\zeta \in EM\right\}$ satisfy the three conditions, Definition 2.17. Consider a binary relation $R_{\zeta }\in X\times X$ of the concept $\zeta$ . For example, for any two persons $x$ and $y$ , $\left(x\mathrm{,}y\right)\in R_{\zeta }$ if and only if

$R_{\zeta }=\left\{\left(x,y\right)|\left(x,y\right)\in X\times X,ag{e}_x\ge ag{e}_y\right\}$

where $\zeta$ is a fuzzy concept “old”. The exact definition is represented in Definition 2.10. In Section 2 all the results are known and can be found from [1] . Also the used examples are there. For Zadeh algebra axioms we refer to [2] . In Section 3 it is proved new results. But all the preliminaries represented in Section 2 are necessary to know for understanding these results and their proofs. The crucial condition is

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$ (1)

for simple concepts $m$ and for all the pairs $\left(x\mathrm{,}z\right)$ and $\left(y\mathrm{,}x\right)$ in $X\times X$ . In fact, the condition determines a chain ${\left(\zeta \right)}_{\zeta \in EM}$ , Lemma 3.1 (c). Let

$\left\{{\mu }_{\zeta }\mathrm{<mo>\; |\; </mo>}{\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]\right\}$

be a set of membership functions of the concept $\zeta$ of the AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ . According to Proposition 3.4 a chain ${\left({\mu }_{\zeta }\right)}_{\zeta \in EM}$ corres- ponding to the chain ${\left(\zeta \right)}_{\zeta \in EM}$ satisfies the seven Zadeh algebra axioms and then forms some Zadeh algebra, Proposition 3.5. These are the two main results. Observing that by Lemma 3.1 (a) the condition (1) implies the condition (2) needed in Proposition 3.4.

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$ (2)

In the conclusion it is illustrated the research motivation and contribution of this paper.

2. Preliminaries

2.1. Lattices

In this subsection we refer to [3] , pages 1, 2, 6, 8, 9, 10, 119 and [1] , pages 61-64, 67, 77.

Definition 2.1. A partially ordered set or a poset is a set in which a binary relation $\le$ is defined satisfying the following conditions (P1)-(P3):

(P1) For all $x$ , $x\le x$ .

(P2) If $x\le y$ and $y\le x$ , then $x=y$ .

(P3) $x\le y$ and $y\le z$ , then $x\le z$ .

Let

(P4) Given $x$ and $y$ , either $x\le y$ or $y\le x$ .

A poset which satisfies (P4) is said to be linearly ordered and is called a chain.

Let $X$ be a subset of a poset $P$ . Denote the least upper bound of $X$ by l.u.b. i.e. $supX$ and the greatest lower bound of $X$ by g.l.b. i.e. $infX$ .

Definition 2.2. A lattice $L$ is a poset $P$ where any two of whose elements $x$ and $y$ have g.l.b. or a meet denoted by $x\wedge y$ , and l.u.b. or a join denoted by $x\vee y$ . A lattice $L$ is complete if each of its subsets has l.u.b. and g.l.b. in $L$ .

It is clear that any nonvoid complete lattice contains a least element 0 and a greatest element 1.

In any lattice $L$ (or a poset), the operations $\wedge$ and $\vee$ satisfy the following laws, whenever the expressions are refered to exist:

(L1) $x\wedge x=x$ , $x\vee x=x$

(L2) $x\wedge y=y\wedge x$ , $x\vee y=y\vee x$

(L3) $x\wedge \left(y\wedge z\right)=\left(x\wedge y\right)\wedge z$ , $x\vee \left(y\vee z\right)=\left(x\vee y\right)\vee z$

(L4) $x\wedge \left(x\vee y\right)=x\vee \left(x\wedge y\right)=x$

Conversely, any system $L$ with the two binary operations satisfying (L1) - (L4) is a lattice.

Moreover, $x\le y$ is equivalent to each of the conditions

$x\wedge y=x\text{and}x\vee y=y$

If a poset $P$ (or a lattice) has an 0, then $0\wedge x=0$ and $0\vee x=x$ for all $x\in P$ . If $P$ has a universal upper bound $I$ , then $x\wedge I=x$ and $x\vee I=I$ for all $x\in P$ .

Definition 2.3. A lattice $L$ is distributive if and only if the conditions

$x\wedge \left(y\vee z\right)=\left(x\wedge y\right)\vee \left(x\wedge z\right)$

$x\vee \left(y\wedge z\right)=\left(x\vee y\right)\wedge \left(x\vee z\right)$

hold in $L$ . In fact, these conditions are equivalent if they are valid.

Definition 2.4. [1] , pages 77, 116 or [3] , page 119

Let $L$ be a complete lattice. Then $L$ is called a completely distributive lattice if it satisfies the extended distributive laws: for any family $\left\{a_{ij}\in L\mathrm{<mo>\; |\; </mo>}i\in I\mathrm{,}j\in J_i\right\}$ where $I$ and $J_i$ are non-empty indexing sets, the following equations are valid

$\underset{i\in I}{{\displaystyle \wedge }}\left(\underset{j\in J_i}{{\displaystyle \vee }}{a}_{ij}\right)=\underset{f\in {\displaystyle \underset{i\in I}{\prod }}{J}_i}{{\displaystyle \vee }}\left(\underset{i\in I}{{\displaystyle \wedge }}{a}_{if\left(i\right)}\right)$

$\underset{i\in I}{{\displaystyle \vee }}\left(\underset{j\in J_i}{{\displaystyle \wedge }}{a}_{ij}\right)=\underset{f\in {\displaystyle \underset{i\in I}{\prod }}{J}_i}{{\displaystyle \wedge }}\left(\underset{i\in I}{{\displaystyle \vee }}{a}_{if\left(i\right)}\right)$

2.2. A Survey to Simple Concepts and Their Operations

In this subsection we approach to simple concepts and their operations because it is necessary to form the idea what do simple concepts mean. The exact definition will be represented in Definition 2.13. All these are based on [1] , pages 113,114.

Consider the set of four people $x_1\mathrm{,}{x}_2\mathrm{,}{x}_3\mathrm{,}{x}_4$ and a simple concept “hair colour”. By intuition, we may set: $x_1$ has “hair black” with number 6 and $x_2\mathrm{,}{x}_3\mathrm{,}{x}_4$ with numbers 4,6,3. So, the numbers imply the order $x_4>x_2>x_3=x_1$ which can be interpreted as follows: Moving from right to left, the relationship states how strongly the hair colour resembles black colour. More exactly, $x_i>x_j$ means that the hair of $x_i$ is closer to the black colour than the colour of the hair which $x_j$ has.

Let $M$ be a set of fuzzy or Boolean concepts on the set $X$ . For each $m\in M$ we associate to a single feature. For example $m_1$ : “old people” is a fuzzy concept but $m_2$ : “male” is a Boolean concept. In fact, $M$ is a set of simple concepts. In general let $A\subseteq M$ and denote by ${\displaystyle {\prod }_{m\in A}}m$ a conjugation of the concepts $m$ on $A$ . Correspondingly ${\displaystyle {\sum }_{m\in A}}m$ means a disjunction.

Example 2.5. Let $m_1$ : “old people”, $m_2$ : “male”, $m_3$ : “tall people”. Then $m_1{m}_2$ : “old males” and $m_1+m_3$ : “old or tall people”. Further, $m_1{m}_2+m_2{m}_3+m_1{m}_2{m}_3$ : “old or tall males”. However, $m_1{m}_2+m_2{m}_3$ means the same. This is because for any person $x$ the degree of $x$ belonging to the fuzzy concept represented by $m_1{m}_2{m}_3$ is always less than or equal to the degree of $x$ belonging to the fuzzy concept represented by $m_1{m}_2$ or $m_2{m}_3$ . Therefore the former $m_1{m}_2{m}_3$ is including in both of the latter ones $m_1{m}_2$ or $m_2{m}_3$ .

2.3. AFS Fuzzy Logic System

All the definitions and the propositions with their proofs are represented in [1] , pages 115-123. For a moment we give up the assumption that $M$ consists only of simple concepts. Let $M$ be a non-empty set. The set $E{M}^{\star }$ is defined by

$E{M}^{\star }=\left\{{\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\mathrm{<mo>\; |\; </mo>}{A}_i\subseteq M\mathrm{,}i\in I\mathrm{,}I\text{is}\text{any}\text{non-empty}\text{indexing}\text{set}\right\}$

where the elements of $E{M}^{\star }$ are expressed semantically with “equivalent to”, “or” (disjunction) and “and” (conjunction).

Definition 2.6. Let M be a non-empty set. A binary relation R on $E{M}^{\star }$ is defined as follows: for

${\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ , ${\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)\in E{M}^{\star }$ ,

$\left[{\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)\right]R\left[{\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)\right]\iff$

(1) $\forall A_i$ , $i\in I$ , $\exists B_h$ , $h\in J$ such that $A_i\supseteq B_h$ ,

(2) $\forall B_j$ , $j\in J$ , $\exists A_k$ , $k\in I$ such that $B_j\supseteq A_k$ .

$R$ is an equivalence relation and we define $EM$ as the quotient set $E{M}^{\star }/R$ .

Proposition 2.7. Let $M$ be a non-empty set. Then $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ forms a completely distributive lattice under the binary compositions $\vee$ and $\wedge$ defined as follows: for any

${\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right),{\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)\in EM,$

${\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\vee {\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)={\displaystyle \underset{k\in I\bigsqcup J}{\sum }}\left({\displaystyle \underset{m\in C_k}{\prod }}m\right)\triangleq {\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)+{\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)$

${\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\wedge {\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)={\displaystyle \underset{i\in I,j\in J}{\sum }}\left({\displaystyle \underset{m\in A_i\cup B_j}{\prod }}m\right)$

where the disjoint union $I\bigsqcup J$ means that every element in $I$ and every element in $J$ are always regarded as different elements in $I\bigsqcup J$ . Therefore for any $k\in I\bigsqcup J$ , $C_k=A_k$ if $k\in I$ , and $C_k=B_k$ if $k\in J$ .

The proof of the proposition can be found from [1] .

To be a distributive lattice means that for any $\gamma \mathrm{,}\zeta \mathrm{,}\eta \in EM$

$\gamma \wedge \left(\zeta \vee \eta \right)=\left(\gamma \wedge \zeta \right)\vee \left(\gamma \wedge \eta \right)$

$\gamma \vee \left(\zeta \wedge \eta \right)=\left(\gamma \vee \zeta \right)\wedge \left(\gamma \vee \eta \right)$

A completely distributive lattice is defined in Definition 2.4. Because $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ is such a lattice it guarantees the existance of the $EM$ elements ${\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ and ${\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)$ . We can also define the order in $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ as follows:

${\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\ge {\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)\iff \forall B_j,j\in J,\exists A_k,k\in I\text{such}\text{that}{B}_j\supseteq A_k.$

Further, as a (distributive) completely lattice $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ is also a complete lattice.

The lattice $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ is called the $EI$ (expanding one set $M$ ) algebra over $M$ .

Proposition 2.8. Let $M$ be a set and $g\mathrm{<mo>\; :\; </mo>}M\to M$ be a map satisfying $g\left(g\left(m\right)\right)=m$ for all $m\in M$ . If the operator ${}^g\mathrm{<mo>\; :\; </mo>}EM\to EM$ is defined as follows

${\left({\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\right)}^g=\underset{i\in I}{{\displaystyle \wedge }}\left(\underset{m\in A_i}{{\displaystyle \vee }}g\left(m\right)\right)=\underset{i\in I}{{\displaystyle \wedge }}\left({\displaystyle \underset{m\in A_i}{\sum }}g\left(m\right)\right)$

Then for any $\alpha \mathrm{,}\beta \in EM$ , $g$ has the following properties:

(1) ${\left({\alpha }^g\right)}^g=\alpha$ ,

(2) ${\left(\alpha \vee \beta \right)}^g={\alpha }^g\wedge {\beta }^g$ , ${\left(\alpha \wedge \beta \right)}^g={\alpha }^g\vee {\beta }^g$ ,

(3) $\alpha \le \beta \Rightarrow {\alpha }^g\ge {\beta }^g$

Therefore the operator ${}^g$ is an order reversing involution in the $EI$ algebra $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ .

The operator ${}^g$ defines the negation $m^{\prime }$ of the concept $m$ : $m^{\prime }=g\left(m\right)$ . Then $m^{″}={\left(g\left(m\right)\right)}^{\prime }=g\left(g\left(m\right)\right)=m$ .

Let $\zeta ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)\in EM$ . Then

${\zeta }^{\prime }=\underset{i\in I}{{\displaystyle \wedge }}\left(\underset{m\in A_i}{{\displaystyle \vee }}{m}^{\prime }\right)=\underset{i\in I}{{\displaystyle \wedge }}\left({\displaystyle \underset{m\in A_i}{\sum }}{m}^{\prime }\right)$

stands for the logical negation of $\zeta$ . $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\text{'}\right)$ is called an AFS fuzzy logic system.

Example 2.9. Let $m_1$ : “old people”, $m_2$ : “tall people”, $m_3$ : “males”. Then

$\zeta =m_1{m}_3+m_2=m_1{m}_3\vee m_2$

$\begin{array}{c}{\zeta }^{\prime }={\left(m_1{m}_3+m_2\right)}^{\prime }={\left(m_1\wedge m_3\vee m_2\right)}^{\prime }=\left({m^{\prime }}_1\vee {m^{\prime }}_3\right)\wedge {m^{\prime }}_2\\ =\left({m^{\prime }}_1\wedge {m^{\prime }}_2\right)\vee \left({m^{\prime }}_3\wedge {m^{\prime }}_2\right)={m^{\prime }}_1{m^{\prime }}_2+{m^{\prime }}_3{m^{\prime }}_2.\end{array}$

where $\zeta$ : “old males or tall people” and ${\zeta }^{\prime }$ : “not old and not tall people or not tall males”.

The AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\text{'}\right)$ can be regarded as a completely distributive lattice. It is also a complete lattice. But this lattice is equipped with the logical negation.

We conclude that the complexity of human concepts is a direct result of the combinations of a few relatively simple concepts. In fact, some suitable simple concepts play the same role as used in linear vector spaces and we can regard them as a “basis”.

2.4. Relations, Simple and Complex Concepts

For this subsection we refer to [1] , pages 124, 125.

Definition 2.10. Let $\zeta$ be any concept on the universe of discourse $X$ . $R_{\zeta }\subset X\times X$ is called the binary relation of the concept $\zeta$ if $R_{\zeta }$ satisfies: $x\mathrm{,}y\in X\mathrm{,}\left(x\mathrm{,}y\right)\in R_{\zeta }$ if and only if x belongs to concept $\zeta$ at some extent or $x$ is a member of $\zeta$ and the degree of $x$ belonging to $\zeta$ is larger or equal to that of $y$ , or $x$ belongs to concept $\zeta$ at some degree and $y$ does not at all.

Example 2.11. Let fuzzy concept $\zeta$ : “old” and

$R_{\zeta }=\left\{\left(x\mathrm{,}y\right)\mathrm{<mo>\; |\; </mo>}\left(x\mathrm{,}y\right)\in X\times X,ag{e}_x\ge ag{e}_y\right\}$

Therefore $\left(x\mathrm{,}x\right)\in R_{\zeta }$ means that x belongs to $\zeta$ at some degree and that $\left(x\mathrm{,}x\right)\notin R_{\zeta }$ means that $x$ does not belong to $\zeta$ at all. If for the two persons $x$ and $y$ , $ag{e}_x=30$ and $ag{e}_y=20$ then $\left(x\mathrm{,}y\right)\in R_{\zeta }$ but $\left(y\mathrm{,}x\right)\notin R_{\zeta }$ .

Example 2.12. Let fuzzy concept $\zeta$ : “hair black” and define $R_{\zeta }$ in the corresponding way as above. By human intuition, we assume that for the three persons $x_i,i=1,2,3$ the degree of $\zeta$ is the following: $blac{k}_{x_1}>blac{k}_{x_2}>blac{k}_{x_3}$ but the fourth person $x_4$ has no hairs. Then $\left(x_1\mathrm{,}{x}_2\right)\mathrm{,}\left(x_1\mathrm{,}{x}_3\right)\mathrm{,}\left(x_2\mathrm{,}{x}_3\right)\in R_{\zeta }$ and $\left(x_4\mathrm{,}{x}_4\right)\notin R_{\zeta }$ but $\left(x_i\mathrm{,}{x}_4\right)\in R_{\zeta }$ . See Definition 2.13 (2).

Definition 2.13. Let $X$ be a set and $R$ be a binary relation on $X$ . $R$ is called a sub-preference relation on $X$ if for $x\mathrm{,}y\mathrm{,}z\in X\mathrm{,}x\ne y$ , $R$ satisfies the following conditions:

(1) if $\left(x\mathrm{,}y\right)\in R$ , then $\left(x\mathrm{,}x\right)\in R$ ,

(2) if $\left(x\mathrm{,}x\right)\in R$ and $\left(y\mathrm{,}y\right)\notin R$ , then $\left(x\mathrm{,}y\right)\in R$ ,

(3) if $\left(x\mathrm{,}y\right)\in R$ and $\left(y\mathrm{,}z\right)\in R$ , then $\left(x\mathrm{,}z\right)\in R$ ,

(4) if $\left(x\mathrm{,}x\right)\in R$ and $\left(y\mathrm{,}y\right)\in R$ , then either $\left(x\mathrm{,}y\right)\in R$ or $\left(y\mathrm{,}x\right)\in R$ .

We define that a concept $\zeta$ on $X$ is simple if $R_{\zeta }$ is a sub-preference relation on $X$ . Otherwise $\zeta$ is called a complex concept on $X$ .

Example 2.14. Let $\zeta$ : “old people”. The concept is simple. For example if for the persons $x_1\mathrm{,}{x}_2\mathrm{,}{x}_3$ we have $ag{e}_{x_1}>ag{e}_{x_2}>ag{e}_{x_3}$ $R_{\zeta }$ is a sub-preference relation on the set $\left\{x_1\mathrm{,}{x}_2\mathrm{,}{x}_3\right\}$ where $R_{\zeta }$ is the binary relation defined in Example 2.11. Observe that the latter of the assumptions of (2) in Definition 2.13 is not valid and so the condition (2) is valid. In general it is known that all elements belonging to a simple concept at some degree are comparable and are arranged in a linear order, that is, they form a chain. In above we can think shortly that $x_1>x_2>x_3$ .

Further, there exists a pair of different elements belonging to a complex concept at some degree such that their degrees in this complex concept are incomparable.

Example 2.15. The set $X$ consists of disjoint sets $Y$ : “males” and $Z$ : “females”. The concept $\zeta$ : “beautiful” is simple on $Y$ and on $Z$ :

$R_{\zeta }=\left\{\left(x_1,x_2\right)|\left(x_1,x_2\right)\in Y\times Y,b_{x_1}\ge b_{x_2}\right\}$

$R_{\zeta }=\left\{\left(y_1,y_2\right)|\left(y_1,y_2\right)\in Z\times Z,b_{y_1}\ge b_{y_2}\right\}$

However, if we apply $\zeta$ to the whole set $X$ it is a complex concept because the degrees of the elements $x\in X$ and $y\in X$ may be incomparable:

If $x\in Y$ and $y\in Z$ , then $\left(x\mathrm{,}y\right)\notin R_{\zeta }$ and If $y\in Y$ and $x\in Z$ , then $\left(y\mathrm{,}x\right)\notin R_{\zeta }$ In this case $\left(x\mathrm{,}x\right)\in R_{\zeta }$ and $\left(y\mathrm{,}y\right)\in R_{\zeta }$ implies that both $\left(x\mathrm{,}y\right)\notin R_{\zeta }$ and $\left(y\mathrm{,}x\right)\notin R_{\zeta }$ . The condition (4) in Definition 2.13 is not satisfied and so $\zeta$ is a complex concept.

2.5. The AFS Fuzzy Logic and Coherence Membership Functions

For introduction to characteristic and membership functions we refer to [4] , page 255, and [5] , pages 12-18. Definitions 2.16 and 2.17 can be found from [1] , pages 128, 130. We first become acquainted with concepts fuzzy sets and membership functions.

Let $X\ne \varnothing$ and $x\in X$ , $A\subset X$ . Define a characteristic function for the set $A$ as follows:

$f_A\mathrm{<mo>\; :\; </mo>}X\to \left\{\mathrm{0,1}\right\}{f}_A=\{\begin{array}{ll}1\mathrm{,}\hfill & x\in A\hfill \\ 0\mathrm{,}\hfill & \text{otherwise}\hfill \end{array}$

Consider an extended case $0\le f_A\left(x\right)\le 1$ , that is, $0<f_A\left(x\right)<1$ is also possible. We call for the set $A\subset X$

(a) a crisp set, if its characteristic function is $f_A\mathrm{<mo>\; :\; </mo>}X\to \left\{\mathrm{0,1}\right\}$ ,

(b) a fuzzy set, if its extended characteristic function or a membership function is ${\mu }_A\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ .

Therefore for every element $x\in X$ there is a membership degree ${\mu }_A\left(x\right)\in \left[\mathrm{0,1}\right]$ . The set of pairs

$A=\left\{\left(x,{\mu }_A\left(x\right)\right)|x\in X\right\}$

determines completely the fuzzy set $A$ . The characteristic function of a crisp set $A$ is a special case of a membership function ${\mu }_A\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ .

Definition 2.16. [1] Let $X$ , $M$ be sets and $2^M$ be the power set of $M$ . Let $\tau \mathrm{<mo>\; :\; </mo>}X\times X\to 2^M$ . $\left(M\mathrm{,}\tau \mathrm{,}X\right)$ is called an AFS structure if $\tau$ satisfies the following axioms:

(1) $\forall \left(x_1\mathrm{,}{x}_2\right)\in X\times X\mathrm{,}\tau \left(x_1\mathrm{,}{x}_2\right)\subseteq \tau \left(x_1\mathrm{,}{x}_1\right)$ ,

(2) $\forall \left(x_1\mathrm{,}{x}_2\right)\mathrm{,}\left(x_2\mathrm{,}{x}_3\right)\in X\times X\mathrm{,}\tau \left(x_1\mathrm{,}{x}_2\right)\cap \tau \left(x_2\mathrm{,}{x}_3\right)\subseteq \tau \left(x_1\mathrm{,}{x}_3\right)$ .

We again return to the case that $M$ is a set of simple concepts.

Let $X$ be a set of objects and $M$ be a set of simple concepts on $X$ . $\tau \mathrm{<mo>\; :\; </mo>}X\times X\to 2^M$ is defined as follows: for any $\left(x\mathrm{,}y\right)\in X\times X$

$\tau \left(x\mathrm{,}y\right)=\left\{m\mathrm{<mo>\; |\; </mo>}m\in M\mathrm{,}\left(x\mathrm{,}y\right)\in R_m\right\}\in 2^M$

where $R_m$ is the binary relation of simple concepts $m\in M$ defined in Definition 2.10 (it was defined more general than for simple concepts).

It is proved in [1] that $\left(M\mathrm{,}\tau \mathrm{,}X\right)$ is an AFS structure.

Definition 2.17. [1] Let $\left(M\mathrm{,}\tau \mathrm{,}X\right)$ be an AFS structure of a data set $X$ . For $x\in X\mathrm{,}A\subseteq M$ , the set $A^{\tau }\left(x\right)\subseteq X$ is defined as follows:

$A^{\tau }\left(x\right)=\left\{y|y\in X,\tau \left(x,y\right)\supseteq A\right\}$

For $\zeta \in EM$ , let ${\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ be the membership function of the concept $\zeta$ . $\left\{{\mu }_{\zeta }\left(x\right)\mathrm{<mo>\; |\; </mo>}\zeta \in EM\right\}$ is called a set of coherence membership functions of the AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\text{'}\right)$ and the AFS structure $\left(M\mathrm{,}\tau \mathrm{,}X\right)$ , if the following conditions are satisfied:

(1) For $\alpha \mathrm{,}\beta \in EM$ , if $\alpha \le \beta$ in lattice $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\text{'}\right)$ , then ${\mu }_{\alpha }\left(x\right)\le {\mu }_{\beta }\left(x\right)$ for any $x\in X$ .

(2) For $x\in X,\eta ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)\in EM$ , if $A_i^{\tau }\left(x\right)=\varnothing$ for all $i\in I$ then ${\mu }_{\eta }\left(x\right)=0$ .

(3) For $x,y\in X,A\subseteq M,\eta ={\displaystyle {\prod }_{m\in A}}m\in EM$ , if $A^{\tau }\left(x\right)\subseteq A^{\tau }\left(y\right)$ , then ${\mu }_{\eta }\left(x\right)\le {\mu }_{\eta }\left(y\right)$ ; if $A^{\tau }\left(x\right)=X$ then ${\mu }_{\eta }\left(x\right)=1$ .

Remark: It is important to see that $M$ consists of simple elements $m$ .

2.6. Zadeh Algebra

We refer to [2] .

Definition 2.18. Suppose that $\left(L\mathrm{,}\vee \mathrm{,}\wedge \right)$ is a complete distributive lattice. Let $L^X=\left\{\mu |\mu :X\to L\right\}$ be the set of all functions from $X$ to $L$ . Assume that the lattice operations the least upper bound $\vee$ and the greatest lower bound $\wedge$ on $L$ are extended pointwise for the functions on $L^X$ . Further, define the extreme constant functions $X\to L$ , $0\mathrm{<mo>\; :\; </mo>}x\mapsto \perp$ and $1\mathrm{<mo>\; :\; </mo>}x\mapsto \top$ for all $x\in X$ , where $\perp$ and $\top$ are the least and the greatest elements of $L$ , respectively. A unary operation $\eta$ on $L$ satisfies the involution property for any $a\in L$ , and $\eta$ is extended pointwise for the functions on $L^X$ , i.e., $\eta \left(\eta \left(\mu \right)\right)=\mu$ for any $\mu \in L^X$ . Then $Z=\left(L^X\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\eta \mathrm{,}0\mathrm{,}1\right)$ is called Zadeh algebra if it satiesfies the following conditions:

(Z1) The operations $\vee$ and $\wedge$ are commutative on $L^X$ .

(Z2) The operations $\vee$ and $\wedge$ are associative on $L^X$ .

(Z3) The operations $\vee$ and $\wedge$ are distributive on $L^X$ .

(Z4) The neutral elements of the operations $\vee$ and $\wedge$ are $0$ and $1$ , respectively, i.e., for all $\mu \in L^X$ and for all $x\in X$ , $\left(\mu \vee 0\right)\left(x\right)=\mu \left(x\right)$ and $\left(\mu \wedge 1\right)\left(x\right)=\mu \left(x\right)$ .

(Z5) For any function $\mu \in L^X$ and for all $x\in X$ , there exists $\eta \left(\mu \right)\in L^X$ such that $\eta \left(1\left(x\right)\right)=0\left(x\right)\le \eta \left(\mu \left(x\right)\right)\le \eta \left(0\left(x\right)\right)=1\left(x\right)$ , i.e., $\eta$ is order revers- ing.

(Z6) $0\ne 1$ .

(Z7) Zadeh algebra fulfils the Kleene condition: for any function $\mu \mathrm{,}\nu \in L^X$ and for any $x\mathrm{,}y\in X$ , $\mu \left(x\right)\wedge \neg \mu \left(x\right)\le \nu \left(y\right)\vee \neg \nu \left(y\right)$ , where $\neg \mu$ and $\neg \nu$ are the logical negations of $\mu$ and $\nu$ , respectively.

3. Connection between Coherence Membership Functions of the AFS Fuzzy Logic System $\left(EM,\vee ,\wedge ,\text{'}\right)$ and Zadeh Algebra

Lemma 3.1. Let ${\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ and ${\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)$ be elements in $EM$ where concepts $m$ are simple and let $X$ be a non-empty set. If every relation $R_m\subset X\times X$ satisfies the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$ (1)

for pairs $\left(x\mathrm{,}z\right)$ and $\left(y\mathrm{,}x\right)\in X\times X$ , then

(a) $\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$

(b) there exists $A_k$ in the set $\left\{A_i\mathrm{<mo>\; |\; </mo>}i\in I\right\}$ such that $A_k\subseteq B_j$ for every $B_j$ , that is,

${\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\ge {\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)$

(c) Let $\alpha ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ , $\beta ={\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)$ , $\delta ={\displaystyle {\sum }_{\nu \in V}}\left({\displaystyle {\prod }_{m\in C_{\nu }}}m\right),\cdots$ be the elements in $EM$ such that the condition (a) is satisfied for all pairs $\left(\alpha \mathrm{,}\beta \right)\mathrm{,}\left(\beta \mathrm{,}\delta \right)\mathrm{,}\cdots$ . Then $\alpha \ge \beta \ge \delta \ge \cdots$ .

Proof. Assume that the condition (1) holds.

(a) Let $\left(x\mathrm{,}z\right)\in R_m$ . Then $\left(y\mathrm{,}x\right)\in R_m$ . Because $m$ is simple, $R_m$ is a sub- preference relation and by Definition 2.13 (3) it is transitive. This implies that $\left(y\mathrm{,}z\right)\in R_m$ and (a) is valid.

(b) Let

$\tau \left(x,z\right)=\left\{m\in A_i|\left(x,z\right)\in R_m\right\}$

$\tau \left(y,x\right)=\left\{m\in B_j|\left(y,x\right)\in R_m\right\}$

Because $m$ is simple $\tau \left(x\mathrm{,}y\right)$ and $\tau \left(y\mathrm{,}z\right)$ are defined.

Because $\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$ we conclude that $\tau \left(x\mathrm{,}z\right)\subseteq \tau \left(y\mathrm{,}x\right)$ and so there exists $A_k$ in the set $\left\{A_i\mathrm{<mo>\; |\; </mo>}i\in I\right\}$ such that for every $B_j$ is $A_k\subseteq B_j$ . If there exists $B_r$ which does not contain $A_k$ then $B_r\supseteq {\displaystyle \cup A_i}$ does not hold. This is a contradiction. According to discussion after Proposition 2.7 we have

${\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\ge {\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)$

(c) Consider a pair $\left(\beta \mathrm{,}\delta \right)$ , where $\beta ={\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)$ and $\delta ={\displaystyle {\sum }_{v\in V}}\left({\displaystyle {\prod }_{m\in C_v}}m\right)$ . We will prove that $\beta \ge \delta$ , that is,

${\displaystyle \underset{j\in J}{\sum }}\left({\displaystyle \underset{m\in B_j}{\prod }}m\right)\ge {\displaystyle \underset{v\in V}{\sum }}\left({\displaystyle \underset{m\in C_v}{\prod }}m\right)$

if $\left(y\mathrm{,}w\right)\in R_m\Rightarrow \left(v\mathrm{,}y\right)\in R_m$ (condition (1)).

Repeating the proof of (b) we obtain the following: Let

$\tau \left(y\mathrm{,}w\right)=\left\{m\in B_j\mathrm{<mo>\; |\; </mo>}\left(y\mathrm{,}w\right)\in R_m\right\}$ , $\tau \left(v\mathrm{,}y\right)=\left\{m\in C_v\mathrm{<mo>\; |\; </mo>}\left(v\mathrm{,}y\right)\in R_m\right\}$

Then $\tau \left(y\mathrm{,}w\right)\subseteq \tau \left(v\mathrm{,}y\right)$ and there exists $B_l$ in the set $\left\{B_j\mathrm{<mo>\; |\; </mo>}j\in J\right\}$ such that $B_l\subseteq C_v$ for all $C_v$ . This proves $\beta \ge \delta$ . In the same way we can prove that $\alpha \ge \beta$ for a pair $\left(\alpha \mathrm{,}\beta \right)$ and then we conclude that $\alpha \ge \beta \ge \delta \ge \cdots$ □

Lemma 3.2. Let $\zeta ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)\in EM$ . If the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$

holds for every simple concept $m\in A_i$ then

${\mu }_{\zeta }\left(x\right)\le {\mu }_{\zeta }\left(y\right)$

where ${\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ is the membership function of the concept $\zeta$ .

Proof. Let $m\in M$ be simple concepts and

$\tau \left(x\mathrm{,}z\right)=\left\{m\in A_i\mathrm{<mo>\; |\; </mo>}\left(x\mathrm{,}z\right)\in R_m\right\}$

$A_i^{\tau }\left(x\right)=\left\{z\in X\mathrm{<mo>\; |\; </mo>}\tau \left(x\mathrm{,}z\right)\supseteq A_i\right\}$

Assume that the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$

holds for every $m\in A_i$ . By Lemma 3.1 (a)

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$

also holds. Then $\tau \left(x\mathrm{,}z\right)\subseteq \tau \left(y\mathrm{,}z\right)$ and so

$A_i\subseteq \tau \left(x\mathrm{,}z\right)\Rightarrow A_i\subseteq \tau \left(y\mathrm{,}z\right)$

It follows that $A_i^{\tau }\left(x\right)\subseteq A_i^{\tau }\left(y\right)$ .

Let ${\zeta }_i={\displaystyle {\prod }_{m\in A_i}}m$ . These ${\zeta }_i$ exist because $EM$ is a completely lattice. By Definition 2.17 (3) ${\mu }_{{\zeta }_i}\left(x\right)\le {\mu }_{{\zeta }_i}\left(y\right)$ for every $i\in I$ where ${\mu }_{{\zeta }_i}\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ is a membership function. Let $\zeta ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}\right)m={\sup }_{i\in I}{\zeta }_i$ . Also $\zeta$ exists and we obtain ${\mu }_{\zeta }\left(x\right)\le {\mu }_{\zeta }\left(y\right)$ □

Lemma 3.3. Assume that the binary relations $R_m\subset X\times X$ of simple concepts $m$ satisfy the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$

for pairs $\left(x\mathrm{,}z\right),\left(y\mathrm{,}x\right)\in X\times X$ .

Let $\alpha ={\displaystyle {\sum }_{j\in J}}\left({\displaystyle {\prod }_{m\in B_j}}m\right)$ and $\beta ={\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ be elements in $EM$ . Then $\alpha \le \beta$ and membership functions ${\mu }_{\alpha }$ and ${\mu }_{\beta }$ satisfy the Kleene condition

${\mu }_{\alpha }\left(x\right)\wedge \neg {\mu }_{\alpha }\left(x\right)\le {\mu }_{\beta }\left(y\right)\vee \neg {\mu }_{\beta }\left(y\right)$

Proof. By Lemma 3.1 (b), $\alpha \le \beta$ . On the other hand, by Lemma 3.2

${\mu }_{\beta }\left(x\right)\le {\mu }_{\beta }\left(y\right)$

Because $\alpha \le \beta$ , by Definition 2.17 (1), ${\mu }_{\alpha }\left(x\right)\le {\mu }_{\beta }\left(x\right)$ . We obtain

${\mu }_{\beta }\left(y\right)\vee \neg {\mu }_{\beta }\left(y\right)\ge {\mu }_{\beta }\left(y\right)\ge {\mu }_{\beta }\left(x\right)\ge {\mu }_{\alpha }\left(x\right)\ge {\mu }_{\alpha }\left(x\right)\wedge \neg {\mu }_{\alpha }\left(x\right)$ □

Proposition 3.4. Let

${\left[0,1\right]}^X=\left\{{\mu }_{\zeta }|{\mu }_{\zeta }:X\to \left[0,1\right]\right\}$

be a set of membership functions of the AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ . The $EM$ elements $\zeta$ are of the form

$\zeta ={\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)$

Let $R_m$ be binary relations of simple concepts $m$ . If the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$

is valid for every simple concept $m\in A_i,i\in I$ and $x\mathrm{,}y\mathrm{,}z\in X$ then the mem- bership functions ${\mu }_{\zeta }$ satisfy the conditions (Z1) - (Z7) of Zadeh algebra in Definition 2.18.

Proof. We verify the Zadeh algebra axioms: The first three axioms (Z1) - (Z3) are clear.

(Z1) The operations $\vee$ and $\wedge$ are commutative on ${\left[\mathrm{0,1}\right]}^X$ .

${\mu }_{{\zeta }_1}\left(x\right)\vee {\mu }_{{\zeta }_2}\left(x\right)={\mu }_{{\zeta }_2}\left(x\right)\vee {\mu }_{{\zeta }_1}\left(x\right)$

${\mu }_{{\zeta }_1}\left(x\right)\wedge {\mu }_{{\zeta }_2}\left(x\right)={\mu }_{{\zeta }_2}\left(x\right)\wedge {\mu }_{{\zeta }_1}\left(x\right)$

(Z2) The operations $\vee$ and $\wedge$ are associative on ${\left[\mathrm{0,1}\right]}^X$ .

(Z3) The operations $\vee$ and $\wedge$ are distributive on ${\left[\mathrm{0,1}\right]}^X$ .

(Z4) The neutral elements of the operations $\vee$ and $\wedge$ are ${\mu }_0\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ , ${\mu }_0\left(x\right)\equiv 0$ and ${\mu }_1\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ , ${\mu }_1\left(x\right)\equiv 1$ .

${\mu }_{\zeta }\left(x\right)=0\vee {\mu }_{\zeta }\left(x\right)={\mu }_0\left(x\right)\vee {\mu }_{\zeta }\left(x\right)=\left({\mu }_0\vee {\mu }_{\zeta }\right)\left(x\right)$

${\mu }_{\zeta }\left(x\right)=1\wedge {\mu }_{\zeta }\left(x\right)={\mu }_1\left(x\right)\wedge {\mu }_{\zeta }\left(x\right)=\left({\mu }_1\wedge {\mu }_{\zeta }\right)\left(x\right)$

(Z5) For any ${\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ and for all $x\in X$ there exists a unary opera- tion

$\eta :{\left[0,1\right]}^X\to {\left[0,1\right]}^X,\eta \left({\mu }_{\zeta }\right)={\mu }_{g\left(\zeta \right)}$

where the operation $g\mathrm{<mo>\; :\; </mo>}EM\to EM$ is defined by

${\left({\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)\right)}^g=\underset{i\in I}{{\displaystyle \wedge }}\left({\displaystyle \underset{i\in A_i}{\sum }}g\left(m\right)\right)$

Let $m\in M$ be simple concepts. Observe that we need this assumption for Definition 2.17 used bellow: in Definition 2.16 and Definition 2.17 the definition of $\tau \left(x\mathrm{,}y\right)$ demands $m$ to be simple. According to Proposition 2.8 $g$ is an order reversing involution and $g\left(g\left(m\right)\right)=m$ but in this case $m$ need not be simple. We obtain

$\eta \left(\eta \left({\mu }_{\zeta }\right)\right)=\eta \left({\mu }_{g\left(\zeta \right)}\right)={\mu }_{g\left(g\left(\zeta \right)\right)}={\mu }_{\zeta }$

Therefore $\eta$ is an involution. Here $\zeta$ is not necessary simple.

Let $\alpha \le \beta$ be elements in $EM$ , and since $g$ is order reversing, $g\left(\alpha \right)\ge g\left(\beta \right)$ . Using Definition 2.17 (1) it is ${\mu }_{g\left(\alpha \right)}\left(x\right)\le {\mu }_{g\left(\beta \right)}\left(x\right)$ . Therefore

$\eta \left({\mu }_{\alpha }\right)={\mu }_{g\left(\alpha \right)}\ge {\mu }_{g\left(\beta \right)}=\eta \left({\mu }_{\beta }\right)$

and $\eta$ is order reversing.

(Z6) ${\mu }_0\left(x\right)\ne {\mu }_1\left(x\right)$ for all $x\in X$

(Z7) The Kleene condition. For any function $\beta \mathrm{,}\alpha \in {\left[\mathrm{0,1}\right]}^X$ and for any $x\mathrm{,}y\in X$ we have

${\mu }_{\beta \left(y\right)}\vee \neg {\mu }_{\beta \left(y\right)}\ge {\mu }_{\beta \left(y\right)}\ge {\mu }_{\beta \left(x\right)}\ge {\mu }_{\alpha \left(x\right)}\ge {\mu }_{\alpha \left(x\right)}\wedge \neg {\mu }_{\alpha \left(x\right)}$

which is proved in Lemma 3.3. □

Proposition 3.5. Let

${\left[\mathrm{0,1}\right]}^X=\left\{{\mu }_{\zeta }\mathrm{<mo>\; |\; </mo>}{\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]\right\}$

be a set of membership functions ${\mu }_{\xi }$ of the AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ . The $EM$ elements $\zeta$ are of the form

$\zeta ={\displaystyle \underset{i\in I}{\sum }}\left({\displaystyle \underset{m\in A_i}{\prod }}m\right)$

Let $R_m$ be binary relations of simple concepts $m$ . If the condition

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$

is valid for every simple concept $m\in A_i,i\in I$ and $x\mathrm{,}y\mathrm{,}z\in X$ then

(a) Functions ${\mu }_{\zeta }$ form a chain corresponding to the chain ${\left(\zeta \right)}_{\zeta \in EM}$ .

(b) Any chain ${\left({\mu }_{\zeta }\right)}_{\zeta \in EM}$ constitutes some Zadeh algebra $\left({\left[\mathrm{0,1}\right]}^X\mathrm{,}\vee \mathrm{,}\wedge \mathrm{,}\eta \mathrm{,}{\mu }_0\mathrm{,}{\mu }_1\right)$ .

Proof. We conclude

(a) By Lemma 3.1 the elements $\zeta$ forms a chain ${\left(\zeta \right)}_{\zeta \in EM}$ . By Definition 2.17 (1) ${\zeta }_k\le {\zeta }_l\Rightarrow {\mu }_{{\zeta }_k}\le {\mu }_{{\zeta }_l}$ .

(b) Lemma 3.1 (a) implies that

$\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$

and in Proposition 3.4 it is proved that every chain ${\left({\mu }_{\zeta }\right)}_{\zeta \in EM}$ satisfies (Z1) - (Z7). □

4. Conclutions

Simple concepts form chains. The elements of any chain form a “basis” in AFS fuzzy logic system $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ with operations disjunction $\vee$ , conjunction $\wedge$ and the logical negation. The elements are of the form ${\displaystyle {\sum }_{i\in I}}\left({\displaystyle {\prod }_{m\in A_i}}m\right)$ where simple concepts $m\in A_i$ are defined in Definition 2.13 and operations in $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ are defined in Proposition 2.7. $\left(EM\mathrm{,}\vee \mathrm{,}\wedge \right)$ is a completely distributive lattice. By means of the binary relations $R_m\in X\times X$ defined in Definition 2.10 we construct the condition $\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}x\right)\in R_m$ which implies the condition $\left(x\mathrm{,}z\right)\in R_m\Rightarrow \left(y\mathrm{,}z\right)\in R_m$ . Here $X$ is a non-empty set and $x\mathrm{,}y\mathrm{,}z$ on $X$ and $m$ are simple concepts. Then the conditions consti- tute the two things: first, the membership functions ${\mu }_{\zeta }\mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]$ of the fuzzy concepts $\zeta$ form chains ${\left({\mu }_{\zeta }\right)}_{\zeta \in EM}$ in $\left(EM\mathrm{,}\vee \mathrm{,}\wedge {,}^{\prime }\right)$ ; second, every chain ${\left({\mu }_{\zeta }\right)}_{\zeta \in EM}$ forms a Zadeh algebra. These results are represented in Propositions 3.4 and 3.5 and we can use them as starting points to continue theoretical considerations. The other way to continue the investigations is to utilize directly the conditions above: there are two kinds of successive events. The first one implies the second one or they have no connection. In the latter case the second event only follows the first one although they are independent of each other. In the first case it is possible to apply to the conditions (above) (1) or (2) repre- sented in the introduction.

In Example 2.1, [2] , the set $\left\{\mu \mathrm{<mo>\; |\; </mo>}\mu \mathrm{<mo>\; :\; </mo>}X\to \left[\mathrm{0,1}\right]\right\}$ of membership functions forms a Zadeh algebra. More exactly, if $I=\left[0,1\right]$ then $\left(I\mathrm{,}\vee \mathrm{,}\wedge \right)$ is a complete distributive lattice. Further, $I^X=\left\{\mu |\mu :X\to \left[0,1\right]\right\}$ is the set of membership functions. The operations $\vee$ and $\wedge$ are extended pointwise on $I^X$ . Now $Z=\left\{I^X,\vee ,\wedge ,\neg ,0,1\right\}$ is a Zadeh algebra with $0\left(x\right)=0$ , $1\left(x\right)=1$ , and the logical negation of $\mu$ is $\neg \mu \left(x\right)=\left(1-\mu \right)\left(x\right)$ . In this paper we have considered more general membership functions and constructed Zadeh algebras.

Cite this paper

Kukkurainen, P. (2017) Fuzzy Logic and Zadeh Algebra. Ad- vances in Pure Mathematics, 7, 353-365. https://doi.org/10.4236/apm.2017.77022

References