International Journal of Fuzzy Logic Systems (IJFLS)

Attribution Non-Commercial (BY-NC)

58 tayangan

International Journal of Fuzzy Logic Systems (IJFLS)

Attribution Non-Commercial (BY-NC)

- Pitch Control of an Aircraft Using Artificial Intelligence
- Outlier modification in Fuzzy Linear Regression with Fuzzy input and output using Tw based arithmetic operations
- Nasa/Tm—2007 214664
- 4_1996-Fuzzy Logic=Computing With Words
- Mathematics is an Edifice
- Web – Based Intelligent Inventory Management System
- S8 MG B.Tech I.T Syllabus
- The Fuzzy Kalman Filter
- curriculum grid
- 9th grade algebra 1 reflection
- Neutrosophic Logic Approaches Applied to ”RABOT” Real Time Control
- Hibrido Ahp,Delphi y Fuzzy
- Paper 26-An Advanced Certain Trust Model Using Fuzzy Logic and Probabilistic Logic Theory
- Regulating Response Time in an Autonomic Computing System: A Fuzzy Control approach
- Bah an 3
- A Fuzzy Ahp Approach for Sele
- Combin Vikram
- Mathematics in the Modern World
- hesitant intuitionistic fuzzy linguistic set
- Interval neutrosophic sets and topology

Anda di halaman 1dari 18

2, April 2012

Tapan Senapati#1, Monoranjan Bhowmik*2, Madhumangal Pal#3

#

Department of Applied Mathematics with Oceanology and Computer Programming, Vidyasagar University, Midnapore -721 102, India.

1

math.tapan@gmail.com 3 mmpalvu@gmail.com

2

mbvttc@gmail.com

ABSTRACT

In this paper, we apply the concept of an interval-valued intuitionistic fuzzy set to ideals and closed ideals in BG-algebras. The notion of an interval-valued intuitionistic fuzzy closed ideal of a BG-algebra is introduced, and some related properties are investigated. Also, the product of interval-valued inntuitionistic fuzzy BG-algebra is investgated.

BG-algebras, interval-valued intuitionistic fuzzy sets (IVIFSs), IVIF-ideals, IVIFC-ideals, homomorphism, equivalence relation, upper(lower)-level cuts, product of BG-algebra.

1. INTRODUCTION

Algebraic structures play an important role in mathematics with wide range of applications in many disciplines such as theoretical physics, computer sciences, control engineering, information sciences, coding theory etc.. On the other hand, in handling information regarding various aspects of uncertainty, non-classical logic (a great extension and development of classical logic) is considered to be more powerful technique than the classical logic one. The non-classical logic, therefore, has now a days become a useful tool in computer science. Moreover, non-classical logic deals with the fuzzy information and uncertainty. In 1965, Zadeh [28] introduced the notion of a fuzzy subset of a set as a method for representing uncertainty in real physical world. Extending the concept of fuzzy sets (FSs), many scholars introduced various notions of higherorder FSs. Among them, interval-valued fuzzy sets (IVFSs) provides with a flexible mathematical framework to cope with imperfect and imprecise information. Moreover, Attanssov [2,6] introduced the concept of intuitionistic fuzzy sets (IFSs) and the interval-valued intuitionistic fuzzy sets (IVIFSs), as a generalization of an ordinary FSs. In 1966, Imai and Iseki [13] introduced two classes of abstract algebra: BCK-algebras and BCIalgebras. It is known that the class of BCK-algebra is a proper subclass of the class of BCIalgebras. In [11, 12] Hu and Li introduced a wide class of abstract algebras: BCH-algebras. They have shown that the class of BCI-algebra is a proper subclass of the BCH-algebras. Neggers and

DOI : 10.5121/ijfls.2012.2203 27

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Kim [20] introduced a new notion, called a B-algebras which is related to several classes of algebras of interest such as BCH/BCI/BCK-algebras. Cho and Kim [8] discussed further relations between B-algebras and other topics especially quasigroups. Park and Kim [21] shown that every quadratic B-algebra on a field X with | X | 3 is a BCI-algebra. Jun et al. [20] fuzzyfied (normal) B-algebras and gave a characterization of a fuzzy B-algebras. Kim and Kim [17] introduced the notion of BG-algebras, which is a generalization of B-algebras. Ahn and Lee [1] fuzzified BGalgebras. Saeid [24] introduced fuzzy topological BG-algebras, interval- valued fuzzy BGalgebras. In the same year Saeid [23] also discussed some results of interval-valued fuzzy BGalgebra. Senapati et al. [26] presented the concept and basic properties of interval-valued intuitionistic fuzzy (IVIF) BG-subalgebras. In this paper, interval-valued intuitionistic fuzzy ideal (IVIF-ideal) of BG-subalgebras is defined. A lot of properties are investigated. The notion of equivalence relations on the family of all interval-valued intuitionistic fuzzy ideals of a BG-algebra is introduced and investigated some related properties. The product of (IVIF) BG-subalgebra has been introduced and some important properties of it are also studied. The rest of this paper is organized as follows. The following section briefly reviews some background on BG-algebra, BG-subalgebra, refinement of unit interval, (IVIF) BG-subalgebras. In Section 3, the concepts and operations of (IVIF-ideal) and interval-valued intuitionistic fuzzy closed ideal (IVIFC-ideal) are proposed and discuss their properties in detail. In Section 4, some properties of IVIF-ideals under homomorphisms are investigated. In Section 5, equivalence relations on IVIF-ideals is introduced. In section 6, product of IVIF BG-subalgebra and some of its properties are studied. Finally, in Section 7, conclusion and scope of for future research are given.

2. PRELIMINARIES

In this section, some definitions are recalled which are used in the later sections. The BG-algebra is a very important branch of a modern algebra, which is defined by Kim and Kim [17]. This algebra is defined as follows. Definition 1 [17] (BG-algebra) A non-empty set X with a constant 0 and a binary operation is said to be BG-algebra if it satisfies the following axioms

Example 1 Let X = {0,1,2,3,4,5} be a set. The binary operation over X is defined as * 0 1 2 3 4 5 0 0 1 2 3 4 5 1 2 0 1 4 5 3 2 1 2 0 5 3 4 3 3 5 4 0 2 1 4 4 3 5 1 0 2 5 5 4 3 2 1 0

This table satisfies all the conditions of Definition 1. Hence, ( X ,,0) is a BG-algebra. A partial ordering on X can be defined by x y if and only if x y = 0 . Now, we

28

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

introduce the concept of BG-subalgebra over a crisp set X and the binary operation in the following. Definition 2 [17] (BG-subalgebra) A non-empty subset S of a BG-algebra X is called a subalgebra of X if x y S , for all x, y S . From this definition it is observed that, if a subset S of a BG-algebra satisfies only the closer property, then S becomes a BG-subalgebra. Definition 3 ( Ideal ) A non-empty subset I of a BG-algebra X is called an ideal of X if

(i ) 0 I (ii ) x y I and y I x I , for any x, y X . An ideal I of a BG-algebra ( X ,,0) is called closed if 0 x I , for all x I .

The IVIFS is a particular type of FS. Ahn and Lee [1] extends the concepts of BG-subalgebra from crisp set to fuzzy set. In the fuzzy set, the membership values of the elements are written together along with the elements. The membership values lie between 0 and 1 . The definition of this set is given below. Definition 4 [28] (Fuzzy set) Let X be the collection of objects denoted generally by x then a fuzzy set A in X is defined as A = {< x, A ( x) >: x X } where A (x) is called the membership value of x in A and 0 A ( x) 1 . Combined the definition of BG-subalgebra over crisp set and the idea of fuzzy set Ahn and Lee [1] defined fuzzy BG-subalgebra, which is defined below. Definition 5 [1] (Fuzzy BG-subalgebra) Let A be a fuzzy set in a BG-algebra. Then A is called a fuzzy subalgebra of X if A ( x y ) min{ A ( x), A ( y )} for all x, y X , where A (x) is the membership value of x in A . Definition 6 [19] (Fuzzy BG-ideal) A fuzzy set A = {< x, A ( x) >: x X } in X is called a fuzzy ideal of X if it satisfies (i) A (0) A ( x) and (ii) A ( x) min{ A ( x y ), A ( y )} for all x, y X . In a fuzzy set only the membership value A ( x) of an element x is considered, and the nonmembership value can be taken as 1 A ( x) . This value also lies between 0 and 1 . But in reality this is not true for all cases, i.e., the non-membership value may be strictly less than 1 . This idea was first incorporated by Attanasov [2] and initiated the concept of intuitionistic fuzzy set defined below. Definition 7 [2] (Intuitionistic fuzzy set) An intuitionistic fuzzy set A over X is an object having the form A = { x, A ( x ), A ( x) : x X } , where A ( x) : X [0,1] and

A ( x) : X [0,1] , with the condition 0 A ( x) + A ( x) 1 for all x X . The numbers A ( x) and A ( x) denote, respectively, the degree of membership and the degree of nonmembership of the element x in the set A . Obviously, when A ( x) = 1 A ( x) for every

x X , the set A becomes a fuzzy set.

Extending the idea of fuzzy BG-subalgebra, Zarandi and Saeid [31] defined intuitionistic fuzzy BG-subalgebra. In intuitionistic fuzzy BG-subalgebra, two conditions are to be satisfied, instead of one condition in fuzzy BG-subalgebra. Definition 8 [27](Intuitionistic fuzzy BG-subalgebra) An IFS A = { x, A ( x), A ( x) : x X } in X is called an intuitionistic fuzzy subalgebra of X if it satisfies the following two conditions,

29

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

The people observed that the determination of membership value is a difficult task for a decision maker. In [29], Zadeh defined another type of fuzzy set called interval-valued fuzzy sets (IVFSs). The membership value of an element of this set is not a single number, it is an interval and this interval is an subinterval of the interval [0,1] . Let D[0,1] be the set of a subintervals of the interval [0,1] . [29] (IVFS) An IVFS A over X is an object having the form A = { x, M A ( x) : x X } , where M A : X D[0,1] , where D[0,1] is the set of all sub intervals of [0,1] . The interval M A (x) denotes the interval of the degree of membership of the element x to the set A , where M A ( x) = [ M AL ( x), M AU ( x )] for all x X . Definition 9 Combining the idea of intuitionistic fuzzy set and interval-valued fuzzy sets, Atanassov and Gargov [3] defined a new class of fuzzy set called interval-valued intuitionistic fuzzy sets (IVIFSs) defined below. Definition 10 [3] (IVIFS) An IVIFS A over X is an object having the form A = { x, M A ( x),

N A ( x) : x X } , where M A : X D[0,1] and N A : X D[0,1] , where D[0,1] is the set of all subintervals of [0,1] . The intervals M A ( x) and N A ( x) denote the intervals of the degree of membership and degree of non-membership of the element x to the set A , where M A ( x) = [ M AL ( x), M AU ( x )] and N A ( x) = [ N AL ( x ), N AU ( x)] , for all x X , with the condition 0 M AU ( x) + N AU ( x) 1 .

Also note that M A ( x) = [1 M AU ( x),1 M AL ( x)] and N A ( x) = [1 N AU ( x),1 N AL ( x)] , where [ M A ( x) , N A (x)] represents the complement of x in A . For the sake of simplicity, we shall use the symbol A = ( M A , N A ) for the IVIFS A = { x, M A ( x), N A ( x) : x X } . The determination of maximum and minimum between two real numbers is very simple, but it is not simple for two intervals. Biswas [7] described a method to find max/sup and min/inf between two intervals or a set of intervals. Definition 11 [7] (Refinement of intervals) Consider two elements D1 , D2 D[0,1] . If

D1 = [ a1 , b1 ] and D2 = [ a2 , b2 ] , then rmax( D1 , D2 ) = [ max( a1 , a2 ), max(b1 , b2 )] which is denoted by D1 r D2 and rmin( D1 , D2 ) = [min ( a1 , a2 ), min (b1 , b2 )] which is denoted by D1 r D2 . Thus, if Di = [ai , bi ] D[0,1] for i=1,2,3,4,....., then we define rsupi ( Di ) =

[supi ( ai ), supi ( bi )] , i.e, ir Di = [ i ai , i bi ] . Similarly, we rinf i ( Di ) = [inf i ( ai ), inf i (bi )] i.e,

ir Di = [ i ai , i bi ] . Now we call D1 D2 iff a1 a2 and b1 b2 . Similarly, the relations D1 D2 and D1 = D2 are defined.

The upper and lower level of an IVIF BG subalgebras is defined in the earlier paper of Senapati et al [28]. Definition 12 [28](IVIF BG-subalgebras) Let A = ( M A , N A ) be an IVIFS in X , where X is a BG-subalgebra, then the set A is IVIF BG-subalgebra over the binary operator if it satisfies the following conditions: (BGS1) M A ( x y ) rmin{M A ( x), M A ( y )}

30

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

(BGS2) N A ( x y ) rmax{N A ( x), N A ( y )} , for all x, y X . Definition 13 [28] Let A = ( M A , N A ) is an IVIF BG-subalgebra of X . For [ s1 , s2 ], [t1 , t2 ]

D[0,1] , the set U ( M A : [ s1 , s2 ]) = {x X | M A ( x) [ s1 , s2 ]} is called upper [ s1 , s2 ] -level of A and L( N A : [t1 , t 2 ]) = {x X | N A ( x) [t1 , t 2 ]} is called lower [t1 , t 2 ] -level of A .

Also the mapping of an IVIFS is defined in [26]. It has some extensive properties in the field of IVIF BG-subalgebras. Definition 14 [28] Let f be a mapping from a set X into a set Y . Let B be an IVIFS in Y . Then the inverse image of B , i.e., f 1 ( B ) = ( X , f 1 ( M B ), f 1 ( N B )) is the IVIFS in X with the membership function and non-membership function respectively are given by f 1 ( M B )( x) = M B ( f ( x)) and f 1 ( N B )( x) = N B ( f ( x)) .

3. IVIFC-IDEALS OF BG-ALGEBRAS

In this section, IVIF-ideal and IVIFC-ideal of BG-algebra are defined and prove some propositions and theorems are presented. In what follows, let X denote a BG-algebra unless otherwise specified. Definition 15 An IVIFS A = ( M A , N A ) in X is called an IVIF-ideal of X if it satisfies: (BGS3) M A (0) M A ( x) and N A (0) N A ( x) (BGS4) M A ( x) rmin{M A ( x y ), M A ( y )} (BGS5) N A ( x) rmax{N A ( x y ), N A ( y )} for all x, y X . Example 2 Consider a BG-algebra X = {0,1,2,3} with the following Cayley table * 0 1 2 3 Let 0 0 1 2 3 1 1 0 3 2 2 2 3 0 1 3 3 2 1 0

A = ( M A , N A ) be an IVIFS in X defined as M A (0) = M A (2) = [1,1] , M A (1) = M A (3) = [ m1 , m2 ] , N A (0) = N A (2) = [0,0] and N A (1) = N A (3) = [ n1 , n2 ] , where [m1 , m2 ] , [n1 , n2 ] D[0,1] and m2 + n2 1 . Then A = ( M A , N A ) is an IVIF-ideal of X .

A closed ideal of IVIF ideal also be derived from the above definition. Definition 16 An IVIFS A = ( M A , N A ) in X is called an IVIFC-ideal of X if it satisfies (BGS4), (BGS5) and (BGS6) with M A (0 x) M A ( x) and N A (0 x) N A ( x) , for all x X . Example 3 Consider a BG-algebra X = {0,1,2,3,4,5} with the table in Example 1 . We define an IVIFS

A = ( M A , N A ) in X by, M A (0) = [0.5,0.7], M A (1) = M A (2) = [0.4,0.6], M A (3) = M A (4) = M A (5) = [0.3,0.4] , N A (0) = [0.1,0.2] , N A (1) = N A (2) = [0.2,0.4] , and N A (3) = N A (4) = N A (5) = [0.4,0.6] . By routine calculations, one can verify that A = ( M A , N A ) is an IVIFC-ideal of X .

31

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Proposition 1 Every IVIFC-ideal is an IVIF-ideal. The converse of above proposition is not true in general as seen in the following example. Example 4 Consider a BG-algebra X = {0,1,2,3,4,5} with the following table * 0 1 2 3 4 5 Let us an IVIFS 0 0 1 2 3 4 5 1 5 0 1 2 3 4 2 4 5 0 1 2 3 3 3 4 5 0 1 2 4 2 3 4 5 0 1 5 1 2 3 4 5 0

A = ( M A , N A ) in X by M A (0) = [0.5,0.7], M A (1) = [0.4,0.6], M A (2) = M A (3) = M A (4) = M A (5) = [0.3,0.4] , N A (0) = [0.1,0.2] , N A (1) = [0.2,0.4] , and N A (2) = N A (3) = N A (4) = N A (5) = [0.4,0.6] . We know that A = ( M A , N A ) is an IVIF-ideal of X . But it is not an IVIFC-ideal of X since M A (0 x) M A ( x) and N A (0 x) N A ( x) .

Corollary 1 Every IVIF BG-subalgebra satisfying (BGS4) and (BGS5) is an IVIFC-ideal. Theorem 1 Every IVIFC-ideal of a BG-algebra X is an IVIF BG-subalgebra of X .

A = ( M A , N A ) is an IVIFC-ideal of X , then for any x X M A (0 x) M A ( x) and N A (0 x) N A ( x) . Now M A ( x y ) rmin{M A (( x y ) (0 y )), M A (0 y )}, by (BGS4) = rmin{M A ( x), M A (0 y )} rmin{M A ( x), M A ( y )}, by (BGS6) and N A ( x y ) rmax{N A (( x y ) (0 y )), N A (0 y )}, by (BGS5) = rmax{N A ( x), N A (0 y )} rmax{N A ( x), N A ( y )}, by (BGS6).

Proof: If Hence the theorem. Proposition 2 If an IVIFS A = ( M A , N A ) in X is an IVIFC-ideal, then for all x X ,

we have

Proof: Straightforward. Theorem 2 An IVIFSs A = {[ M AL , M AU ], [ N AL , N AU ]} in X is an IVIF-ideal of X iff M AL ,

Proof: Since

M AL (0) M AL ( x) ,

M AU (0) M AU ( x) ,

N AL (0) N AL ( x)

and

Let M AL and M AU are fuzzy ideals of X . Let x, y X . Then

M A ( x) = [ M AL ( x), M AU ( x )] [ min{M AL ( x y ), M AL ( y )}, min{M AU ( x y ), M AU ( y )}] = rmin{[ M AL ( x y ), M AU ( x y )], [ M AL ( y ), M AU ( y )]} = rmin{M A ( x y ), M A ( y )}. and N AU are fuzzy ideals of X and x, y X . Then

32

Let N AL

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

N A ( x) = [ N AL ( x ), N AU ( x)] [ max{N AL ( x y ), N AL ( y )}, max{N AU ( x y ), N AU ( y )}] = rmax{[ N AL ( x y ), N AU ( x y )], [ N AL ( y ), N AU ( y )]} = rmax{N A ( x y ), N A ( y )}. Hence, A = {[ M AL , M AU ], [ N AL , N AU ]} is an IVIF ideal of X. Conversely, assume that, A is an IVIF ideal of X . For any x, y X , we have [ M AL ( x), M AU ( x)] = M A ( x)

and

rmin{M A ( x y ), M A ( y )} = rmin{[ M AL ( x y ), M AU ( x y )], [ M AL ( y ), M AU ( y )] = [ min{M AL ( x y ), M AL ( y )}, min{M AU ( x y ), M AU ( y )}] [ N AL ( x ), N AU ( x )] = N A ( x ) rmax{N A ( x y ), N A ( y )} = rmax{[ N AL ( x y ), N AU ( x y )], [ N AL ( y ), N AU ( y )]} = [ max{N AL ( x y ), N AL ( y )}, max{N AU ( x y ), N AU ( y )}].

M AL ( x ) min{M AL ( x y ), M AL ( y )}, M AU ( x ) min{M AU ( x y ), M AU ( y )},

Thus,

The intersection of two IVIFS of X is defined by Atanassov [4] as follows Definition 17 Let A and B be two IVIFSs on X , where

A = {[ M AL ( x), M AU ( x)], [ N AL ( x), N AU ] : x X } and B = {[ M BL ( x), M BU ( x)], [ N BL ( x), N BU ] : x X } Then the intersection of A and B is denoted by A B and is given by A B = { x, M A B ( x), N A B ( x) : x X } = {[ min( M AL ( x), M BL ( x)), min( M AU ( x), M BU ( x))], [ max( N AL ( x), N BL ( x)), max( N AU ( x), N BU ( x))] : x X }

The definition of intersection holds good for IVIF BG subalgebras. Theorem 3 Let A1 and A2 be two IVIF-ideals of a BG-algebras X . Then A1 A2 is also an IVIF-ideal of BG-algebra X. Proof: Let x, y A1 A2 . Then x, y A1 and A2 . Now,

1 2 1 2 1 2 1 2 1 2

1 2 1 2 1 2 1 2 1 2

Also, M A A ( x) = [ M ( A A

1 2 1 1 2

) L ( x ), M ( A A 1

)U ( x )]

1 2

[ min ( M ( A A

1 1

) L ( x y ), M ( A A 1

) L ( y )), min ( M ( A A 1

2 )U

( x y ), M ( A A

1

2 )U

( y ))]

= rmin{M A A ( x y ), M A A ( y )}

2 1 2

and N A A ( x ) = [ N ( A A

1 2 1

) L ( x ), N ( A A 1

2 )U

( x )]

33

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

1 2 1 2

[max( N ( A A

1 1

) L ( x y ), N ( A A 1

) L ( y )), max ( N ( A A 1

2 )U

( x y ), N ( A A

1

2 )U

( y ))]

= rmax{N A A ( x y ), N A A ( y )}.

2 1 2

Hence, A1 A2 is also an IVIF-ideal of BG-algebra X. This proves that the intersection of any two IVIF-ideals of X is again an IVIF-ideal of X . The above theorem can be generalized as Corollary 2 Intersection of any family of IVIF-ideals of X is again an IVIF-ideal of X . In the same way and by the definition of A we can prove the following result. Corollary 3 If A is an IVIF-ideal of X then A is also an IVIF-ideal of X . Lemma 1 Let A = ( M A , N A ) be an IVIF-ideal of X . If x y z then

M A ( x) rmin{M A ( y ), M A ( z )} N A ( x) rmax{N A ( y ), N A ( z )} .

Proof: Let x, y, z X such that x y z . Then ( x y ) z = 0 and thus

M A ( x) rmin{M A ( x y ), M A ( y )} rmin{rmin{M A{(( x y ) z ), M A ( z )}, M A ( y )} = rmin{rmin{M A (0), M A ( z )}, M A ( y )} = rmin{M A ( y ), M A ( z )} and N A ( x ) rmax{N A ( x y ), N A ( y )} rmax{rmax{N A {(( x y ) z ), N A ( z )}, N A ( y )} = rmax{rmax{N A (0), N A ( z )}, N A ( y )} = rmax{N A ( y ), N A ( z )}.

Lemma 2 Let A = ( M A , N A ) be an IVIF-ideal of X . If x y then M A ( x) M A ( y ) and

Proof: Let x, y X such that x y . Then x y = 0 and thus

and

Using induction on n and by Lemma 1 and Lemma 2 we can easily prove the following theorem. Theorem 4 If A = ( M A , N A ) is an IVIF-ideal of X , then (....(( x a1 ) a2 ) ....) an = 0 for any

x, a1 , a2 ,...., an X ,

implies

and

N A ( x) rmax{N A ( a1 ), N A ( a2 ),....., N A ( an )} .

34

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

A = (N

A

A = (M

( x), N A ( x)) in X .

A , and (ii)

X.

Proof: For (i), it is sufficient to show that M A satisfies the second part of the conditions (BGS3) and (BGS5). We have M A (0) = 1 M A (0) 1 M A ( x) M A ( x) . Let x, y X . Then

M A ( x) = 1 M A ( x) 1 rmin{M A ( x y ), M A ( y )} = rmax{1 M A ( x y ),1 M A ( y )} since 1 = [1,1] = rmax{M A ( x y ), M A ( y )}. Hence, A is an IVIF-ideal of BG-subalgebra X .

For (ii), it is sufficient to show that N A satisfies the first part of the conditions (BGS3) and (BGS4). We have N A (0) = 1 N A (0) 1 N A ( x) N A ( x) . Let x, y X . Then

= rmin{N A ( x y ), N A ( y )}.

Hence,

A is an IVIF-ideal of BG-subalgebra

X.

Proof: Suppose that A = ( M A , N A ) is an IVIFC-ideal of X . For [ s1 , s2 ] D[0,1] , obviously,

and

For

[t1 , t 2 ] D[0,1] , obviously, 0 x L( N A : [t1 , t 2 ]) . Let x, y X be such that x y L( N A : [t1 , t 2 ]) and y L( N A : [t1 , t 2 ]) . Then N A ( x ) rmax{N A ( x y ), N A ( y )} [t1 , t2 ] . Then x L( N A : [t1 , t 2 ]) . Hence, L( N A : [t1 , t 2 ]) is closed ideal of X.

Conversely, assume that each non-empty level subset U ( M A : [ s1 , s2 ]) and L( N A : [t1 , t 2 ]) are closed ideals of X . For any x X , let M A ( x) = [ s1 , s2 ] and N A ( x) = [t1 , t 2 ] . Then

x U ( M A : [ s1 , s2 ]) and x L( N A : [t1 , t 2 ]) . Since 0 x U ( M A : [ s1 , s2 ]) L( N A : [t1 , t2 ]) , it follows that M A (0 x) [ s1 , s2 ] = M A ( x ) and N A ( x) [t1 , t 2 ] = N A ( x) , for all x X .

If there exist , X such that M A ( ) < rmin{M A ( ), M A ( )} , then by taking

35

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Again, if there exist , X such that N A ( ) > rmax{N A ( ), N A ( )} , then by taking

1 [t1 ' , t 2 ' ] = [ N A ( ) + rmax{N A ( ), N A ( )}] , it follows that U ( N A : [t1', t2']) and 2 L ( N A : [t1 ' , t 2 ' ]) , but L ( N A : [t1 ' , t 2 ' ]) , which is a contradiction. Hence, L( N A : [t1 ' , t 2 ' ]) is not closed ideal of X. Hence, A = ( M A , N A ) is an IVIFC-ideal of X since it satisfies (BGS3) and (BGS4).

In this section, homomorphism of IVIF BG-subalgebra is defined and some results are studied. Let f be a mapping from the set X into the set Y . Let B be an IVIFS in Y . Then the inverse image of B , is defined as f non-membership

1 1

are given

1

function

respectively

by

f 1 ( M B )( x) = M B ( f ( x))

and

Definition 19 A mapping f : X Y of BG-algebra is called a BG-homomorphism if f ( x y ) = f ( x) f ( y ) , for all x, y X . Note that if f : X Y is a BG-homomorphism, then f (0) = 0 . Theorem 7 [28] Let f : X Y be a homomorphism of BG-algebras. If B = ( M B , N B ) is an IVIF BG-subalgebra of Y , then the preimage f an IVIF BG-subalgebra of X .

1

( B ) = ( f 1 ( M B ), f 1 ( N B )) of B under f is

Theorem 8 Let f : X Y be a homomorphism of BG-algebras. If B = ( M B , N B ) is an IVIFideal of Y , then the preimage f ideal of X . Proof: For all x X , f and

1 1

( B ) = ( f 1 ( M B ), f 1 ( N B )) of B under f in X is an IVIF-

and

f 1 ( N B )( x ) = N B ( f ( x ))

rmax{N B (( f ( x) f ( y )), N B ( f ( y ))} rmax{N B ( f ( x y ), N B ( f ( y ))} = rmax{ f 1 ( N B )( x y ), f 1 ( N B )( y )}.

36

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Hence, f

( B ) = ( f 1 ( M B ), f 1 ( N B )) is an IVIF-ideal of X .

1

( B ) = ( f 1 ( M B ), f 1 ( N B )) of B under f in X is an IVIF-ideal of X .

and N B ( x) = N B ( f ( a )) = f 1 ( N B )(a ) f 1 ( N B )(0) = N B ( f (0)) = N B (0) . Let and for some x, y Y . Then f (a) = x f (b) = y a, b X . Thus

M B ( x) = M B ( f ( a )) = f ( M B )(a ) rmin{ f 1 ( M B )( a b), f 1 ( M B )(b)} = rmin{M B ( f (a b)), M B ( f (b))} = rmin{M B ( f ( a ) f (b)), M B ( f (b))} = rmin{M B ( x y ), M B ( y )}

and

N B ( x ) = N B ( f (a )) = f 1 ( N B )(a )

rmax{ f 1 ( N B )( a b), f 1 ( N B )(b)} = rmax{N B ( f ( a b)), N B ( f (b))} = rmax{N B ( f (a ) f (b)), N B ( f (b))} = rmax{N B ( x y ), N B ( y )}.

Then B = ( M B , N B ) is an IVIF-ideal of Y .

Let IVIFI(X) denote the family of all interval-valued intuitionistic fuzzy ideals of X and let = [ 1 , 2 ] D[0,1] . Define binary relations U and L on IVIFI(X) as

( A, B ) U U ( M A : ) = U ( M B : ) and ( A, B ) L L( N A : ) = L( N B : )

respectively, for A = ( M A , N A ) and B = ( M B , N B ) in IVIFI(X). Then clearly U and L are equivalence relations on IVIFI(X). For any (respectively, [ A]

L

A = ( M A , N A ) IVIFI ( X ) , let [ A]

(respectively, L ), and

denote by IVIFI(X)/ U (respectively, IVIFI(X)/ L ) the collection of all equivalence classes modulo U (respectively, L ), i.e., IVIFI(X)/ U := {[ A] respectively, IVIFI(X)/ L := {[ A]

L U

| A = ( M A , N A ) IVIFI ( X )},

| A = ( M A , N A ) IVIFI ( X )} .

These two sets are also called the quotient sets. Now let T ( X ) denote the family of all ideals of X and let = [ 1 , 2 ] D[0,1] . Define mappings

f ( A) = U ( M A : ) and

37

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

clearly well-defined. Theorem 10 For any = [ 1 , 2 ] D[0,1] , the maps f and g are surjective from IVIFI(X) to T ( X ) {} .

% Proof: Let = [ 1 , 2 ] D[0,1] . Note that 0 = ( 0, 1) is in IVIFI(X), where 0 and 1 are interval-valued fuzzy sets in X defined by 0 ( x) = [0,0] and 1 ( x) = [1,1] for all x X .

% = L(1 : ) = g ( 0) .

Theorem 11 The quotient sets IVIFI(X)/ U and IVIFI(X)/ L are equipotent to T ( X ) {} for every D[0,1] .

Proof: For D[0,1] let f (respectively, g ) be a map from IVIFI(X)/ U (respectively,

IVIFI(X)/ L )

U

to

T ( X ) {}

defined

by

f ([ A]

) = f ( A)

(respectively,

U

= [ B]

and [ A]

L

% % f ([ P ] ) = f ( P ) = U ( P : ) = P ,

U

and

% % g ([ P ] ) = g ( P ) = L( P : ) = P . L

Finally,

L

for

% 0 = ( 0, 1) IVIFI ( X )

we

get

% % f ([0] ) = f (0) = U (0 : ) =

U

and

% % g ([0] ) = g (0) = L(1 : ) = . This shows that f and g are surjective. This completes

the proof. For any D[0,1] , we define another relation R on IVIFI(X) as follows:

( A, B ) R U ( M A : ) L ( N A : ) = U ( M B : ) L ( N B : )

for any A = ( M A , N A ) and B = ( M B , N B ) IVIFI ( X ) . Then the relation R is an equivalence relation on IVIFI(X). Theorem 12 For any D[0,1] , the maps : IVIFI ( X ) T ( X ) { } defined by

% Proof: Let D[0,1] . For 0 = ( 0, 1) IVIFI ( X ) ,

For any H IVIFI ( X ) , there exists H : = ( H , H ) IVIFI ( X ) such that

% % % ( H ) = f ( H ) g ( H ) = U ( H : ) L( H : ) = H .

This completes the proof.

38

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Theorem 13 The quotient sets IVIFI(X)/ R are equipotent to T ( X ) {} for every D[0,1] . Proof:

R

For

D[0,1] ,

define

R

map

: IVIFI ( X )/R R

T ( X ) {}

R

by

([ A] ) = ( A) for all [ A]

any [ A]

R

and [ B ]

. Therefore the maps are injective. Now for

U ( M A : ) L( N A : ) = U ( M B : ) L( N B : ) .

Hence ( A, B ) R , and so [ A]

R R

R

% % ([ H ] ) = ( H ) = f ( H ) g ( H ) = U ( H : ) L( H : ) = H . R Thus is surjective. This completes the proof.

In this section, product of IVIF BG-algebra is defined and some results are studied. Definition 20 Let A = ( M A , N A ) and B = ( M B , N B ) be two IVIFSs of X . The cartesian product A B = ( X X , M A M B , N A N B ) is defined by

( M A M B )( x, y ) = rmin{M A ( x), M B ( y )} and ( N A N B )( x, y ) = rmax{N A ( x), N B ( y )} , where M A M B : X X D[0,1] and N A N B : X X D[0,1] for all x, y X .

Proposition 3 Let A = ( M A , N A ) and B = ( M B , N B ) be IVIF-ideals of X , then A B is an IVIF-ideal of X X . Proof: For any ( x, y ) X X , we have

and

( M A M B )(0,0) = rmin{M A (0), M B (0)} rmin{M A ( x), M B ( y )}, for all x, y X , = ( M A M B )( x, y ) ( N A N B )(0, 0) = rmax{N A (0), N B (0)} rmin{N A ( x), N B ( y )}, for all x, y X , = ( N A N B )( x, y ).

( M A M B )( x1 , y2 ) = rmin{M A ( x1 ), M B ( y1 )} rmin{rmin{M A ( x1 x2 ), M A ( x2 )}, rmin{M B ( y1 y2 ), M B ( y2 )}} = rmin{rmin{M A ( x1 x2 ), M B ( y1 y2 )}, rmin{M A ( x2 ), M B ( y2 )}} = rmin{( M A M B )( x1 x2 , y1 y2 ), ( M A M B )( x2 , y2 )}

39

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

and ( N A N B )( x1 , y2 ) = rmax{N A ( x1 ), N B ( y1 )}

rmax{rmax{N A ( x1 x2 ), N A ( x2 )}, rmax{N B ( y1 y2 ), N B ( y2 )}} = rmax{rmax{N A ( x1 x2 ), N B ( y1 y2 )}, rmax{N A ( x2 ), N B ( y2 )}} = rmax{( N A N B )( x1 x2 , y1 y2 ), ( N A N B )( x2 , y2 )} = rmax{( N A N B )(( x1 , y1 ) ( x2 , y2 )), ( N A N B )( x2 , y2 )}.

Hence, A B is an IVIF-ideal of X X . Proposition 4 Let A = ( M A , N A ) and B = ( M B , N B ) are IVIFC-ideals of X , then A B is an IVIFC-ideal of X X . Proof: Now, ( M A M B )((0,0) ( x, y )) = ( M A M B )(0 x, 0 y )

and ( N A N B )((0,0) ( x, y )) = ( N A N B )(0 x, 0 y )

Hence, A B is an IVIFC-ideal of X X . Lemma 3 If A = ( M A , N A ) and B = ( M B , N B ) are IVIF-ideals of X , then

( A B) = ( M

M B , M A M B ) is an IVIF-ideals of X X .

Proof: Since ( M A M B )( x, y ) = rmin{M A ( x), M B ( y )} . That is, 1 ( M A M B )( x, y ) = rmin{1 M A ( x),1 M B ( y )} . This implies, 1 rmin{1 M A ( x),1 M B ( y )} = ( M A M B )( x, y ) . Therefore, ( M A M B )( x, y ) = rmax{M A ( x), M B ( y )} . Hence,

( A B) = ( M

A

M B , M A M B ) is an IVIF-ideal of X X .

( A B) = ( N

N B , N A N B ) is an IVIF-ideal of X X .

Proof: Since ( N A N B )( x, y ) = rmax{N A ( x), N B ( y )} . That implies, 1 ( N A N B )( x, y ) = rmax{1 N A ( x),1 N B ( y )} . This is, 1 rmax{1 N A ( x),1 N B ( y )} = ( N A N B )( x, y ) . Therefore, ( N A N B )( x, y ) = rmin{N A ( x), N B ( y )} . Hence,

( A B) = ( N

N B , N A N B ) is an IVIF-ideal of X X .

40

By the above two lemmas, it is not difficult to verify that the following theorem is valid.

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

( A B) = ( M

XX .

Lemma 5 If

M B , M A M B ) and

A = (M A , N A )

and

( A B) = ( N

B = (M B , N B )

N B , N A N B ) are IVIF-ideal of

X , then

are IVIFC-ideals of

( A B) = ( M

M B , M A M B ) is an IVIFC-ideals of X X .

That is, 1 ( M A M B )((0,0) ( x, y )) 1 ( M A M B )( x, y ) . This gives, ( M A M B )((0,0) ( x, y )) ( M A M B )( x, y ) . Hence,

( A B) = ( M

If

A

M B , M A M B ) is an IVIFC-ideal of X X .

and

Lemma 6

A = (M A , N A )

B = (M B , N B )

are IVIFC-ideals of

X , then

( A B) = ( N

N B , N A N B ) is an IVIFC-ideals of X X .

Proof: The proof is similar to the proof of the above lemma. The following theorem follows from the above two lemmas. Theorem 15 A = ( M A , N A ) and B = ( M B , N B ) are IVIFC-ideals of X iff

( A B) =

( M A M B , M A M B ) and

( A B) = ( N

N B , N A N B ) are IVIFC-ideal of X X .

[ s1 , s2 ], [t1 , t2 ] D[0,1] , the set U ( M A M B : [ s1 , s2 ]) = {( x, y ) X X | ( M A M B ) ( x, y ) [ s1 , s2 ]} is called upper [ s1 , s2 ] -level of A B and L( N A N B : [t1 , t2 ]) = {( x, y ) X X | ( N A N B )( x, y ) [t1 , t2 ]} is called lower [t1 , t2 ] -level of A B .

Theorem 16 For any IVIFS A = ( M A , N A ) and B = ( M B , N B ) , A B is an IVIFC-ideals of

X X iff the non-empty upper [ s1 , s2 ] -level cut U ( M A M B : [ s1 , s2 ]) and the non-empty lower [t1 , t 2 ] -level cut L ( N A N B : [t1 , t 2 ]) are closed ideals of X X for any [ s1 , s2 ] and [t1 , t 2 ] D[0,1] .

Proof: Let A = ( M A , N A ) and B = ( M B , N B ) are IVIFC-ideals of X , therefore for any ( x, y ) X X ,

( M A M B )((0,0) ( x, y )) ( M A M B )( x, y ) and ( N A N B )((0,0) ( x, y )) ( N A N B )( x, y ) . For [ s1 , s2 ] D[0,1] , if ( M A M B )( x, y ) [ s1 , s2 ] . That is, ( M A M B )((0,0) ( x, y )) [ s1 , s2 ] This implies, (0,0) ( x, y ) U ( M A M B : [ s1 , s2 ]) . Let such that ( x, y ), ( x, y) X X ( x, y ) ( x, y) U ( M A M B : [ s1 , s2 ]) ( x, y) U ( M A M B : [ s1 , s2 ]) . Now, ( M A M B )( x, y ) rmin{( M A M B )(( x, y ) ( x, y )),( M A M B )( x, y )}

and

rmin([s1 , s2 ],[ s1 , s2 ])

41

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

= [ s1 , s2 ].

This implies, ( x, y ) U ( M A M B : [ s1 , s2 ]) . Thus U ( M A M B : [ s1 , s2 ]) is closed ideal of X X . Similarly, L( N A N B : [t1 , t 2 ]) is closed ideal of X X . Conversely, let ( x, y ) X X such that ( M A M B )( x, y ) = [ s1 , s2 ] and ( N A N B ) ( x, y )

= [t1 , t2 ] . This implies, ( x, y ) U ( M A M B : [ s1 , s2 ]) and ( x, y ) L( N A N B : [t1 , t 2 ]) . Since (0,0) ( x, y ) U ( M A M B : [ s1 , s2 ]) and (0,0) ( x, y ) L ( N A N B : [t1 , t 2 ]) (by definition of and closed ideal). Therefore, ( M A M B )((0,0) ( x, y )) [ s1 , s2 ] ( N A N B )((0,0) ( x, y )) [t1 , t 2 ] . This gives, ( M A M B )((0, 0) ( x, y )) ( M A M B ) ( x, y ) and ( N A N B )((0,0) ( x, y )) ( N A N B )( x, y ) . Hence, A B is an IVIFC-ideal of XX .

In the present paper, we have introduced the concept of IVIF-ideal and IVIFC-ideal of BGalgebras are introduced and investigated some of their useful properties. The product of IVIF BGsubalgebra has been introduced and some important properties of it are also studied. In our opinion, these definitions and main results can be similarly extended to some other algebraic systems such as BF-algebras, lattices and Lie algebras. It is our hope that this work would other foundations for further study of the theory of BGalgebras. The results obtained here probably be applied in various fields such as artificial intelligence, signal processing, multiagent systems, pattern recognition, robotics, computer networks, genetic algorithm, neural networks, expert systems, decision making, automata theory and medical diagnosis. In our future study of fuzzy structure of BG-algebra, the following topics may be considered: (i) To find interval-valued intuitionistic (T,S)-fuzzy ideals, where S and T are given imaginable triangular norms; (ii) To get more results in IVIFC-ideals of BG-algebra and their applications; (iii) To find ( , q ) -interval-valued intuitionistic fuzzy ideals of BG-algebras.

8. REFERENCES

[1] [2] [3] [4] [5] [6] [7] S.S. Ahn and H.D. Lee, Fuzzy subalgebras of BG-algebras, Commun. Korean Math. Soc. 19(2) (2004), 243-251. K.T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20 (1986), 87-96. K.T. Atanassov and G. Gargo, Interval-valued intuitionistic fuzzy sets, Fuzzy Sets and Systems, 31(1) (1989), 343-349. K.T. Atanassov, Operations over interval-valued fuzzy set, Fuzzy Sets and Systems, 64 (1994), 159174. K.T. Atanassov, More on intuitionistic fuzzy sets, Fuzzy Sets and Systems, 33(1) (1989), 37-46. K.T. Atanassov, New operations defined over the intuitionistic fuzzy sets, Fuzzy Sets and Systems, 61 (1994), 137-142. R. Biswas, Rosenfeld's fuzzy subgroups with interval valued membership function, Fuzzy Sets and Systems, 63 (1994), 87-90. 42

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012 [8] [9] [10] [11] [12] [13] [14] [15] [16] J.R. Cho and H.S. Kim, On B-algebras and quasigroups, Quasigroups and Related Systems 7 (2001), 16. G. Deschrijver, Arithmetic operators in interval-valued fuzzy theory, Information Sciences, 177 (2007), 2906-2924. D.H. Foster, Fuzzy topological groups, Journal of Mathematical Analysis and Applications, 67(2) (1979), 549-564. Q.P. Hu and X. Li, On BCH-algebras, Mathematics Seminar Notes, 11 (1983), 313-320. Q.P. Hu and X. Li, On proper BCH-algebras, Math Japonica, 30 (1985), 659-661. Y. Imai and K. Iseki, On axiom system of propositional calculi, XIV Proc. Japan Academy, 42 (1966), 19-22. Y.B. Jun, E.H. Roh and H.S. Kim, On fuzzy B-algebras, Czech. Math. J., 52(127) (2002), 375-384. K.H. Kim, Intuitionistic fuzzy ideals of semigroups, Indian J. Pure Appl. Math, 33(4) (2002), 443449. N.K. Jana and M. Pal, Some operators defined over interval-valued intuitionistic fuzzy sets, Fuzzy Logic and Optimization, Editor: S. Nanda, Narosa Publishing House, New Delhi, India, (2006), 113126. C.B. Kim and H.S. Kim, On BG-algebras, Demonstratio Mathematica, 41 (2008), 497-505. W.J. Liu, Fuzzy invariant subgroups and fuzzy ideals, Fuzzy Sets and Systems, 8 (1982), 132-139. R. Muthuraj, M. Sridharan and P.M. Sitharselvam, Fuzzy BG-ideals in BG-algebra, International Journal of Computer Applications, 2(1) (2010), 26-30. J. Neggers and H.S. Kim, On -algebras, Math. Vensik, 54 (2002), 21-29. H.K. Park and H.S. Kim, On quadratic B-algebras, Quasigroups and Related Systems 7 (2001), 67 72. A. Rosenfeld, Fuzzy Groups, Journal of Mathematical Analysis and Applications, 35 (1971), 512517. A.B. Saeid, Some results on interval-valued fuzzy BG-algebra, World Academy of Science, Engineering and Technology, 5 (2005), 183-186. A.B. Saeid, Fuzzy topological BG-algebra, International Mathematical Journal, 6(2) (2005), 121127. A.B. Saeid, Interval-valued fuzzy BG-algebra,, Kangweon-Kyungki Math. Jour., 14(2) (2006), 203215. T. Senapati, M. Bhowmik and M. Pal, Fuzzy closed ideals of B-algebras, International Journal of Computer Science Engineering and Technology, 1(10) (2011), 669-673. T. Senapati, M. Bhowmik and M. Pal, On intuitionistic fuzzy subalgebras in BG-algebras, (Submitted). T. Senapati, M. Bhowmik and M. Pal, Interval-valued intuitionistic fuzzy BG-subalgebras, Journal of Fuzzy Mathematics (Accepted). L.A. Zadeh, Fuzzy sets, Information and Control, 8 (1965), 338-353. L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning. I, Information Sciences, 8 (1975), 199-249. L.A. Zadeh, Toward a generalized theory of uncertainty (GTU)-an outline, Information Sciences, 172 (2005), 1-40. A. Zarandi and A.B. Saeid, Intuitionistic fuzzy ideals of BG-algebras, World Academy of Science, Engineering and Technology, 5 (2005), 187-189.

[17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32]

43

International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.2, April 2012

Authors

Tapan Senapati received his Bachelor of Science degree with honours in Mathematics in 2006 from Midnapore College, Pashim Medinipur, West Bengal, India and Master of Science degree in Mathematics in 2008 from Vidyasagar University, West Bengal, India. His research interest includes fuzzy sets, intuitionistic fuzzy sets, fuzzy algebra and lattice valued triangular norm.

Monoranjan Bhowmik received his M. Sc in Mathematics from Indian Institute of Technology, Kharagpur, West Bengal, India and Ph.D from Vidyasagar University, India in 1995 and 2008 respectively. He is a faculty member of V.T.T. College, Paschim Midnapore, West Bengal, India. His main scientific interest concentrates on discrete mathematics, fuzzy sets, intuitionistic fuzzy sets, fuzzy matrices, intuitionistic fuzzy matrices and fuzzy algebra. Madhumangal Pal received his M. Sc from Vidyasagar University, India and Ph.D from Indian Institute of Technology, Kharagpur, India in 1990 and 1996 respectively. He is engaged in research since 1991. In 1996, he received Computer Division Award from Institution of Engineers (India), for best research work. During 1997 to 1999 he was a faculty member of Midnapore College and since 1999 he has been at the Vidyasagar University, India. His research interest includes computational graph theory, parallel algorithms, data structure, combinatorial algorithms, genetic algorithms, fuzzy sets, intuitionistic fuzzy sets, fuzzy matrices, intuitionistic fuzzy matrices, fuzzy game theory and fuzzy algebra.

44

- Pitch Control of an Aircraft Using Artificial IntelligenceDiunggah olehSCIENCEDOMAIN_STAFF
- Outlier modification in Fuzzy Linear Regression with Fuzzy input and output using Tw based arithmetic operationsDiunggah olehJournal of Computing
- Nasa/Tm—2007 214664Diunggah olehjr-parshanth
- 4_1996-Fuzzy Logic=Computing With WordsDiunggah olehDr. Ir. R. Didin Kusdian, MT.
- Mathematics is an EdificeDiunggah olehjuan72
- Web – Based Intelligent Inventory Management SystemDiunggah olehEditor IJTSRD
- S8 MG B.Tech I.T SyllabusDiunggah olehManu Varghese
- The Fuzzy Kalman FilterDiunggah olehЋирка Фејзбуџарка
- curriculum gridDiunggah olehapi-105903956
- 9th grade algebra 1 reflectionDiunggah olehapi-278143795
- Neutrosophic Logic Approaches Applied to ”RABOT” Real Time ControlDiunggah olehAnonymous 0U9j6BLllB
- Hibrido Ahp,Delphi y FuzzyDiunggah olehBernardo Palma
- Paper 26-An Advanced Certain Trust Model Using Fuzzy Logic and Probabilistic Logic TheoryDiunggah olehEditor IJACSA
- Regulating Response Time in an Autonomic Computing System: A Fuzzy Control approachDiunggah olehJournal of Computing
- Bah an 3Diunggah olehSolly Aryza Lubis
- A Fuzzy Ahp Approach for SeleDiunggah olehakshay chauhan
- Combin VikramDiunggah olehMayank Kumar
- Mathematics in the Modern WorldDiunggah olehMagdalena Tabaniag
- hesitant intuitionistic fuzzy linguistic setDiunggah olehyuanita prastyo
- Interval neutrosophic sets and topologyDiunggah olehMia Amalia
- A Novel Approach of Fuzzy Logic Based Edge Detection for Coronary Angiogram Using Virtual InstrumentationDiunggah olehAnonymous vQrJlEN
- beyond the basic productivity tools lessonDiunggah olehapi-361055469
- 06Diunggah olehIvan Sujana
- Generalized Interval Neutrosophic Soft Set and its Decision Making ProblemDiunggah olehAnonymous 0U9j6BLllB
- A STRATEGIC TOPSIS ALGORITHM WITH CORRELATION COEFFICIENT OF INTERVAL VAGUE SETSDiunggah olehIntegrated Intelligent Research
- FYZZZYYYDiunggah olehUsman Ahmed
- ApplicationofNeuro-FuzzyControllerforSumoRobotcontrol-Erdem2011Diunggah olehFelix Cuevas
- 07A7EC01-NEURALNETWORKSANDFUZZYLOGICDiunggah olehsriksjntu4508
- PreitlDiunggah olehkhushinmakim
- Fuzzy Logic in Database and Information Systems1Diunggah olehSachin Dubey

- Renewable and Sustainable Energy: An International Journal (RSEJ)Diunggah olehrsejjournal
- International Journal of Fuzzy Logic Systems (IJFLS)Diunggah olehijflsjournal
- 420093170 International Journal of Fuzzy Logic Systems IJFLSDiunggah olehijflsjournal
- International Journal of Fuzzy Logic Systems (IJFLS)Diunggah olehijflsjournal
- International Journal of Fuzzy Logic Systems IJFLSDiunggah olehijflsjournal
- International Journal of Control, Automation, Communication and Systems (IJCACS)Diunggah olehijcacs
- INTUITIONISTIC FUZZY ANALYSIS OF SUPPLY CHAIN PERFORMANCE: A FOCUS ON SOLID WASTE IN THE DAR ES SALAAM CITYDiunggah olehijflsjournal
- International Journal of Advanced Information Technology (IJAIT)Diunggah olehAnonymous nSOMdw
- EEIEJDiunggah olehAnonymous UXi3aIT7V
- EFFECTIVE REDIRECTING OF THE MOBILE ROBOT IN A MESSED ENVIRONMENT BASED ON THE FUZZY LOGICDiunggah olehijflsjournal
- IJAMSEDiunggah olehAnonymous FmYYyn5vO
- International Journal of Computer Networks & Communications (IJCNC)Diunggah olehAIRCC - IJCNC
- International Journal of Software Engineering & Applications (IJSEA)- ERA ListedDiunggah olehijflsjournal
- AITIJDiunggah olehaitijjournal
- ACIIDiunggah olehacii journal
- The International Journal of Computational Science, Information Technology and Control Engineering (IJCSITCE)Diunggah olehAnonymous BI4sNIkiNw

- John L. Pollock-Technical Methods in Philosophy (Focus Series) (1990)Diunggah olehcolorhazer
- Ma103 DefinitionsDiunggah olehLewis Macdonald
- Signal Detection Theory and PsychophysicsDiunggah olehSnikeron
- Wonham_SCDES2009Diunggah olehKyogbsy
- MarleDiunggah olehSrinivas Rau
- I Sem CourseInfo 2011 With QuestionsDiunggah olehSandipan Saha
- mathematical foundationDiunggah olehgermanschultze
- VectorsDiunggah olehSignor Plaban Gogoi
- Finite FieldsDiunggah olehLucasStinchcombe
- Peano.pdfDiunggah olehmohamed
- ch10Diunggah olehjaansyda
- Ch 1-Relations and FunctionsDiunggah olehAnshuman Singh
- Ch. 7 Equivalence RelationsDiunggah olehberserker
- Abstract and Linear Algebra - ConnelDiunggah olehjoaquin_Z619
- CS201SEB Discrete MathematicsDiunggah olehMouseManX
- STLabManual 2013-14Diunggah olehsandesh87_scribd
- PPR2006-Resonance the Work of Lagrange in Number Theory and AlgebraDiunggah olehchirpychirpy
- 52996443-Maths-NCERTDiunggah olehKarthik Ragunath
- Relation Function 1Diunggah olehsgv56fu530p
- Blm 436 Lecture 3Diunggah olehDr-Maqsood Hayat
- Assignment 5Diunggah oleh蘇耘寬
- Metric SpacesDiunggah olehaaronbjarke
- Maths Xii Mll Study Material 2016 17Diunggah olehCraste Craze
- Q WohldefiniertDiunggah olehMiranda
- Hypermesh Quality TutorialsDiunggah olehapi-3717939
- 321Diunggah olehAlberto García
- realanal.pdfDiunggah olehLama Atasi
- Bhattacharya P.B., Et Al. Basic Abstract Algebra (2ed., CUP 1994)(ISBN 0521466296)(P.370,412 sDiunggah olehabraksa
- Topological SemigrupDiunggah olehDea Alvionita Azka
- Maths and PhysicsDiunggah olehSaiSpan