Abstract
A complex fuzzy set, characterized by complex-valued membership functions, is a generalization of a fuzzy set. In this paper, we present complex fuzzy arithmetic aggregation (CFAA) operators, complex fuzzy weighted arithmetic aggregation (CFWAA) operators. Based on the partial ordering of complex fuzzy values, we develop complex fuzzy ordered weighted arithmetic aggregation (CFOWAA) operators. Highly pertinent to complex fuzzy operations is the concept of rotational. This concept has been developed for complex fuzzy aggregation operators. We show that CFAA, CFWAA and CFOWAA operators possess the property of rotational invariance. Moreover, based on the relationship between Pythagorean membership grades and complex numbers, these operators are studied under Pythagorean fuzzy values.
Keywords
Introduction
Ramot et al. [1] introduced the concept of complex fuzzy sets (CFS), which is an extension of the concept of fuzzy sets [2]. Recently, the CFS has received more and more scholars’ attention. Ramot et al. [3] then introduced several basic complex fuzzy operations and a method of complex fuzzy inference. Dick [4] discussed complex fuzzy logic based on the concept of rotational invariance, which is an intuitive and desirable property. Hu et al. [5–7] established the orthogonality and parallelity relations of CFSs. Zhang et al. [8] proposed the δ-equalities of CFSs. Alkouri and Salleh [9] defined several distances between CFSs, and discussed complex linguistic variables. Tamir et al. [10] gave a new interpretation of complex membership grade. Tamir et al. [11, 12] then defined a complex fuzzy propositional logic and a first-order logic. Recently, Greenfield et.al [13] developed the interval-valued complex fuzzy sets and interval-valued complex fuzzy operations. They [14] also discussed the property of rotational invariance for interval-valued complex fuzzy operations. CFSs have a relationship with Pythagorean fuzzy sets (PFS), which is developed by Yager [15, 16] as a generalization of Atanssov’s intuitionistic fuzzy sets [17]. Yager and Abbsocv [18] showed that Pythagorean fuzzy grades can be viewed as a subclass of complex numbers called Π - i numbers. This is a set of the upper-right quadrant of the unit disc of complex plane. Dick et al. [19] examined the lattice-theoretic properties of PFSs and then extended them to CFSs.
Information aggregation plays an important role in many different fields of decision making. In the past decades, many aggregation techniques have been developed. The ordered weighted averaging (OWA) operator [20] is one of the well-known aggregation functions. These aggregation techniques have been used in many different fuzzy environments, such as intuitionistic [21–23] and Pythagorean fuzzy environments [24, 25].
However, comparatively little investigation has been made on the aggregation operators in complex fuzzy environment. In Ref. [3], Ramot et al. defined the complex fuzzy aggregation operations with complex weights, which termed as vector aggregation. But the research on complex fuzzy aggregation operations has not been studied in details. In this paper, we study the complex fuzzy aggregation operations and their properties. First, we review some basic concepts of CFSs in Section 2. In Section 3, we study the complex fuzzy weighted arithmetic aggregation (CFWAA) operator on CFSs and its properties. In Section 4, we developed the complex fuzzy ordered weighted arithmetic aggregation (CFOWAA) operator based on the modulus values of the complex numbers, and study its properties. In Section 5, we study these operators in the domain of Π - i numbers. Conclusions are made in Section 6.
Preliminaries
In this section, we review some concepts of the CFSs and complex fuzzy operators. In addition, we also review the rotational invariance of complex fuzzy operator.
Complex fuzzy sets
Ramot et al. [1] generalized the concept of fuzzy set and defined the concept of CFS as follows.
For convenience, let a = r
a
· e
jθ
a
be a complex fuzzy value (CFV), where r
a
and θ
a
are both real-valued, and r
a
∈ [0, 1], |a| = r
a
,
Let a = r a · e jθ a and b = r b · e jθ b be two CFVs, then we have the following operators:
(i) (Algebraic product)
(ii) (Average)
The partial ordering of CFVs is given by the modulus of a complex number, i.e., a ≤ b if and only if |a| ≤ |b|.
Dick [4] introduced the concept of rotational invariance for complex fuzzy operator as follows.
The partial ordering of CFVs is rotationally invariant, i.e., if |a| ≤ |b|, then |a · e jθ | ≤ |b · e jθ |. The algebraic product is not rotationally invariant [4]. But, we have the following.
In this section, we discuss some basic aggregation techniques on CFSs and some of their fundamental characteristics. Ramot et al. [3] defined the aggregation operation on complex fuzzy sets as vector aggregation:
The function v produces an aggregate complex fuzzy set A by operating on the membership grades of A1, A2, …, A
n
for each x ∈ X. For all x ∈ X, v is given by
In Ref. [3], the complex weights are used in Definition 3 for the purpose of maintaining a definition that is as general as possible. In this paper, we also discuss the complex fuzzy aggregation operations with real-valued weights.
For convenience, let a1, a2, …, a
n
be CFVs, based on Definition 3, a complex fuzzy weighted arithmetic aggregation (CFWAA) operator is defined as
If w
i
= 1/n for all i, then the CFWAA operator is the arithmetic average of (a1, a2, …, a
n
), denoted by complex fuzzy arithmetic average (CFAA) operator i.e.,
(1) (Idempotency): If a1 = a2 = … = a
n
then
(2) (Boundedness):
(2). Let
From above example, the CFAA operator does not satisfy the property of monotonicity.
Note that idempotency is concerned with both the phase and amplitude of CFVs. But, boundedness and monotonicity are restricted exclusively to the amplitude of CFVs. They are only concerned with the amplitude of CFVs.
Properties of the complex fuzzy aggregation operators
√ and × represent the corresponding property holds and does not hold respectively.
Based on the partial ordering of CFVs, we proposed a complex fuzzy ordered weighted arithmetic aggregation (CFOWAA) operator as follow:
Especially, when w i = 1/n for all i, then the CFOWAA operator is reduced to the CFAA operator.
Similar to Theorem 2 and 3, we have the following.
Similar to the CFWAA operator, the CFOWAA operator satisfies idempotency and boundedness.
However, the CFOWAA operator does not satisfy the property of commutativity.
Thus we have
Similarly, the CFWAA operator does not satisfy the property of commutativity. However, the CFAA operator satisfies the property of commutativity.
Besides the above properties, the CFOWAA operator has the following.
(1) If w = (1, 0, …, 0). Then
(2) If w = (0, 0, …, 1). Then
(3) If wi = 1,wk = 0, k ≠ i. Then
where aσ(i) is i-th (modulus based) largest of a1, a2,…, an.
Now we give a brief summary of properties of the CFWAA and CFOWAA operators with real-valued weights. The results can be summarized as in Table 1, in which ✓ and × represent the corresponding property holds and does not hold respectively.
In Ref. [18], Pythagorean membership grades can be expressed using complex numbers, called ∏ - i numbers. Essentially, the CFWAA and CFOWAA operators are used to deal with special complex num224 bers. In this section, we consider the CFWAA and CFOWAAoperators in the domain of∏ - i numbers. We first recall the concepts of Pythagorean fuzzy sets (PFS) and ∏ - i numbers.
where YA(x) : X → [0, 1] and NA(x) : X → [0, 1] represent, respectively, the membership degree and nonmembership degree of the element x to set A, such that
for all x ∈ X. The degree of indeterminacy of the element x to set A is complex-valued membership function π A (x) is
For convenience, Zhang and Xu [4] referred to YA(x),NA(x) as a Pythagorean fuzzy number (PFN) simply denoted by a = (Ya,Na), where Ya ∈ [0, 1], Na ∈ [0, 1] and (Ya)2 + (Na)2 ≤ 1.
Yager and Abbasov [18] presented a relation ship between Pythagorean membership grades and complex numbers. They showed that the complex numbers of the form z = r · ejθ with conditions r ∈[0, 1] and θ ∈[0, π/2] can interpretable as Pythagorean membership grades (r cos θ, r sin θ). They referred to these complex numbers as "∏ - i numbers".
As mentioned in [18], we should consider which operation allow us to start with ∏ - i numbers and end with ∏ - i numbers, i.e., which operations are closed under ∏ - i numbers.
It is easy to know that algebraic product of ∏ - i numbers are not closed. Since for two ∏ - i numbers a, b, their algebraic product a · b = ra · rb · e j(θa+θb) is not a ∏ — i number when θa + θb < π/2. But for the average operator, we have following result.
Proof. For any two ∏ — i numbers a = ra · e jθa and b = rb · e jθb , from Theorem 2, we have
Since a, b are two ∏ — i numbers then we have ri cos(θi) ≥ 0 and ri sin(θi) ≥ 0 for all i ∈ {a, b}. Then
Thus is also a ∏ - i number. □
Let us further consider the closeness of ∏ - i numbers under the complex fuzzy arithmetic aggregation perations. First, we have the following.
Assume z1 = r1 cos(θ1) + jr1 sin(θ1), z1 = r2 cos (θ2) + jr2 sin (θ2), …, z1 = rn cos (θn) + jrn sin (θn).
Since z1, z2, …, zn are ∏ - i numbers, then we have ri cos(θi) ≥ 0 and ri sin(θi) ≥ 0 for all i = 1, 2, …, n. Then
From (10)-(12), CFWAA (z1, z2, …, zn) also is a ∏ - i number. □
Similar to Theorem 10, we have the following.
Above Theorems show us that the CFWAA and the CFOWAA operators with real-valued weights are closed under ∏ - i numbers. When PFNs are interpreted as ∏ - i numbers, then we can aggregate these PFNs to a PFN by the CFWAA operator or the CFOWAA operator. Above Theorems show that the CFWAA and the CFOWAA operators are closed on the upper-right quadrant of the unit disc of complex plane.
Consider other quadrants of the unit disc. Let
for k = 1 to 4. D1 is the set of ∏ - i numbers. Plainly, we have the following.
Moreover, similar to Theorems 7 and 8, we have the following.
(1) (Idempotency):
(2) (Boundedness):
for every real-valued weight vector, where z = max i |zi|.
We consider a target location application of the complex fuzzy aggregation operator. The problem statement of the example is taken from Ref. [26]. Let (r1, θ1), (r2, θ2), …, (rn, θn) be n measurements, where ri and θi represent the distance and direction of the target, respectively. We apply the following method supported by complex fuzzy aggregation operator theory to estimate the target position.
Step 1. Transform the measurements into the complex fuzzy values, (a1, a2, …, an) by ai = ri · ejθi/d where
Step 2. Aggregate all the complex fuzzy values by the CFAA, r · ejθ = CFAA(a1, a2, …, an).
Step 3. Transform complex fuzzy value into the measurement (r · d, θ).
Next, we give an example to illustrate the proposed method:
Suppose that four measurements are taken:
((667, 14°), (671, 15°), (667, 15°), (669, 13°)),
where (r, θ) means that the target lies on the θ degrees east of north of the observer and r metres from the observer. Then,
Step 1. Transform the measurements into the complex fuzzy values: (0.249 · ej2π14/360, 0.251 · ej2π15/360, 0.249 · ej2π15/360, 0.25 · ej2π13/360).
Step 2. Utilize the CFAAto aggregate all the complex fuzzy values:
CFAA(a1, a2, a3, a4) = 0.2497 · ej0.2487.
Step 3. Calculate the estimated location: (667.7, 14.2).
Then the target position is estimated at 14.2 degrees east of north of the observer and 667.7 m from the observer.
Conclusion
In this paper, we discussed two complex fuzzy aggregation operators, the CFWAA and the CFOWAA operators. Their main properties for real-valued weights can be summarized as in Table 1. In particular, both the CFWA and the CFOWA operators are rotationally invariant.We specifically showed that the CFWA and the CFOWA operators are closed under ∏ - i numbers.
Of course, we should note that the CFAA, CFWAA and CFOWAA operators are not monotone. In our point of view, operators employed for some applications might be non-monotone. However, we may require some weaker type of monotonicity for these applications. This is a problem left for further investigation.
Finally, except the target location application, complex data are frequently encountered in image processing and signal processing, complex fuzzy aggregation operators in these applications are possible topics for future consideration.
Footnotes
Acknowledgments
The work is supported by the Opening Foundation of Guangxi Colleges and Universities Key Laboratory of Complex System Optimization and Big Data Processing (Grant No. 2017CSOBDP0103).
