Abstract
In this paper an extension of the Intuitionistic Fuzzy Set called Circular Intuitionistic Fuzzy Set is introduced and studied. Some of the relations and operations over C-IFS are established.
Introduction
The Intuitionistic Fuzzy Sets (IFSs) were introduced in 1983 (see [1–3]) as extensions of fuzzy sets of L. Zadeh [9] and in next years have become object of a lot of extensions and modifications. Some of them – only “IFS-extensions” claiming to be.
One of the real IFS-extension is the object Interval-Valued IFS (IVIFS; see [3, 4]).
Now, the IFSs have a lot of geometrical interpretations. The most important one is given on Fig. 1. As it is seen from it, the elements of a fixed universe are interpreted as points on the Intuitionistic Fuzzy Interpretation Triangle (IFIT). Each element x that is evaluated with degrees of membership μ A (x) and of non-membership ν A (x) to a fixed subset A of the universe, is represented as a point with coordinates 〈μ A (x) , ν A (x) 〉, where μ A (x) , ν A (x) , μ A (x) + ν A (x) ∈ [0, 1].
In the case of IVIFS, the element x is evaluated by pair of intervals 〈M A (x) , N A (x) 〉, where M A (x) , N A (x) ⊆ [0, 1] and sup M A (x) + sup N A (x) ≤1 (see Fig. 2).
In the present paper, a real extension of the IFSs is introduced. Its elements are represented by circles in the IFIT.
Definition and geometrical interpretation of a Circular-IFS
Let us have a fixed universe E and its subset A. The set

Geometrical interpretation of an element of an IFS.

Geometrical interpretation of an element of an IVIFS.
For brevity, we shall write below A
r
instead of
In contrast with the standard IFSs, where each element is represented by a point in the intuitionistic fuzzy interpretation triangle, here, each element is represented by a circle with center 〈μ A (x) , ν A (x) 〉 and radius r.
Now, the basic (second) geometrical interprepation of the C-IFS has the form from Fig. 3. Circular IFS (second) geometric representation.
We can see easily that there are five possible forms of the circles, as it is shown on Fig. 3.
Let L* = {〈a, b〉|a, b ∈ [0, 1] & a + b ≤ 1} .
Therefore, A
r
can be rewritten in the form
where
The new type of sets is an extension of the standard IFS, because each standard IFS has the form
Now, the relations between two C-IFSs A
r
and B
s
are the following:
The operations over C-IFSs are similar, but more complex than these over standard IFSs. They are the following:
We will formulate two theorems which are proved in a manner analogous to the theorems for the standard IFS, see e.g. [2, 3], hence, we omit the proofs.
A
r
∩ minB
s
= B
s
∩ minA
r
; A
r
∩ maxB
s
= B
s
∩ maxA
r
; A
r
∪ minB
s
= B
s
∪ minA
r
; A
r
∪ maxB
s
= B
s
∪ maxA
r
; A
r
+ minB
s
= B
s
+ minA
r
; A
r
+ maxB
s
= B
s
+ maxA
r
; A
r
• minB
s
= B
s
• minA
r
; A
r
• maxB
s
= B
s
• maxA
r
; A
r
@ minB
s
= B
s
@ minA
r
; A
r
@ maxB
s
= B
s
@ maxA
r
; (A
r
∩ minB
s
) ∩ minC
t
= A
r
∩ min (B
s
∩ minC
t
) ; (A
r
∩ maxB
s
) ∩ maxC
t
= A
r
∩ max (B
s
∩ maxC
t
) ; (A
r
∪ minB
s
) ∪ minC
t
= A
r
∪ min (B
s
∪ minC
t
) ; (A
r
∪ maxB
s
) ∪ maxC
t
= A
r
∪ max (B
s
∪ maxC
t
) ; (A
r
+ minB
s
) + minC
t
= A
r
+ min (B
s
+ minC
t
) ; (A
r
+ maxB
s
) + maxC
t
= A
r
+ max (B
s
+ maxC
t
) ; (A
r
• minB
s
) • minC
t
= A
r
• min (B
s
• minC
t
) ; (A
r
• maxB
s
) • maxC
t
= A
r
• max (B
s
• maxC
t
) ; (A
r
∩ minB
s
) ∪ minC
t
= (A
r
∪ minC
t
) ∩ min (B
s
∪ minC
t
) ; (A
r
∩ minB
s
) ∪ maxC
t
= (A
r
∪ maxC
t
) ∩ min (B
s
∪ maxC
t
) ; (A
r
∩ maxB
s
) ∪ minC
t
= (A
r
∪ minC
t
) ∩ max (B
s
∪ minC
t
) ; (A
r
∩ maxB
s
) ∪ maxC
t
= (A
r
∪ maxC
t
) ∩ max (B
s
∪ maxC
t
) ; (A
r
∩ minB
s
) + minC
t
= (A
r
+ minC
t
) ∩ min (B
s
+ minC
t
) ; (A
r
∩ minB
s
) + maxC
t
= (A
r
+ maxC
t
) ∩ min (B
s
+ maxC
t
) ; (A
r
∩ maxB
s
) + minC
t
= (A
r
+ minC
t
) ∩ max (B
s
+ minC
t
) ; (A
r
∩ maxB
s
) + maxC
t
= (A
r
+ maxC
t
) ∩ max (B
s
+ maxC
t
) ; (A
r
∩ minB
s
) . minC
t
= (A
r
. minC
t
) ∩ min (B
s
. minC
t
) ; (A
r
∩ minB
s
) . maxC
t
= (A
r
. maxC
t
) ∩ min (B
s
. maxC
t
) ; (A
r
∩ maxB
s
) . minC
t
= (A
r
. minC
t
) ∩ max (B
s
. minC
t
) ; (A
r
∩ maxB
s
) . maxC
t
= (A
r
. maxC
t
) ∩ max (B
s
. maxC
t
) ; (A
r
∩ minB
s
) @ minC
t
= (A
r
@ minC
t
) ∩ min (B
s
@ minC
t
) ; (A
r
∩ minB
s
) @ maxC
t
= (A
r
@ maxC
t
) ∩ min (B
s
@ maxC
t
) ; (A
r
∩ maxB
s
) @ minC
t
= (A
r
@ minC
t
) ∩ max (B
s
@ minC
t
) ; (A
r
∩ maxB
s
) @ maxC
t
= (A
r
@ maxC
t
) ∩ max (B
s
@ maxC
t
) ; (A
r
∪ minB
s
) ∩ minC
t
= (A
r
∩ minC
t
) ∪ min (B
s
∩ minC
t
) ; (A
r
∪ minB
s
) ∩ maxC
t
= (A
r
∩ maxC
t
) ∪ min (B
s
∩ maxC
t
) ; (A
r
∪ maxB
s
) ∩ minC
t
= (A
r
∩ minC
t
) ∪ max (B
s
∩ minC
t
) ; (A
r
∪ maxB
s
) ∩ maxC
t
= (A
r
∩ maxC
t
) ∪ max (B
s
∩ maxC
t
) ; (A
r
∪ minB
s
) + minC
t
= (A
r
+ minC
t
) ∪ min (B
s
+ minC
t
) ; (A
r
∪ minB
s
) + maxC
t
= (A
r
+ maxC
t
) ∪ min (B
s
+ maxC
t
) ; (A
r
∪ maxB
s
) + minC
t
= (A
r
+ minC
t
) ∪ max (B
s
+ minC
t
) ; (A
r
∪ maxB
s
) + maxC
t
= (A
r
+ maxC
t
) ∪ max (B
s
+ maxC
t
) ; (A
r
∪ minB
s
) . minC
t
= (A
r
. minC
t
) ∪ min (B
s
. minC
t
) ; (A
r
∪ minB
s
) . maxC
t
= (A
r
. maxC
t
) ∪ min (B
s
. maxC
t
) ; (A
r
∪ maxB
s
) . minC
t
= (A
r
. minC
t
) ∪ max (B
s
. minC
t
) ; (A
r
∪ maxB
s
) . maxC
t
= (A
r
. maxC
t
) ∪ max (B
s
. maxC
t
) ; (A
r
∪ minB
s
) @ minC
t
= (A
r
@ minC
t
) ∪ min (B
s
@ minC
t
) ; (A
r
∪ minB
s
) @ maxC
t
= (A
r
@ maxC
t
) ∪ min (B
s
@ maxC
t
) ; (A
r
∪ maxB
s
) @ minC
t
= (A
r
@ minC
t
) ∪ max (B
s
@ minC
t
) ; (A
r
∪ maxB
s
) @ maxC
t
= (A
r
@ maxC
t
) ∪ max (B
s
@ maxC
t
) ; (A
r
+ minB
s
) . minC
t
⊂ (A
r
. minC
t
) + min (B
s
. minC
t
) ; (A
r
+ minB
s
) . maxC
t
⊂ (A
r
. maxC
t
) + min (B
s
. maxC
t
) ; (A
r
+ maxB
s
) . minC
t
⊂ (A
r
. minC
t
) + max (B
s
. minC
t
) ; (A
r
+ maxB
s
) . maxC
t
⊂ (A
r
. maxC
t
) + max (B
s
. maxC
t
) ; (A
r
+ minB
s
) @ minC
t
⊂ (A
r
@ minC
t
) + min (B
s
@ minC
t
) ; (A
r
+ minB
s
) @ maxC
t
⊂ (A
r
@ maxC
t
) + min (B
s
@ maxC
t
) ; (A
r
+ maxB
s
) @ minC
t
⊂ (A
r
@ minC
t
) + max (B
s
@ minC
t
) ; (A
r
+ maxB
s
) @ maxC
t
⊂ (A
r
@ maxC
t
) + max (B
s
@ maxC
t
) ; (A
r
• minB
s
) + minC
t
⊃ (A
r
+ minC
t
) • min (B
s
+ minC
t
) ; (A
r
• minB
s
) + maxC
t
⊃ (A
r
+ maxC
t
) • min (B
s
+ maxC
t
) ; (A
r
• maxB
s
) + minC
t
⊃ (A
r
+ minC
t
) • max (B
s
+ minC
t
) ; (A
r
• maxB
s
) + maxC
t
⊃ (A
r
+ maxC
t
) • max (B
s
+ maxC
t
) ; (A
r
• minB
s
) @ minC
t
⊃ (A
r
@ minC
t
) • min (B
s
@ minC
t
) ; (A
r
• minB
s
) @ maxC
t
⊃ (A
r
@ maxC
t
) • min (B
s
@ maxC
t
) ; (A
r
• maxB
s
) @ minC
t
⊃ (A
r
@ minC
t
) • max (B
s
@ minC
t
) ; (A
r
• maxB
s
) @ maxC
t
⊃ (A
r
@ maxC
t
) • max (B
s
@ maxC
t
) ; (A
r
@ minB
s
) + minC
t
= (A
r
+ minC
t
) @ min (B
s
+ minC
t
) ; (A
r
@ minB
s
) + maxC
t
= (A
r
+ maxC
t
) @ min (B
s
+ maxC
t
) ; (A
r
@ maxB
s
) + minC
t
= (A
r
+ minC
t
) @ max (B
s
+ minC
t
) ; (A
r
@ maxB
s
) + maxC
t
= (A
r
+ maxC
t
) @ max (B
s
+ maxC
t
) ; (A
r
@ minB
s
) . minC
t
= (A
r
. minC
t
) @ min (B
s
. minC
t
) ; (A
r
@ minB
s
) . maxC
t
= (A
r
. maxC
t
) @ min (B
s
. maxC
t
) ; (A
r
@ maxB
s
) . minC
t
= (A
r
. minC
t
) @ max (B
s
. minC
t
) ; (A
r
@ maxB
s
) . maxC
t
= (A
r
. maxC
t
) @ max (B
s
. maxC
t
) ; A∩ minA = A ; A∩ maxA = A ; A∪ minA = A ; A∪ maxA = A ; A @ minA = A ; A @ maxA = A ; ¬¬ A ∩ min ¬ B = A ∪ minB; ¬¬ A ∩ max ¬ B = A ∪ maxB; ¬¬ A ∪ min ¬ B = A ∩ minB; ¬¬ A ∪ max ¬ B = A ∩ maxB; ¬¬ A + min ¬ B = A . minB; ¬¬ A + max ¬ B = A . maxB; ¬¬ A • min ¬ B = A + minB ; ¬¬ A • max ¬ B = A + maxB ; ¬¬ A @ min ¬ B = A @ minB ; ¬¬ A @ max ¬ B = A @ maxB .
A • minB⊆vA ∩ minB⊆vA @ Bmin⊆vA ∪ minB⊆vA + Bmin, A • maxB⊆vA ∩ maxB⊆vA @ Bmax⊆vA ∪ maxB⊆vA + Bmax .
Modal operators over C-IFSs
The two simplest intuitionistic fuzzy modal operators now have the forms
They are analogous to the modal logic operators “necessity” and “possibility” and of their intuitionistic fuzzy analogues. More complex is the form of the extended intuitionistic fuzzy modal operators.
Let α, be ∈ [0, 1] be fixed numbers. For the IFS A, these operators are:
The operator, which is universal for all the above operators, has the form
Algorithms for constructing of C-IFSs
Here, we discuss two different ways for constructing of C-IFSs.
The first of them is based on one of the geometrical interpretations of the standard IFSs that was introduced by V. Atanassova in [6] - see Fig. 4. It has the form of a circle with center O and radius 1. This interpretation is suitable, when there is a periodical process for estimation.

Radar chart interpretation for standard IFSs.
For example, we can define the elements of a universe W as the names of the countries in the world which governments are elected and can put these elements over a circle, ordered, e.g., alphabetically. For each (i-th) element (country, denoted by C i ) and for each procedure of votes of the present country, we determine the two values - the percentage of the people, who voted for the government party/parties (that corresponds to the membership function) and the percentage of the people, who voted for other (not ruling) parties (that corresponds to the non-membership function). The percentage of the people, who had not voted (for different reasons - illness, prison, outside of country, reluctance to vote, invalid vote) corresponds to the degree of uncertainty (indeterminacy). So, for each (j-th) vote, we put two points (mi,j and ni,j) corresponding to the first two degrees over the section OC i (see Fig. 5).

Membership and non-membership degrees for the first and second votes of the i-th country.
Now, for element C i we have a set of intuitionistic fuzzy pairs {〈mi,1, ni,1〉, 〈mi,2, ni,2〉, . . .} (see [5]).
Now, we calculate
Let
The second approach for constructing of C-IFSs is based on the ideas for Vicent Torra’s hesitant fuzzy sets (see [8]) and their extension of Xiuming Chen, Jingming Li, Li Qian and Xiande Hu’s intuitionistic hesitant fuzzy sets (see [7]). Obviously, the name of these sets is incorrect: the word “intuitiuonistic” must stay before “fuzzy”, because it shows the way for the fuzzification of the given set. But, eliminating the unduly complex notation of [7]), this set can be written in the form
Now, for the intuitionistic fuzzy pairs 〈μ (x i ) , ν (x i ) 〉 we can apply the above procedure and in a result, will obtain a C-IFS.
In a next research some other operators over the C-IFS will be introduced and some of their properties will be studied. The relationship between IVIFSs and C-IFS will be discussed.
Acknowledgment
The authors acknowledges support from the project UNITe BG05M2OP001-1.001-0004/28.02.2018 (2018-2023)
