# Gaussian Qualitative Trigonometric Functions in a Fuzzy Circle

Authors: M. Clement Joe Anand; Janani Bharatraj
Journal: Advances in Fuzzy Systems
 (2018)

---

## Abstract

We build a bridge between qualitative representation and quantitative representation using fuzzy qualitative trigonometry. A unit circle obtained from fuzzy qualitative representation replaces the quantitative unit circle. Namely, we have developed the concept of a qualitative unit circle from the view of fuzzy theory using Gaussian membership functions, which play a key role in shaping the fuzzy circle and help in obtaining sharper boundaries. We have also developed the trigonometric identities based on qualitative representation by defining trigonometric functions qualitatively and applied the concept to fuzzy particle swarm optimization usingα-cuts.


---

## Body

## 1. Introduction

The term “Trigonometry” was first coined as the title of a book(Trigonometria), which translates to “triangle’s measurement.” Although trigonometry is now taught with an emphasis on right triangles, its origin goes back to an era where it was used to determine the positions of celestial bodies and the distances between them and to understand the concept of chords in circles. Euclidean geometry, that is, planar geometry, deals with two-dimensional figures. The study of planar geometry provides constructions for planar figures, their properties, and the relationships between points, lines, and figures. The planar figure formed when a point traces a path at a fixed distance with respect to another fixed point called a circle, where the circle divides a plane into interior and exterior regions. Various theorems and properties on circles have been developed since time immemorial.Gradually, researchers have developed theories on intersecting circles, which led to divergent properties between circular triangles and spherical triangles. The introduction of fuzzy sets and systems by Zadeh [1] changed the face of research in trigonometry. Fuzzy trigonometry was introduced by Buckley and Eslami [2], wherein continuous fuzzy numbers and sets were defined using the principle of extension. This method formed the basis of fuzzy trigonometry but failed to satisfy many criteria and identities. Furthermore, Ress [3] developed an approach for mapping standard trigonometric functions into the fuzzy realm. Using these modified fuzzy trigonometric functions, the proofs of a few inverse trigonometric identities, in addition to the standard identities, were given. A breakthrough in the study of fuzzy trigonometry was achieved by Liu et al. [4], with an aim of connecting symbolic cognitive functions to qualitative functions. The basic identities were satisfied, but a few properties could not be achieved. Ghosh and Chakraborty [5] proposed two methodologies for describing a fuzzy circle. The first methodology defines a circle as a set of points which are equidistant from a fixed point. The second methodology describes a circle using three fuzzy points. The definitions using both methods are as follows.(1)
Considering fuzzy numbers plotted along various line segments which pass through a specific pointP~(a,b) which is fuzzy and located at a distance of r~ from the fixed fuzzy point, then the fuzzy circle is defined as(1)C~1=⋁θB~θ,where the distance betweenB~θ and a random point on the support is always fixed.(2)
Considering three fuzzy points, the fuzzy circle is drawn by passing the circle through these three points, and the supremum of the membership values defines the fuzzy circle which was proposed.Technology in today’s world needs advanced level procedures or heuristics which involve few or zero assumptions about the problem being optimized. The need for metaheuristics has many advantages over other algorithms, with one advantage being its ability to search very large candidate solutions spaces. Particle swarm optimization (PSO) is one such metaheuristic method which allows optimization based on iterations, which in turn helps in improving the candidate solution. The solution is improved by creating a population of candidate solutions (i.e., particles) and making them move around in the search-space, taking into consideration their positions and velocities. The movement of the particle is influenced by its local best known position, simultaneously being guided towards the best known position in the search area. These are updated time-to-time for all other particles to form a swarm. PSO was first introduced by Kennedy et al. with an intention of simulating the social behaviour in a flock of birds or a school of fish. Shi and Eberhart [6] developed an optimization technique for fuzzy systems by dynamically adjusting the inertia weight, improving PSO’s performance. Pang et al. [7] utilized fuzzy discrete PSO to solve the Travelling salesman problem., Abdelbar et al. [8] compared the behaviour of the Gaussian and Cauchy membership functions in fuzzy PSO and concluded that the Cauchy membership functions are best suited for fuzzy PSO. It was noted that traditional PSO converges prematurely when applied as a global optimization technique. To prevent this downfall, Anantathanavit and Munlin [9] proposed radius (R-PSO) as an extension of standard PSO. R-PSO regroups the particles into a circle of the given radius and determines the best agent particle of the group. The experiment results proved that R-PSO performed better than traditional PSO when solving multimodal complex problems.To produce wholesome proofs for identities based on fuzzy trigonometric functions, we introduce the Gaussian qualitative trigonometric functions (GQTFs) on a fuzzy circle. The unit fuzzy circle is defined using Gaussian membership function (GMF) partitions. Using the GMF circumference, fuzzy centre, and fuzzy point on the circle, trigonometric functions and their identities are successfully developed. In this paper, we use the advantages of R-PSO and GMFs to define a fuzzy R-PSO based on a fuzzy qualitative circle. Section2 gives the preliminaries and introduces the concept of GQTFs on the fuzzy circle. Section 3 provides insight on the formation of the fuzzy centre and fuzzy point on the circle and provides a broad perspective of the redefined trigonometric functions, their ratio identities, their Pythagorean identities, their Taylor’s series expansions, their differentials, and laws for obtaining the solutions of triangles. Section 4 describes the properties of intersecting fuzzy circles, and Section 5 describes the PSO with fuzzy matrices. Section 6 describes fuzzy R-PSO with GMF, which makes an efficient model for finding the best agent. Finally, Section 7 concludes the paper.


## 2. Prerequisites

The prerequisites required for the developed concept have been taken from various research articles which are cited in the references. Slightly modified versions of the concepts have been given in this section.


### 2.1. Fuzzy Subset

Considering a setE which is either finite or infinite, for every element x in E, the set consisting of all ordered pairs of the form {(x,μA~(x))} is called a fuzzy subset, denoted by A~, in E. Here, μA~(x) is called the membership function. The membership function gives a mapping of the elements in set E to the membership set M.


### 2.2. Zadeh’s Extension Principle

Considering a fuzzy subset of a universal setE, if f:E→Z is a function, then the extension principle generates a function f^ whose membership function is defined over the supremum of all f-1(z)≠∅, that is,(2)μf^z=supf-1z⁡μAx,x∈E.Here, f-1 is the preimage of z in E.


### 2.3. Gaussian Membership Function (GMF)

The GMF is given by(3)Gmfx:c,σ=exp⁡-c-x22σ2,where c and σ are the centre and width of the fuzzy set, respectively. An example of this function is shown in Figure 1. This membership function is also defined in terms of the interval m,j as follows:(4)Gmfx:m,j=exp⁡-j-x22m2.The GMF with fuzzification factorm is given by(5)Gmfx:c,σ,m=exp⁡-c-xm2σm.Figure 1
GMF withc=5 and σ=2.


### 2.4. Arithmetic Operations on GMFs

The Arithmetic Operations on GMFs can be summarised as follows.LettingGmf(x:m,c) and Gmf(x:j,a) be two GMFs, their arithmetic operations are shown in Table 1.Table 1
Arithmetic operations.
Sl.no. Operation Notation Result 1. Sum m , c + j , a m + j , c + a 2 Difference m , c - j , a m - a , c - j 3 Product [ m , c ] × [ j , a ] [ m × j , c × a ] 4 Quotient [ m , c ] ÷ [ j , a ] [ m ÷ a , c ÷ j ]


## 2.1. Fuzzy Subset

Considering a setE which is either finite or infinite, for every element x in E, the set consisting of all ordered pairs of the form {(x,μA~(x))} is called a fuzzy subset, denoted by A~, in E. Here, μA~(x) is called the membership function. The membership function gives a mapping of the elements in set E to the membership set M.


## 2.2. Zadeh’s Extension Principle

Considering a fuzzy subset of a universal setE, if f:E→Z is a function, then the extension principle generates a function f^ whose membership function is defined over the supremum of all f-1(z)≠∅, that is,(2)μf^z=supf-1z⁡μAx,x∈E.Here, f-1 is the preimage of z in E.


## 2.3. Gaussian Membership Function (GMF)

The GMF is given by(3)Gmfx:c,σ=exp⁡-c-x22σ2,where c and σ are the centre and width of the fuzzy set, respectively. An example of this function is shown in Figure 1. This membership function is also defined in terms of the interval m,j as follows:(4)Gmfx:m,j=exp⁡-j-x22m2.The GMF with fuzzification factorm is given by(5)Gmfx:c,σ,m=exp⁡-c-xm2σm.Figure 1
GMF withc=5 and σ=2.


## 2.4. Arithmetic Operations on GMFs

The Arithmetic Operations on GMFs can be summarised as follows.LettingGmf(x:m,c) and Gmf(x:j,a) be two GMFs, their arithmetic operations are shown in Table 1.Table 1
Arithmetic operations.
Sl.no. Operation Notation Result 1. Sum m , c + j , a m + j , c + a 2 Difference m , c - j , a m - a , c - j 3 Product [ m , c ] × [ j , a ] [ m × j , c × a ] 4 Quotient [ m , c ] ÷ [ j , a ] [ m ÷ a , c ÷ j ]


## 3. Proposed Method

Fuzzy Gaussian qualitative coordinates are proposed to facilitate the geometrical interpretation of GQTFs. To achieve this, we first define a fuzzy circle obtained using GMFs.


### 3.1. Gaussian Qualitative Coordinates

Thex- and y-axes are defined for a unit circle. For the sake of simplicity and ease of use, the abscissa and ordinate are first considered as real lines. Figure 2 describes the circumference of the fuzzy unit circle which is obtained by partitioning the circumference into GMFs. The cloud formation, as described by Ghosh and Chakraborty [10], is now refined to obtain sharp boundaries for the circle. The crisp centre of the circle has a neighbourhood which is formed by extending and converging the core area of every GMF towards the centre of the circle. Thus the centre of the derived fuzzy circle will have infinitely many sides depending on the number of partitions. We can henceforth generalise the centre to be an infinitesimal circle with an infinitesimal radius, that is, l.Figure 2
Fuzzy circle with Gaussian membership function.


### 3.2. Fuzzy Centre and Position of a Point

The values ofa and b obtained on the circumference of the fuzzy circle are now extended towards the core of the circle. Without loss of generality, a point on the proposed fuzzy circle can be assumed to be the centre of some GMF. The position of a point can be mapped as shown in Figure 3.Figure 3
Coordinates of a point on the fuzzy circle.


### 3.3. Trigonometric Functions

The graphs of sine, cosine, and tangent functions under the proposed concept have been obtained and verified to be in coherence with the crisp trigonometric functions. Various identities and laws for triangles are presented as follows.


#### 3.3.1. Ratio Identities

(i)
sin ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] /  G m f [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ] (ii)
cos ⁡ G m f [ - δ  δ ] = G m f [ a 0 - b x  b 0 - a x ] / G m f  [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ], (iii)
tan ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] / G m f [ a 0 - b x  b 0 - a x ] .


#### 3.3.2. Pythagorean Identities

(i)
sin 2 ⁡ G m f [ - δ  δ ] + cos 2 ⁡ G m f [ - δ  δ ] = G m f [ 1 - δ  1 + δ ], (ii)
s e c 2  G m f [ - δ  δ ] - t a n 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ], (iii)
csc 2 ⁡ G m f [ - δ  δ ] - c o t 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ].


#### 3.3.3. Laws for Obtaining Solutions to Triangles

(i)
The law of sines gives the relationship between the sines of the angles of a triangle and the lengths of the sides of the triangle:(6)sin⁡Gmfθy-δfθy+δfGmfayby=sin⁡Gmfθx-δfθx+δfGmfaxbx=sin⁡Gmfθz-δfθz+δfGmfazbz. (ii)
The law of cosines relates the sides of a triangle with the cosine of an angle in the triangle:
(1)
G m f [ a x - b y  a y - b x ] 2 = G m f [ c x - b y  c y - b x ] 2 + G m f [ a x - c y  a y - c x ] 2 - 2 G m f [ c x - b y  c y - b x ] × G m f [ a x - c y  a y - c x ] × c o s  ( G m f [ C - δ  C + δ ] ) (2)
G m f [ c x - b y  c y - b x ] 2 = G m f [ a x - c y  a y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ a x - c y  a y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ A - δ  A + δ ] ), (3)
G m f [ a x - c y  a y - c x ] 2 = G m f [ b x - c y  b y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ b x - c y  b y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ B - δ  B + δ ] ) . (iii)
The law of tangents gives the relationship between the sides and tangents of the angles of a triangle:(7)Gmfbx+cx-ay+cyby+cy-ax+cxGmfbx+ax-2cyby+ay-2cx=tan⁡1/2GmfA-B-2δA-B+2δtan⁡1/2GmfA+B-2δA+B+2δ.


#### 3.3.4. Mollweide’s Identity

This identity is a tool for checking the solutions of triangles. It uses all sides and angles of the triangle.(8)Gmfax+bx-2cyay+by-2cxGmfax-byay-bx=cos⁡1/2GmfA-B-2δA-B+2δsin⁡1/2GmfC-δC+δ.


### 3.4. Taylor’s Series Expansions of Trigonometric Functions

The Taylor’s series expansions of the trigonometric functions are as follows:(i)
cos⁡Gmf[xmf-δmfxmf+δmf]=1-Gmf[xmf-δmfxmf+δmf]2/2!+Gmf[xmf-δmfxmf+δmf]4/4!∓⋯Thus,cos⁡Gmf[xmf-δmfxmf+δmf]=Gmfcos⁡xmf-δmf-Δmfcos⁡(xmf-δmf)+Δmf, where Δmf=2∑n=2,4,6,…∞xmf+δmfn+xmf-δmfn/n!(ii)
sin⁡Gmf[xmf-δmfxmf+δmf]=Gmf[xmf-δmfxmf+δmf]-Gmf[xmf-δmfxmf+δmf]3/3!+Gmf[xmf-δmfxmf+δmf]5/5!∓⋯Thus,sin⁡Gmf[xmf-δmfxmf+δmf]=Gmf[sin⁡xmf-δmf-Δ1sin⁡xmf-δmf+Δ1], where Δ1=2∑n=1,3,5,…∞xmf+δmfn+xmf-δmfn/n!(iii)
tanGmf[xmf-δmfxmf+δmf]=Gmf[xmf-δmfxmf+δmf]+1/3Gmf[(xmf-δmf)3(xmf+δmf)3]+(2/5)Gmf[(xmf-δmf)5(xmf+δmf)5]+⋯Thus,tan⁡Gmf[xmf-δmfxmf+δmf]=Gmf[tan⁡xmf-δmftan⁡xmf+δmf].


### 3.5. Differentiation of the Gaussian Trigonometric Functions

The trigonometric functions thus obtained are also fuzzy differentiable. Supposing thatF(x)=f(Gmf[cσ]) is a Gaussian fuzzy trigonometric function, then the derivatives of the function are as follows:First Derivative:F′(x)=f′(Gmf[cσ])×exp⁡-x2/2σ2×-x/σ2.The second and higher order derivatives are obtained by using the chain rule for the above functions.


## 3.1. Gaussian Qualitative Coordinates

Thex- and y-axes are defined for a unit circle. For the sake of simplicity and ease of use, the abscissa and ordinate are first considered as real lines. Figure 2 describes the circumference of the fuzzy unit circle which is obtained by partitioning the circumference into GMFs. The cloud formation, as described by Ghosh and Chakraborty [10], is now refined to obtain sharp boundaries for the circle. The crisp centre of the circle has a neighbourhood which is formed by extending and converging the core area of every GMF towards the centre of the circle. Thus the centre of the derived fuzzy circle will have infinitely many sides depending on the number of partitions. We can henceforth generalise the centre to be an infinitesimal circle with an infinitesimal radius, that is, l.Figure 2
Fuzzy circle with Gaussian membership function.


## 3.2. Fuzzy Centre and Position of a Point

The values ofa and b obtained on the circumference of the fuzzy circle are now extended towards the core of the circle. Without loss of generality, a point on the proposed fuzzy circle can be assumed to be the centre of some GMF. The position of a point can be mapped as shown in Figure 3.Figure 3
Coordinates of a point on the fuzzy circle.


## 3.3. Trigonometric Functions

The graphs of sine, cosine, and tangent functions under the proposed concept have been obtained and verified to be in coherence with the crisp trigonometric functions. Various identities and laws for triangles are presented as follows.


### 3.3.1. Ratio Identities

(i)
sin ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] /  G m f [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ] (ii)
cos ⁡ G m f [ - δ  δ ] = G m f [ a 0 - b x  b 0 - a x ] / G m f  [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ], (iii)
tan ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] / G m f [ a 0 - b x  b 0 - a x ] .


### 3.3.2. Pythagorean Identities

(i)
sin 2 ⁡ G m f [ - δ  δ ] + cos 2 ⁡ G m f [ - δ  δ ] = G m f [ 1 - δ  1 + δ ], (ii)
s e c 2  G m f [ - δ  δ ] - t a n 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ], (iii)
csc 2 ⁡ G m f [ - δ  δ ] - c o t 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ].


### 3.3.3. Laws for Obtaining Solutions to Triangles

(i)
The law of sines gives the relationship between the sines of the angles of a triangle and the lengths of the sides of the triangle:(6)sin⁡Gmfθy-δfθy+δfGmfayby=sin⁡Gmfθx-δfθx+δfGmfaxbx=sin⁡Gmfθz-δfθz+δfGmfazbz. (ii)
The law of cosines relates the sides of a triangle with the cosine of an angle in the triangle:
(1)
G m f [ a x - b y  a y - b x ] 2 = G m f [ c x - b y  c y - b x ] 2 + G m f [ a x - c y  a y - c x ] 2 - 2 G m f [ c x - b y  c y - b x ] × G m f [ a x - c y  a y - c x ] × c o s  ( G m f [ C - δ  C + δ ] ) (2)
G m f [ c x - b y  c y - b x ] 2 = G m f [ a x - c y  a y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ a x - c y  a y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ A - δ  A + δ ] ), (3)
G m f [ a x - c y  a y - c x ] 2 = G m f [ b x - c y  b y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ b x - c y  b y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ B - δ  B + δ ] ) . (iii)
The law of tangents gives the relationship between the sides and tangents of the angles of a triangle:(7)Gmfbx+cx-ay+cyby+cy-ax+cxGmfbx+ax-2cyby+ay-2cx=tan⁡1/2GmfA-B-2δA-B+2δtan⁡1/2GmfA+B-2δA+B+2δ.


### 3.3.4. Mollweide’s Identity

This identity is a tool for checking the solutions of triangles. It uses all sides and angles of the triangle.(8)Gmfax+bx-2cyay+by-2cxGmfax-byay-bx=cos⁡1/2GmfA-B-2δA-B+2δsin⁡1/2GmfC-δC+δ.


## 3.3.1. Ratio Identities

(i)
sin ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] /  G m f [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ] (ii)
cos ⁡ G m f [ - δ  δ ] = G m f [ a 0 - b x  b 0 - a x ] / G m f  [ a x - a 0 2 + a y 2  b x - b 0 2 + b y 2 ], (iii)
tan ⁡ G m f [ - δ  δ ] = G m f [ a y  b y ] / G m f [ a 0 - b x  b 0 - a x ] .


## 3.3.2. Pythagorean Identities

(i)
sin 2 ⁡ G m f [ - δ  δ ] + cos 2 ⁡ G m f [ - δ  δ ] = G m f [ 1 - δ  1 + δ ], (ii)
s e c 2  G m f [ - δ  δ ] - t a n 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ], (iii)
csc 2 ⁡ G m f [ - δ  δ ] - c o t 2  G m f - δ  δ = G m f [ 1 - δ  1 + δ ].


## 3.3.3. Laws for Obtaining Solutions to Triangles

(i)
The law of sines gives the relationship between the sines of the angles of a triangle and the lengths of the sides of the triangle:(6)sin⁡Gmfθy-δfθy+δfGmfayby=sin⁡Gmfθx-δfθx+δfGmfaxbx=sin⁡Gmfθz-δfθz+δfGmfazbz. (ii)
The law of cosines relates the sides of a triangle with the cosine of an angle in the triangle:
(1)
G m f [ a x - b y  a y - b x ] 2 = G m f [ c x - b y  c y - b x ] 2 + G m f [ a x - c y  a y - c x ] 2 - 2 G m f [ c x - b y  c y - b x ] × G m f [ a x - c y  a y - c x ] × c o s  ( G m f [ C - δ  C + δ ] ) (2)
G m f [ c x - b y  c y - b x ] 2 = G m f [ a x - c y  a y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ a x - c y  a y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ A - δ  A + δ ] ), (3)
G m f [ a x - c y  a y - c x ] 2 = G m f [ b x - c y  b y - c x ] 2 + G m f [ a x - b y  a y - b x ] 2 - 2 × G m f [ b x - c y  b y - c x ] × G m f [ a x - b y  a y - b x ] × c o s  ( G m f [ B - δ  B + δ ] ) . (iii)
The law of tangents gives the relationship between the sides and tangents of the angles of a triangle:(7)Gmfbx+cx-ay+cyby+cy-ax+cxGmfbx+ax-2cyby+ay-2cx=tan⁡1/2GmfA-B-2δA-B+2δtan⁡1/2GmfA+B-2δA+B+2δ.


## 3.3.4. Mollweide’s Identity

This identity is a tool for checking the solutions of triangles. It uses all sides and angles of the triangle.(8)Gmfax+bx-2cyay+by-2cxGmfax-byay-bx=cos⁡1/2GmfA-B-2δA-B+2δsin⁡1/2GmfC-δC+δ.


## 3.4. Taylor’s Series Expansions of Trigonometric Functions

The Taylor’s series expansions of the trigonometric functions are as follows:(i)
cos⁡Gmf[xmf-δmfxmf+δmf]=1-Gmf[xmf-δmfxmf+δmf]2/2!+Gmf[xmf-δmfxmf+δmf]4/4!∓⋯Thus,cos⁡Gmf[xmf-δmfxmf+δmf]=Gmfcos⁡xmf-δmf-Δmfcos⁡(xmf-δmf)+Δmf, where Δmf=2∑n=2,4,6,…∞xmf+δmfn+xmf-δmfn/n!(ii)
sin⁡Gmf[xmf-δmfxmf+δmf]=Gmf[xmf-δmfxmf+δmf]-Gmf[xmf-δmfxmf+δmf]3/3!+Gmf[xmf-δmfxmf+δmf]5/5!∓⋯Thus,sin⁡Gmf[xmf-δmfxmf+δmf]=Gmf[sin⁡xmf-δmf-Δ1sin⁡xmf-δmf+Δ1], where Δ1=2∑n=1,3,5,…∞xmf+δmfn+xmf-δmfn/n!(iii)
tanGmf[xmf-δmfxmf+δmf]=Gmf[xmf-δmfxmf+δmf]+1/3Gmf[(xmf-δmf)3(xmf+δmf)3]+(2/5)Gmf[(xmf-δmf)5(xmf+δmf)5]+⋯Thus,tan⁡Gmf[xmf-δmfxmf+δmf]=Gmf[tan⁡xmf-δmftan⁡xmf+δmf].


## 3.5. Differentiation of the Gaussian Trigonometric Functions

The trigonometric functions thus obtained are also fuzzy differentiable. Supposing thatF(x)=f(Gmf[cσ]) is a Gaussian fuzzy trigonometric function, then the derivatives of the function are as follows:First Derivative:F′(x)=f′(Gmf[cσ])×exp⁡-x2/2σ2×-x/σ2.The second and higher order derivatives are obtained by using the chain rule for the above functions.


## 4. Intersection of Fuzzy Circles

We now introduce the concept of intersecting fuzzy circles and study their structure and properties while comparing them with regular intersecting circles.


### 4.1. Circles Touching at Exactly One Point

Case 1.
Two circles have an equal number of partitions, implying that the radii of both circles are equal. Figure4 shows the fuzzified point of intersection.Figure 4
Circles of equal radii touching at a single point.In Figure4, we observe that the centres of both Gaussian curves intersect at a crisp point. The fuzzified areas of the intersection are congruent triangles. The area of each triangle is given by Fta=1/2×(2r)×σ=r×σ. Thus, the total fuzzy area is 2rσ.Case 2.
The number of partitions on the intersecting circles is unequal, as shown in Figure5.Figure 5
Circles of unequal radii touching at a single point.We observe that the crisp point of intersection is obtained where the centres of both Gaussian curves meet. The point of intersection is bounded by triangles whose areas are given by(9)Area  ofΔ1=12×σ1×r1+σ1=σ1r1+σ12Area  ofΔ2=12×σ1×r1-σ1=σ1r1-σ12Area  ofΔ3=12×σ2×r2+σ2=σ2r2+σ22Area  ofΔ4=12×σ2×r2-σ2=σ2r2-σ22.Hence, the total area is =r1σ1+r2σ2. The area obtained is in coherence with the traditional way of determining the area of intersection.The intersection of circles becomes interesting when we consider circles intersecting at two points. In such a case, the area of intersection can be either symmetric or dominate a single circle with a small portion of the second circle as a common area.


### 4.2. Fuzzy Circles Intersecting at Two Points

Case 1.
Two circles have an equal number of partitions. Figure6 shows the intersecting fuzzy circles. From the following diagram, we observe that the crisp points of intersection and the common chord are obtained during the fuzzification process. We obtain congruent triangles in the fuzzy area of intersection. The centres of the Gaussian curves meet to produce the crisp point of intersection. The two points, when joined, produce the crisp common chord for the intersecting circles.Figure 6
Intersecting circles of equal radii.The area of the overlapping region is calculated as follows:(i)
The area of each sector is(r-×θ)/2.(ii)
The length of the arc of the sector is given byr×θ.(iii)
Thus, the area of the fuzzified sector is(r+2×θ)/2.(iv)
The area of the smaller sector is(r-2×θ)/2. Here, r+=r+σ and r-=r-σ.(v)
Supposing the liner+ cuts the smaller radius in the ratio m:n, then m=r+/2. Thus, the area is (r+2×θ1)/4, and the total area is r+2/2×(2θ+θ1).Case 2.
Two circles have an unequal number of partitions, which implies that the radii of both circles are different (Figure7).Figure 7
Intersecting circles of unequal radii.The area of the bigger fuzzy sector is(r2×θ)/2+(r2×θ1)/4=(r2/4)(2θ+θ1).Similarly, the area of the smaller fuzzy sector is(r12/4)(2δ+δ1).Thus, in both cases, we obtain a fuzzy diagram bounded by ten points. The area of the overlapping section is obtained using the following formulas:(10)Areafuzzy=1DisC×J×A×M,C=-Dis+rad1+rad2,J=Dis-rad1+rad2,A=Dis+rad1-rad2,M=Dis+rad1+rad2,where Dis=[O1-O2-(σ1+σ2)O1-O2+(σ1+σ2)] is the distance between the centres and rad1=[r1-σ1r1+σ1] and rad2=[r2-σ2r2+σ2] are the Gaussian radii of the fuzzy circles.


### 4.3. Intersection of Three Fuzzy Circles

Three circles can intersect in many ways, but we consider two special cases wherein we obtain circular triangles and irregular convex quadrilaterals. However, we must check whether an overlapping area exists between the considered circles. To verify, we check if either of the following conditions are satisfied.(i)
A point of intersection of two circles should be a point inside the third circle;(ii)
One of the circles should be engulfed completely inside another circle.Case 1.
Three fuzzy circles with equal numbers of partitions are considered, implying that the radii of all three circles are equal. The overlapping area formed by the three segments and an inner triangle whose sides are the arcs of the three circles is called a circular triangle (Figure8).Figure 8
Circles of equal radii intersecting and forming a circular triangle.The area of the triangle is calculated using Heron’s formula:(11)Areaabc=SS-AS-BS-C,where S=(1/2)(A+B+C), A=Gmf[axay], B=Gmf[bxby], and C=Gmf[cxcy]. The area of the combined overlap is given by (12)Areaseg=∑n=13Rn2sin-1⁡A2Rn-∑n=13A44×Rn2-A2+SS-AS-BS-C.Case 2.
Three fuzzy circles with unequal numbers of partitions will have different radii. In this case, we must recalculate the overlapping segment area using the area of the bigger circle (Figure9).Figure 9
Three intersecting circles of unequal radii.Step 1.
We find the midpoint of the chord in the segment, which is given by(13)xmid=xi12+xi132,ymid=yi12+yi132.Step 2.
We then find the equation of the line joining the midpoint and the centre of the circle, which is given by(14)y=B1-ymidA1-xmid×x-xmidB1-ymidA1-xmid+ymid.Step 3.
Next, we determine the points of intersection of the above line and circle, which are given byXic1,ic2=(a1+b1×m-m×n±δ)/(1+m2), Yic1,ic2=(n+a1×m+b1×m2±m×δ)/(1+m2), where m=(B1-ymid)/(A1-ymid), n=(-xmid×(B1-ymid))/(A1-xmid)+ymid.Step 4.
Finally, we check whether the other two radii of the circles are greater than the distance between the centre and the midpoint.Thus, the area of the bigger segment completely encompassed by the bigger circle is(R12/2)(θ1-sin⁡θ1).Results (i)
The regions of intersection of three equal fuzzy circles have been considered. Hence the common value of radii has been denoted by R. Here R denotes the common radii. (ii)
Given three intersecting fuzzy circles, the lines joining the points of intersection outside the circular triangle satisfyACE=BDF which defines Haruki’s theorem. (iii)
The crisp circle which touches the inner circles of the circular triangle and its neighbouring triangles is either tangent to the innermost circle and internally tangent to the inner circles of the neighbouring triangles or vice versa. Such a circle is called the “Hart’s circle.” We can construct 8 such Hart circles for a given circular triangle.Case 3.
The most complex case is that of an overlapping area which is obtained when the circular segments form the boundary shown in Figure10. In the process, we obtain an irregular convex quadrilateral.Figure 10
Formation of irregular convex quadrilateral.The area of the irregular convex quadrilateral is given byAreaquad=(1/2)P×Q×sin⁡ϕ, where ϕ is the angle between the diagonals P and Q.Hence the combined area of the segments is given by(15)Area=∑n=14Rn2sin-1⁡An2×Rn-∑n=14An44×Rn2-An2.HereAn is the length of the chord joining the points of intersection of the circles. There are four chords which form the edges of the convex quadrilateral. And, Rn is the radii of the circles.


## 4.1. Circles Touching at Exactly One Point

Case 1.
Two circles have an equal number of partitions, implying that the radii of both circles are equal. Figure4 shows the fuzzified point of intersection.Figure 4
Circles of equal radii touching at a single point.In Figure4, we observe that the centres of both Gaussian curves intersect at a crisp point. The fuzzified areas of the intersection are congruent triangles. The area of each triangle is given by Fta=1/2×(2r)×σ=r×σ. Thus, the total fuzzy area is 2rσ.Case 2.
The number of partitions on the intersecting circles is unequal, as shown in Figure5.Figure 5
Circles of unequal radii touching at a single point.We observe that the crisp point of intersection is obtained where the centres of both Gaussian curves meet. The point of intersection is bounded by triangles whose areas are given by(9)Area  ofΔ1=12×σ1×r1+σ1=σ1r1+σ12Area  ofΔ2=12×σ1×r1-σ1=σ1r1-σ12Area  ofΔ3=12×σ2×r2+σ2=σ2r2+σ22Area  ofΔ4=12×σ2×r2-σ2=σ2r2-σ22.Hence, the total area is =r1σ1+r2σ2. The area obtained is in coherence with the traditional way of determining the area of intersection.The intersection of circles becomes interesting when we consider circles intersecting at two points. In such a case, the area of intersection can be either symmetric or dominate a single circle with a small portion of the second circle as a common area.


## 4.2. Fuzzy Circles Intersecting at Two Points

Case 1.
Two circles have an equal number of partitions. Figure6 shows the intersecting fuzzy circles. From the following diagram, we observe that the crisp points of intersection and the common chord are obtained during the fuzzification process. We obtain congruent triangles in the fuzzy area of intersection. The centres of the Gaussian curves meet to produce the crisp point of intersection. The two points, when joined, produce the crisp common chord for the intersecting circles.Figure 6
Intersecting circles of equal radii.The area of the overlapping region is calculated as follows:(i)
The area of each sector is(r-×θ)/2.(ii)
The length of the arc of the sector is given byr×θ.(iii)
Thus, the area of the fuzzified sector is(r+2×θ)/2.(iv)
The area of the smaller sector is(r-2×θ)/2. Here, r+=r+σ and r-=r-σ.(v)
Supposing the liner+ cuts the smaller radius in the ratio m:n, then m=r+/2. Thus, the area is (r+2×θ1)/4, and the total area is r+2/2×(2θ+θ1).Case 2.
Two circles have an unequal number of partitions, which implies that the radii of both circles are different (Figure7).Figure 7
Intersecting circles of unequal radii.The area of the bigger fuzzy sector is(r2×θ)/2+(r2×θ1)/4=(r2/4)(2θ+θ1).Similarly, the area of the smaller fuzzy sector is(r12/4)(2δ+δ1).Thus, in both cases, we obtain a fuzzy diagram bounded by ten points. The area of the overlapping section is obtained using the following formulas:(10)Areafuzzy=1DisC×J×A×M,C=-Dis+rad1+rad2,J=Dis-rad1+rad2,A=Dis+rad1-rad2,M=Dis+rad1+rad2,where Dis=[O1-O2-(σ1+σ2)O1-O2+(σ1+σ2)] is the distance between the centres and rad1=[r1-σ1r1+σ1] and rad2=[r2-σ2r2+σ2] are the Gaussian radii of the fuzzy circles.


## 4.3. Intersection of Three Fuzzy Circles

Three circles can intersect in many ways, but we consider two special cases wherein we obtain circular triangles and irregular convex quadrilaterals. However, we must check whether an overlapping area exists between the considered circles. To verify, we check if either of the following conditions are satisfied.(i)
A point of intersection of two circles should be a point inside the third circle;(ii)
One of the circles should be engulfed completely inside another circle.Case 1.
Three fuzzy circles with equal numbers of partitions are considered, implying that the radii of all three circles are equal. The overlapping area formed by the three segments and an inner triangle whose sides are the arcs of the three circles is called a circular triangle (Figure8).Figure 8
Circles of equal radii intersecting and forming a circular triangle.The area of the triangle is calculated using Heron’s formula:(11)Areaabc=SS-AS-BS-C,where S=(1/2)(A+B+C), A=Gmf[axay], B=Gmf[bxby], and C=Gmf[cxcy]. The area of the combined overlap is given by (12)Areaseg=∑n=13Rn2sin-1⁡A2Rn-∑n=13A44×Rn2-A2+SS-AS-BS-C.Case 2.
Three fuzzy circles with unequal numbers of partitions will have different radii. In this case, we must recalculate the overlapping segment area using the area of the bigger circle (Figure9).Figure 9
Three intersecting circles of unequal radii.Step 1.
We find the midpoint of the chord in the segment, which is given by(13)xmid=xi12+xi132,ymid=yi12+yi132.Step 2.
We then find the equation of the line joining the midpoint and the centre of the circle, which is given by(14)y=B1-ymidA1-xmid×x-xmidB1-ymidA1-xmid+ymid.Step 3.
Next, we determine the points of intersection of the above line and circle, which are given byXic1,ic2=(a1+b1×m-m×n±δ)/(1+m2), Yic1,ic2=(n+a1×m+b1×m2±m×δ)/(1+m2), where m=(B1-ymid)/(A1-ymid), n=(-xmid×(B1-ymid))/(A1-xmid)+ymid.Step 4.
Finally, we check whether the other two radii of the circles are greater than the distance between the centre and the midpoint.Thus, the area of the bigger segment completely encompassed by the bigger circle is(R12/2)(θ1-sin⁡θ1).Results (i)
The regions of intersection of three equal fuzzy circles have been considered. Hence the common value of radii has been denoted by R. Here R denotes the common radii. (ii)
Given three intersecting fuzzy circles, the lines joining the points of intersection outside the circular triangle satisfyACE=BDF which defines Haruki’s theorem. (iii)
The crisp circle which touches the inner circles of the circular triangle and its neighbouring triangles is either tangent to the innermost circle and internally tangent to the inner circles of the neighbouring triangles or vice versa. Such a circle is called the “Hart’s circle.” We can construct 8 such Hart circles for a given circular triangle.Case 3.
The most complex case is that of an overlapping area which is obtained when the circular segments form the boundary shown in Figure10. In the process, we obtain an irregular convex quadrilateral.Figure 10
Formation of irregular convex quadrilateral.The area of the irregular convex quadrilateral is given byAreaquad=(1/2)P×Q×sin⁡ϕ, where ϕ is the angle between the diagonals P and Q.Hence the combined area of the segments is given by(15)Area=∑n=14Rn2sin-1⁡An2×Rn-∑n=14An44×Rn2-An2.HereAn is the length of the chord joining the points of intersection of the circles. There are four chords which form the edges of the convex quadrilateral. And, Rn is the radii of the circles.


## 5. Fuzzy Particle Swarm Optimization (PSO) with Fuzzy Matrices and GMFs

### 5.1. Fuzzy Matrices

A matrix of the formP=[pijμ]m×n where pijμ is the membership degree of the element pij∈P~ is called a fuzzy matrix.In PSO, a finite number of particles define a swarm. The particles move in then-dimensional space with certain velocity. The particle’s velocity and position are updated using the following formula:(16)Vik+1=w⊗Vik⊕c1⊗r·⊗Pik⊖Xik⊕∑h∈ηi,kc2⊗r·⊗ψphPgk⊖Xik,where η(i,k) denotes the k best particles in the neighbourhood of the particle and ψ(ph) denotes the matrix containing the corresponding membership degrees of the particles defined using the GMF.


### 5.2. Particle Position Initialization

The positions of the particles are initialized and represented in the form of a fuzzy matrix. The position matrix is given by(17)Prij=pr11pr12⋯pr1n⋮⋱⋮prn1prn2⋯prnn.The positions of the particles for the fuzzy matrix are generated randomly and satisfy the following conditions:(18)∑j=1nprij=1,Prij∈0,1,i=1,2,…,n.


### 5.3. Particle Velocity Initialization

The velocity matrix is given by(19)Vrij=vr11vr12⋯vr1n⋮⋱⋮vrn1vrn2⋯vrnn,where the velocities of the particles are generated according to the randomly generated position of the particles with conditions (20)∑j=1nvrij=0,i=1,2,…,n.


### 5.4. Normalization of the Particle Position Matrix

The particle position matrix generated using random positions may sometimes not adhere to the constraintPrij∈[0,1]. Hence, we need to normalize the particle position matrix. The first step in normalization involves replacing all negative values in the matrix with zeros. Then, the matrix is transformed into(21)Prij=pr11∑i=1npr1ipr12∑i=1npr1i⋯pr1n∑i=1npr1i⋮⋱⋮prn1∑i=1nprniprn2∑i=1nprni⋯prnn∑i=1nprni.


### 5.5. Choosing the Best Agents withα-levels

The agent particles are now selected based on the value ofα, where α is a real number in the interval [0,1]. Once the agent particles are selected, they are placed on the circumference of the circle of radius α. Furthermore, the global best position of the particle is calculated using the distance formula(22)dprij,prwj=18σ2∑i=1nμprijxi-μprwjxi2+c1-c22;d≤2α.This process is illustrated in Figure11.Figure 11
Neighbourhood for obtaining the global best agent.


## 5.1. Fuzzy Matrices

A matrix of the formP=[pijμ]m×n where pijμ is the membership degree of the element pij∈P~ is called a fuzzy matrix.In PSO, a finite number of particles define a swarm. The particles move in then-dimensional space with certain velocity. The particle’s velocity and position are updated using the following formula:(16)Vik+1=w⊗Vik⊕c1⊗r·⊗Pik⊖Xik⊕∑h∈ηi,kc2⊗r·⊗ψphPgk⊖Xik,where η(i,k) denotes the k best particles in the neighbourhood of the particle and ψ(ph) denotes the matrix containing the corresponding membership degrees of the particles defined using the GMF.


## 5.2. Particle Position Initialization

The positions of the particles are initialized and represented in the form of a fuzzy matrix. The position matrix is given by(17)Prij=pr11pr12⋯pr1n⋮⋱⋮prn1prn2⋯prnn.The positions of the particles for the fuzzy matrix are generated randomly and satisfy the following conditions:(18)∑j=1nprij=1,Prij∈0,1,i=1,2,…,n.


## 5.3. Particle Velocity Initialization

The velocity matrix is given by(19)Vrij=vr11vr12⋯vr1n⋮⋱⋮vrn1vrn2⋯vrnn,where the velocities of the particles are generated according to the randomly generated position of the particles with conditions (20)∑j=1nvrij=0,i=1,2,…,n.


## 5.4. Normalization of the Particle Position Matrix

The particle position matrix generated using random positions may sometimes not adhere to the constraintPrij∈[0,1]. Hence, we need to normalize the particle position matrix. The first step in normalization involves replacing all negative values in the matrix with zeros. Then, the matrix is transformed into(21)Prij=pr11∑i=1npr1ipr12∑i=1npr1i⋯pr1n∑i=1npr1i⋮⋱⋮prn1∑i=1nprniprn2∑i=1nprni⋯prnn∑i=1nprni.


## 5.5. Choosing the Best Agents withα-levels

The agent particles are now selected based on the value ofα, where α is a real number in the interval [0,1]. Once the agent particles are selected, they are placed on the circumference of the circle of radius α. Furthermore, the global best position of the particle is calculated using the distance formula(22)dprij,prwj=18σ2∑i=1nμprijxi-μprwjxi2+c1-c22;d≤2α.This process is illustrated in Figure11.Figure 11
Neighbourhood for obtaining the global best agent.


## 6. Algorithm for Fuzzy R-PSO with GMFs

The proposed algorithm provides the local best position of particles based on the threshold, as given in Figure12.(1)
Start.(2)
Initialize: maximum number of particles in the target neighbourhood:maxp; maximum number of iterations: maxn.(3)
Assign random position and velocity matrices for the particles.(4)
Fori=0 to maxp
(a)
Calculate positions and velocities of the particles as given in the equation.(b)
Normalize the particle position matrix using the equation.(5)
Fix theα-level for the normalized particle position matrix.(6)
If a particle’s position in the normalized matrix is ≤α, then update the first neighbourhood circle.(7)
Calculate the distance between the particles and locate the global best position.(8)
Stop.Figure 12
Neighbourhood obtained usingα-cuts.


## 7. Discussion and Conclusion

The proposed methodology of constructing a fuzzy qualitative circle with GMF provides a smoother graphs of fuzzy trigonometric functions when compared to previously described methods. The graphs of the curves as obtained by Kaufmann and Gupta [11] flatten either the min- or max-curve depending upon the point of inflection, which led to a restriction on the extent of the spread in terms of angular measurements. This angular spread has now been defined in terms of σ which is the width of the GMF. When σ=0, the Gaussian Fuzzy Circle reduces to the conventional crisp circle. The centre of the fuzzy circle is also fuzzy and the radius is a linear combination of fuzzy numbers. Also, we have demonstrated geometrical interpretation of the GQTFs and the representation of a fuzzy circle with n = 25 GMFs. The position of a point on the fuzzy circle has been explained. Trigonometrical identities, Pythagorean identities, and laws for obtaining solutions to triangles (i.e., law of sines, law of cosines, and law of tangents) have been derived. The GMFs on a fuzzy circle and Taylor’s series expansions have been verified. The relationship between qualitative and quantitative trigonometric states is very difficult to describe; however, Gaussian fuzzy qualitative trigonometry helps in describing their relationship. In this paper, we have successfully described the intersection of fuzzy circles when the circle is divided into either equal or unequal numbers of partitions, and a study of circular triangles has been given. The results on circular triangles have also been verified. This research article gives a theoretical interpretation of applying R-PSO inside a fuzzy circle. The R-PSO with fuzzy circle of radius α (developed using α-cuts) reduced the premature convergence of the standard PSO algorithm. By fixing various levels of α, global best position of the particles can be obtained. Furthermore, the development of fuzzy circles with partitions provides a sharper boundary when compared to the existing ideas of fuzzy circles and fuzzy qualitative circles.


### 7.1. Future Direction

The authors intend to implement this idea in designing a navigation stick using the concept of radar. We propose to utilize this concept in designing navigation systems for people with special needs. Further, this research, being an extension to fuzzy qualitative trigonometry, will be implemented in extensive research towards robot kinematics and human movement analysis.


## 7.1. Future Direction

The authors intend to implement this idea in designing a navigation stick using the concept of radar. We propose to utilize this concept in designing navigation systems for people with special needs. Further, this research, being an extension to fuzzy qualitative trigonometry, will be implemented in extensive research towards robot kinematics and human movement analysis.



---

*Source: 8623465-2018-06-03.xml*