You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A mathematical model of ternary fuzzy set for voting

Issue title: The fuzzy system and its application in East Asia

Guest editors: Ildar Batyrshin, Dragan S. Pamučar, Paolo Crippa and Feng Liu

Article type: Research Article

Authors: Wang, Chaoa; * | Ha, Minghua | Liu, Xiaoweib

Affiliations: [a] School of Economics and Management, Hebei University of Engineering, Handan, P.R. China | [b] School of Science, Hebei University of Engineering, Handan, P.R. China

Correspondence: [*] Corresponding author. Chao Wang, School of Economics and Management, Hebei University of Engineering, Handan 056038, P.R. China. Tel.: +86 15103102799; Fax: +86 0310 8579089; E-mail: wang222chao@163.com

Keywords: Voting, intuitionistic fuzzy set, ternary fuzzy set, ternary fuzzy number

DOI: 10.3233/IFS-151937

Journal: Journal of Intelligent & Fuzzy Systems, vol. 29, no. 6, pp. 2381-2386, 2015

Published: 2015
Get PDF open access

Abstract

Intuitionistic fuzzy sets can effectively deal with the support information, opposition information and abstention information of candidates in many voting. However, it may be hardly to handle some information of voting for non-candidates in some voting. In order to handle the aforementioned problem, the concept of ternary fuzzy set and ternary fuzzy number are defined, and the corresponding operations are given and discussed. Then, a mathematical model for voting is established based on the ternary fuzzy set and ternary fuzzy number, the effectiveness of the model is verified by an example.

1Introduction

Fuzzy set introduced by Zadeh [9] in 1965 is an important extension of classic set, and has been applied into many areas of modern life [6, 10, 13]. The membership degree of fuzzy sets can to describe the support information of voting [11, 16]. However, not only support information but also opposition information and abstention information exist in voting. In 1983, Atanassov [7, 8] extended the fuzzy set and proposed the concept of intuitionistic fuzzy set. Each element of intuitionistic fuzzy set is described by the membership degree and nonmembership degree, and then the indeterminacy degree was given, which can describe the abstention information. Due to the advent of the theory, more and more scholars engaged in the research of intuitionistic fuzzy set. Atanassov [8] and De [12] defined and discussed the basic operations of intuitionistic fuzzy set. Xu [17, 18] further developed the intuitionistic fuzzy set theory, systematically studied the information aggregation approach of intuitionistic fuzzy set, and applied into multi-person multi-attribute decision making models under intuitionistic fuzzy environment. Now, the researches of decision making under intuitionistic fuzzy environment have made many meaningful results [2, 4, 5, 14, 19, 20].

While, in some voting, the decision makers may be inclined to some better non-candidates. Take the election of NPC for example, electors how to fill out the ballots in the election is provided by the electoral law of the People’s Republic of China on the National People’s Congress and Local People’s Congresses as follows: “The elector may vote for or against any of the candidates that have been determined, or may instead elect any other electors or abstain from voting”[15]. Under the law, 6 people won victory for the non-candidate at the Beijing People’s Congress election in 2011 [1]. If intuitionistic fuzzy set is applied into the above voting, the information of voting for non-candidates may be ignored.

Neutrosophic set proposed by Smarandache[3] is an extension of intuitionistic fuzzy set, and each element is described by the degree of membership, the degree of indeterminacy, and the degree of non-membership. While the neutrosophic set theory is difficult to handle the voting problems, as the sum of the three degree is greater than 1. Besides, it cannot describe the information of voting for non-candidates of the above voting. Based on this, the concept of ternary fuzzy set and ternary fuzzy number are introduced.

2The concept of fuzzy set and intuitionistic fuzzy set

Zadeh [9] first introduced the fuzzy set in 1965 as follows:

Definition 1. Let X be nonempty set. Then, a fuzzy set is defined by

(1)
F={〈x,μF(x)〉|x∈X},
where μ F  : X → [0, 1] is a membership function of fuzzy set, and μ F  (x) is the membership degree ofx ∈ X.

Atanassov [7, 8] extended the fuzzy set and proposed the concept of intuitionistic fuzzy set as follows:

Definition 2. Let X be a nonempty set. Then, a intuitionistic fuzzy set is defined by

(2)
A˜={〈x,μA˜(x),νA˜(x)〉|x∈X},
where the functions μA˜:→[0,1] and νA˜:→[0,1] are the membership degree and nonmembership degree of the element x ∈ X, and μA˜ and νA˜ satisfy the following condition:
0≤μA˜(x)+νA˜(x)≤1.
In addition, πA˜(x)=1-μA˜(x)-νA˜(x) denotes the indeterminacy degree of the element x ∈ X.

Remark 1. Because the intuitionistic fuzzy set is composed by the membership degree and nonmembership degree, so the intuitionistic fuzzy set can be called a binary fuzzy set. While the nonmembership degree νA˜=0, the intuitionistic fuzzy set degenerates into a fuzzy set.

Smarandache [3] proposed neutrosophic set, which is an extension of intuitionistic fuzzy set.

Definition 3. Let U be an universe of discourse. Then the neutrosophic set A is an object having the form

(3)
A={〈x,μA(x),νA(x),ωA(x)〉|x∈X},
where the functions
μA(x),νA(x),ωA(x):U→]-0,1+[
define respectively the degree of membership, the degree of indeterminacy, and the degree of non-membership of the element x ∈ X to the set A with the condition:
 -0≤supμA(x)+supνA(x)+supωA(x)≤3+.

3The mathematical model of ternary fuzzy set

3.1Ternary fuzzy set

The membership degree, nonmembership degree, indeterminacy degree of both intuitionistic fuzzy set and neutrosophic set can describe the support information, opposition information and abstention information of the candidates in many voting. In order to describe the information of voting for non-alternatives, the concept of ternary fuzzy set is given, which is an extension of intuitionistic fuzzy set.

Definition 4. Let X be a nonempty set. Then, a ternary fuzzy set is defined by

(4)
A˜˜={〈x,μA˜˜(x),νA˜˜(x),πA˜˜(x)〉|x∈X},
where
μA˜˜:X→[0,1],x∈XνA˜˜:X→[0,1],x∈XπA˜˜:X→[0,1],x∈X
and they satisfy the following condition:
0≤μA˜˜(x)+νA˜˜(x)+πA˜˜(x)≤1,∀x∈X.
μA˜˜,νA˜˜ define the membership degree and nonmembership degree of A˜˜. ρA˜˜=μA˜˜+νA˜˜ denotes the candidate degree, πA˜˜ defines the non-candidate degree. Then,
{〈x,ρA˜˜(x),πA˜˜(x)〉|x∈X}
defines the intuitionistic fuzzy set of candidate. In addition, τA˜˜=1-μA˜˜-νA˜˜-πA˜˜ defines the indeterminacy degree of A˜˜.

Remark 2. While πA˜˜=0, the ternary fuzzy set A˜˜ becomes a intuitionistic fuzzy set

{〈x,μA˜˜(x),νA˜˜(x)〉|x∈X};
while νA˜˜=πA˜˜=0, the ternary fuzzy set A˜˜ becomes a fuzzy set {〈x,μA˜˜(x)〉|x∈X}. Hence, Both fuzzy set and intuitionistic fuzzy set are the special case of the ternary fuzzy set. But the operations of fuzzy set are different from intuitionistic fuzzy set and ternary fuzzy set.

Example 1. As shown in Fig. 1, suppose A, B, C are three nonempty sets in the 2-dimensional vector space, and let X = A ⋃ B ⋃ C. For any given element x = (x1, x2) ∈ X, the value of x1 is known, and the value of x2 is unknown. For a unknown set F satisfies

A⊂F⊂A⋃B,A≠F≠A⋃B.
Then a ternary fuzzy set is given by
(5)
F˜˜={〈x,μF˜˜(x),νF˜˜(x),πF˜˜(x)〉|x∈X},
where
μF˜˜(x)={1a≤L(x)≤b0.7b<L(x)≤c0.2c<L(x)≤d0.1d<L(x)≤e0e<L(x)≤f,νF˜˜(x)={0a≤L(x)≤b0.2b<L(x)≤c0.4c<L(x)≤d0.3d<L(x)≤e0e<L(x)≤f,πF˜˜(x)={0a≤L(x)≤c0.1c<L(x)≤d0.5d<L(x)≤e1e<L(x)≤f.

For any given element x ∈ X, we have

0≤μF˜˜(x)+νF˜˜(x)+πF˜˜(x)≤1,
and,
ρF˜˜=μF˜˜+νF˜˜={1a≤L(x)≤b0.9b<L(x)≤c0.6c<L(x)≤d0.4d<L(x)≤e0e<L(x)≤f.
Then, {〈x,ρF˜˜(x),πF˜˜(x)〉|x∈X} is a intuitionistic fuzzy candidate set with respect to F˜˜, and the indeterminacy degree of element x ∈ X is given by
τF˜˜(x)={0a≤L(x)≤b0.1b<L(x)≤c0.3c<L(x)≤d0.1d<L(x)≤e0e<L(x)≤f.

Next, the operation and property of ternary fuzzy sets are discussed.

Definition 5. Let X be a nonempty set. The three ternary fuzzy sets defined on X are given by

A˜˜={〈x,μA˜˜(x),νA˜˜(x),πA˜˜(x)〉|x∈X}A˜˜1={〈x,μA˜˜1(x),νA˜˜1(x),πA˜˜1(x)〉|x∈X}A˜˜2={〈x,μA˜˜2(x),νA˜˜2(x),πA˜˜2(x)〉|x∈X}
Then the operations of the ternary fuzzy sets aredefined by

  • (1) A˜˜c={〈x,νA˜˜(x),μA˜˜(x),πA˜˜(x)〉};

  • (2) A˜˜1⋃A˜˜2={〈x,max{μA˜˜1(x),μA˜˜2(x)},min{νA˜˜1(x),νA˜˜2(x)},min{πA˜˜1(x),πA˜˜2(x)}〉};

  • (3) A˜˜1⋂A˜˜2={〈x,min{μA˜˜1(x),μA˜˜2(x)},max{νA˜˜1(x),νA˜˜2(x)},min{πA˜˜1(x),πA˜˜2(x)}〉};

  • (4) A˜˜1+A˜˜2={〈x,1-(1-μA˜˜1(x))(1-μA˜˜2(x)),νA˜˜1(x)νA˜˜2(x),πA˜˜1(x)πA˜˜2(x)〉};

  • (5) A˜˜1·A˜˜2={〈x,μA˜˜1(x)μA˜˜2(x),1-(1-νA˜˜1(x))(1-νA˜˜2(x)),πA˜˜1(x)πA˜˜2(x)〉}.

Property 1. The above operations of ternary fuzzy set are closed.

Proof.

  • (1) It is obvious that A˜˜c is also a ternary fuzzy set.

  • (2) Let A˜˜1,A˜˜2 be two ternary fuzzy sets. For any given x ∈ X, suppose

max{μA˜˜1,μA˜˜2}=μA˜˜1.

Because

min{νA˜˜1,νA˜˜2}≤νA˜˜1,min{πA˜˜1,πA˜˜2}≤πA˜˜1,
so we have
max{μA˜˜1,μA˜˜2}+min{νA˜˜1,νA˜˜2}+min{πA˜˜1,πA˜˜2}≤μA˜˜1+νA˜˜1+πA˜˜1≤1
i.e. A˜˜1⋃A˜˜2 is a ternary fuzzy set. Similarly, A˜˜1⋂A˜˜2 is also a ternary fuzzy set.

(3) Let A˜˜1,A˜˜2 be two ternary fuzzy sets. As

1-μA˜˜i≥νA˜˜i+πA˜˜i,i=1,2,
we have

0≤1-(1-μA˜˜1)(1-μA˜˜2)+νA˜˜1νA˜˜2+πA˜˜1πA˜˜2≤1-(νA˜˜1+πA˜˜1)(νA˜˜2+πA˜˜2)+νA˜˜1νA˜˜2+πA˜˜1πA˜˜2=1-νA˜˜1πA˜˜2-νA˜˜2πA˜˜1≤1

i.e. A˜˜1+A˜˜2 is a ternary fuzzy set.

Property 2. Let A˜˜,A1˜˜,A2˜˜ be three ternary fuzzy sets respectively. Then, we have

  • (1) (A˜˜c)c=A˜˜;

  • (2) (A˜˜1⋃A˜˜2)c=A˜˜1c⋂A˜˜2c,

    (A˜˜1⋂A˜˜2)c=A˜˜1c⋃A˜˜2c;

  • (3) (A˜˜1+A˜˜2)c=A˜˜1c·A˜˜2c,

    (A˜˜1·A˜˜2)c=A˜˜1c+A˜˜2c.

Proof. It is easy to get above conclusions by the use of the operations.

3.2Ternary fuzzy number

Based on ternary fuzzy set, a ternary fuzzy number is given by

(6)
α=〈μα,να,πα〉,
where
μα,να,πα∈[0,1],μα+να+πα∈[0,1].

In some voting, μ α , ν α can denote support information, opposition information of the voting. π α can denote the information of voting for non-candidates. Denote ρ α  = μ α  + ν α , (ρ α , π α ) is a intuitionistic fuzzy candidate number with respect to α. Then, τ α  = 1 - (ρ α  + π α ) can denote the abstention information.

Take the voting of NPC deputies for example, the electors may vote for or against any of the candidates that have been determined, or may instead elect any other electors or abstain from voting. So that, ternary fuzzy number is given to describe above voting information as follows: For example, 10 people participated in the election, and α is the only candidate. The voting result is that 4 people vote for α, 2 people against α, 1 people abstain from voting and 1 people vote for other non-candidate. The electoral result can be denoted by

α=〈0.4,0.2,0.3〉.

Remark 3. Though the neutrosophic set was given by the degree of membership, the degree of indeterminacy, and the degree of non-membership, it is difficult to handle the voting problems, as the sum of the three degree is greater than 1.

For any given ternary fuzzy number α = 〈μ α , ν α , π α 〉, it is can be measured simply by a score function as follows:

(7)
s(α)=μα-να.

If μ α  = 1, ν α  = 0, i.e. α = 〈1, 0, 0〉, s (α) reaches a maximum value of 1; If μ α  = 0, ν α  = 1, i.e. α = 〈0, 1, 0〉, s (α) reaches a minimum value of -1.

Let α, β be two ternary fuzzy numbers. Then the relation α ≺ β is valid iff s (α) < s (β).

For example, if α = 〈0.5, 0.3, 0.2〉, β = 〈0.5, 0.2, 0.1〉. Then

0.2=s(α)<s(β)=0.3⇒α≺β.
However, if s (α) = s (β), such as α = 〈0.5, 0.2, 0.2〉, β = 〈0.5, 0.2, 0.1〉, it is difficult to getthe relation “≺” between α and β.

Let α = 〈μ α , ν α , π α 〉 and β = 〈μ β , ν β , π β 〉 be two ternary fuzzy numbers. Based on the above score function, a comprehensive measure method of ternary fuzzy numbers is given:

  • (1) If s (α) < s (β), we have α ≺ β.

  • (2) If s (α) = s (β),

    • (a) While ρ α  < ρ β , we have α ≺ β.

    • (b) While ρ α  = ρ β i.e. μ α  = μ β , ν α  = ν β , we have

      • (i) π α > π β  ⇒ α ≺ β ;

      • (ii) π α  = π β  ⇒ α = β .

Let α = 〈0.5, 0.2, 0.2〉, β = 〈0.5, 0.2, 0.1〉. So we have π α  > π β  ⇒ α ≺ β by the use of the above method.

4An example for voting

Take a voting of a region’s deputies for example. There are 4 candidates (A, B, C, D) determined, and 3 deputies should be chosen. The ballot is shown in Table 1, and provisions of the voting are given as follows:

  • (1) Vote for no more than 3;

  • (2) Draw “○”in front of the name voting for, or Draw “×”in front of the name against;

  • (3) If you want replace the candidate with a non-candidate, write in the non-candidate’s name behind the candidate’s name to be replaced and draw “○” in front of the candidate’s name replaced;

  • (4) Do not mark with any symbol if abstain from voting.

In the end, there are 100 valid ballots. The final vote count of candidate is given as follows:

A: 70 people vote for, 20 people against, 4 people abstain from and 6 people vote for non-candidates (such that 4 people vote for E and 2 people vote for F).

B: 30 people vote for, 28 people against, 2 people abstain from and 40 people vote for non-candidates (such that 30 people vote for and 10 people vote for F).

C: 55 people vote for, 25 people against, 5 people abstain from and 15 people vote for non-candidates (such that 15 people vote for E).

D: 55 people vote for, 25 people against, 0 people abstain from and 20 people vote for non-candidates (such that 19 people vote for E and 1 people vote for F).

The final vote count of the four candidates can be denoted by the ternary fuzzy numbers:

A=〈0.7,0.2,0.06〉,πA=0.06=0.04E+0.02F;B=〈0.3,0.28,0.4〉,πB=0.4=0.3E+0.1F;C=〈0.55,0.25,0.15〉,πC=0.15=0.15E+0F;D=〈0.55,0.25,0.2〉,πD=0.2=0.19E+0.01F.

At the same time, we can not ignore the two non-candidates(E, F). So the final vote count of E and F can be denoted by the ternary fuzzy numbers:

E=〈0.68,0,0〉,F=〈0.13,0,0〉.

Accordance with electoral provisions, the top three candidates and non-candidates with higher percentage of votes obtained win the qualifications. It is obvious that

μA>μE>μC=μD>μB>μF.
So the candidates A and non-candidates B win two of the three qualifications. While the candidates C and D have the same percentage of votes, the traditional approach is to re-vote for the two candidates, which is a time-consuming work. Now, we can measure the ternary fuzzy numbers C and D to determine the last qualification of deputy:
μC=μD,νC=νD,πD>πC⇒D≺C.
Then, C win the last one qualification of deputy. So, the proposed approach of ternary fuzzy numbers improves the efficiency of elections.

5Conclusions

In some voting, both fuzzy set and intuitionistic fuzzy set are difficult to deal with the information of voting for non-candidates. Consequently, the concept of ternary fuzzy set and ternary fuzzy number are proposed in this paper, which extend the fuzzy set and intuitionistic fuzzy set. Furthermore, the information aggregation approach of ternary fuzzy set will be given, and decision making models of ternary fuzzy sets will be further studied.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (No. 61073121), the Natural Science Foundation of Hebei Province of China (Nos. F2015402033, A2012201033).

References

1 

Beijing districts and counties of the township people’s congress deputies election: 6 people won the election as non-candidates, http://news.xinhuanet.com/politics/2011-11/16/c122287108.htm

2 

Li DF (2010) Mathematical-programming approach to matrix games with payoffs represented by Atanassov’s interval-valued intuitionistic fuzzy sets IEEE Transactions on Fuzzy Systems 18: 6 1112 1128

3 

Smarandache F (2005) A Unifying Field in Logics: Neutrsophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability(fourth edition) American Research Press

4 

Beliakov G, Bustince H, James S, Calvo T, Fernandez J (2012) Aggregation for Atanassov’s intuitionistic and interval valued fuzzy sets: The median operator IEEE Transactions on Fuzzy Systems 20: 3 487 498

5 

Jiang HL, He JM, Zhuang YM, Zhang YF (2012) Approach to group decision making based on intuitionistic fuzzy sets and evidence theory Control and Decision 27: 5 752 756

6 

Ma J, Zhang GQ, Lu J (2012) A method for multiple periodic factor prediction problems using complex fuzzy sets IEEE Transactions on Fuzzy Systems 20: 1 32 45

7 

Atanassov K (1983) VII ITKR’s Session Intuitionistic fuzzy sets

8 

Atanassov K (1986) Intuitionistic fuzzy sets Fuzzy Sets and Systems 20: 87 96

9 

Zadeh LA (1965) Fuzzy sets Information and Control 8: 338 353

10 

Galar M, Fernandez J, Beliakov G, Bustince H (2011) Interval-valued fuzzy sets applied to stereo matching of color images IEEE Transactions on Image Processing 20: 7 1949 1961

11 

Chuu SJ (2009) Group decision-making model using fuzzy multiple attributes analysis for the evaluation of advanced manufacturing technology Fuzzy Sets and Systems 160: 5 586 602

12 

De SK, Biswas R, Roy AR (2000) Some operations on intuitionistic fuzzy sets Fuzzy Sets and Systems 114: 477 484

13 

Taheri SM, Azizi R (2007) On information energy of the image fuzzy sets Information Sciences 177: 18 3871 3881

14 

Chaira T (2010) Intuitionistic fuzzy segmentation of medical images IEEE Transactions on Biomedical Engineering 57: 6 1430 1436

15 

The Electoral Law of the People’s Republic of China on the National People’s Congress and Local People’s Congresses, China Legal Publishing House, 2010

16 

Syau YR, Stanley LE (2005) Preincavity and fuzzy decision making Fuzzy Sets and Systems 155: 3 408 424

17 

Xu ZS (2007) Intuitionistic fuzzy aggregation operators IEEE Transactions on Fuzzy Systems 15: 1179 1187

18 

Xu ZS (2007) Multi-person multi-attribute decision making models under intuitionistic fuzzt environment Fuzzy Optimization and Decision Making 6: 221 236

19 

Xu ZS (2008) Intuitionistic Fuzzy Information Aggregation Theory and Applications Science Press

20 

Xu ZS (2012) Intuitionistic fuzzy multi attribute decision making: An interactive method IEEE Transactions on Fuzzy Systems 20: 3 514 525

Figures and Tables

Fig.1

A sample of ternary fuzzy set.

A sample of ternary fuzzy set.
Table 1

The ballot

SymbolCandidates’nameNon-candidates’name
A
B
C
D
Show more