Sunteți pe pagina 1din 12
ICNASE’16

International Conference on Natural Science and Engineering (ICNASE’16) March 19-20, 2016, Kilis

Bipolar Neutrosophic Refined Sets and Their Applications in Medical Diagnosis

İrfan Deli Muallim R ıfat Faculty of Education, Kilis 7 Aralık University, Kilis, Turkey

Yusuf Şubaş Kilis Vocational High School, Kilis 7 Aralık University, Kilis, Turkey

ABSTRACT This paper proposes concept of bipolar neutrosophic refined set and its some operations. Firstly, a score certainty and accuracy function to compare the bipolar neutrosophic refined information is defined. Secondly, to aggregate the bipolar neutrosophic refined information, a bipolar neutrosophic refined weighted average operator and a bipolar neutrosophic refined weighted geometric operator is developed. Thirdly, to select the most desirable one(s) in a decision making problem, based on operators and the score, certainty and accuracy functions, a bipolar neutrosophic refined multiple criteria decision-making approach, in which the evaluation values of alternatives on the attributes take the form of bipolar neutrosophic refined numbers, is proposed. Finally, an algorithm is introduced and a numerical example is employed to illustrate the effectiveness and feasibility of this method in medical diagnosis.

Keywords:

Neutrosophic set, bipolar neutrosophic set, bipolar neutrosophic refined set, average

operator, geometric operator, score, certainty and accuracy function, multi-criteria decision making.

1 INTRODUCTION In decision making problems involve data which may contain uncertainties and these data may be dealt with using a wide range of existing theories such as probability theory, fuzzy set theory [24], intuitionistic fuzzy set theory [1], fuzzy multi set theory [15], intuitionistic fuzzy multi set theory [13,14], bipolar fuzzy set theory [2,9] and so on. Then, Smaradanche [17] proposed a completely new set theory, which is called neutrosophic set theory, for dealing with uncertainties. Recently there has been a rapid growth of interest in these theory in [6, 8,10,11,12,18,20,23,26]. Neutrosophic set is a type of important mathematical structure for dealing with uncertainties and there are several types of fuzzy set extensions in neutrosophic set theory, for example, interval valued neutrosophic sets [19], neutrosophic refined-sets(multi-sets) [7,16], etc. The theory of neutrosophic refined-set has applied widely by many researchers as it can be seen in [3,4,21,24]. Bipolar neutrosophic set [5] is another extension of neutrosophic set whose membership functions is different from the above extensions. In 2015, Deli et al. [5] initiated an extension of neutrosophic set named bipolar neutrosophic set. They introduced the concept of bipolar neutrosophic sets which is an extension of the fuzzy sets, bipolar fuzzy sets, intuitionistic fuzzy sets and neutrosophic sets. In this paper, we combine the concept of a bipolar neutrosophic set [5] and neutrosophic multisets [7,16]. The remaining part of this paper is organized as follows. In section 2, we recall some concepts about fuzzy set theory, fuzzy multiset, bipolar fuzzy set, bipolar fuzzy multiset, neutrosophic set, neutrosophic multiset and bipolar neutrosophic set. In section 3, we give definition of bipolar neutrosophic refined set and its some operations with properties. In section 4, we present an application in medical diagnosis via bipolar neutrosophic refined set theory to illustrate the effectiveness and feasibility of this method. In section 5, we conclude this paper.

1121 | Page

www.icnase16.com

International Conference on Natural Science and Engineering (ICNASE’16)

PRELIMINARIES In this section, we give the basic definitions and results fuzzy set theory [24], intuitionistic fuzzy set

theory [1], fuzzy multi set theory [15], intuitionistic fuzzy multi set theory [13,14], bipolar fuzzy set

2

theory [2,9], bipolar fuzzy multiset [20], neutrosophic set [17], bipolar neutrosophic set [5] and

neutrosophic multisets [7,16]. that are useful for subsequent discussions.

Definition 2.1.[24] Let U

be a universe. Then a fuzzy set X

X

X

x

/

x

:

xU

over U

is defined by

where,

X

x

x U , the value

is called membership function of

X and defined by

X

x

X

x

represents the degree of x belonging to the fuzzy set X .

:

U

0,1

.

For each

Definition 2.2. [10] A bipolar fuzzy set B

in U

is an object having the form

B
x
,,
x
,
x
: x
:
xU
B
B

where,

xU
x
:: :
00,10 1 ,
0,1
,
xU
:::
:
1
B
B

1, 0

denotes for negative information.

,

x
x
B

denotes for positive information and

x
x
B

Definition 2.3. [15] Let k

be a positive integer. A multi-fuzzy set

sequences

/
1

A x

x

,

2

x

,

,

i

x

,

,

k

x

:

A

in

xU

U

is a set of ordered

where,

U

i

0,1

,

i 1, 2,

, k .

Definition 2.4. [20] Let k

be a positive integer. A bipolar multi-fuzzy set M

ordered sequences having the form

in

M
x
/
x
,
11

22

x

,

x

,

x

,

,

i

x

,

i

x

,

,

x

,

kk

where,

i

xU

:

0,1

,

i

xU

:

1, 0

,

i 1, 2,

,

k ,

every

i

denotes

 information and i

denotes for negative information.

U

is a set of

x

for

:

xU

positive

Definition 2.5. [1] Let U

follows:

be a universe. An intuitionistic fuzzy set

I

x
,,
x
x
:
I
I

xU

I

on

U

can be defined as

1122 | Page

www.icnase16.com

International Conference on Natural Science and Engineering (ICNASE’16)

where,

I

x

:

U

0,1

and

I

x

:

U

0,1

such that 0

x x

I

I

1

for any

x U .

Definition 2.6. [17] Let U

u . A neutrosophic set (N-set)

be a space of points (objects), with a generic element in U

A

denoted by

an

in U is characterized by a truth-membership function

T

A

,

indeterminacy-membership function

I

A

,

and a falsity- membership function

F

A

.

T

A

x

,

I

A

x

and

F

A

x

are real element of

0,1

. It can be written as

A

uT

,

I

AA

x

,

x

,

There is no restriction on the sum of

T

A

x

,

F

A

I

A

x
:
x

x

I

ET

,

x

,

x

,

F

A

x

AA

0,1

and

F

A

x

, so 0

A

A

Tx

Ix

F

A

x

3

.

Definition 2.7. [4,7] Let E defined as follows:

be a universe. A neutrosophic muti(refined)-set(NM-set) on E can be

A

NM

where

xT

,

12

A

x

,

T

A

x

,

,

T

A

x

,

I

A

x

,

I

A

PP

A

12

x

,

,

I

1

x

,

F

A

x

,

F

2

A

x

,

,

F

P

A

x

:

x

T

12

xT

,

AA

x

,

such that

,

T

A

PP

A

xI

,

12

xI

,

AA

x

,

,

I

xF

,

1

A

xF

,

2

A

x

,

,

F

P

A

x

:

E

0,1

0

AA

ii

Tx

Ix

Fx

A

i

3

for

i 1, 2, 3,

,

P for any

x

X

.

F

P

A

Here,

T

1

xT

,

2

AA

x

,

,

T

P

A

x

,

I

2

AA

1

xI

,

x

,

,

I

P

A

x

and

F

1

A

xF

,

2

A

x

,

,

x

is the truth-membership sequence, indeterminacy-membership sequence and falsity-membership

X

sequence of the element x , respectively. Also, P is called the dimension of NM-set A .

Definition 2.8. [5] A bipolar neutrosophic set (BN-set) A in X

is defined as an object of the form

:

A
xT
,
(
x
),
I
(
x
),
B N
X
1, 0
and
TIF,
,
membership
degree

F

(

x

: X

),

 ), T x , I 1, 0 .

x

,

F

(

x

)

:

x

X

,

where

TIF,

,

The

denotes the truth membership,

indeterminate membership and false membership of an element x X corresponding to a bipolar

neutrosophic set A and the negative membership degree TxIxFx( ), ( ), ( )

membership, indeterminate membership and false membership of an element x X to some implicit

counter-property corresponding to a BN-set A .

denotes the truth

positive

TxIxFx(

(

),

(

)

1123 | Page

www.icnase16.com

International Conference on Natural Science and Engineering (ICNASE’16)

For two BN-set

A

BN

and

B

BN

Then,

xT

,

xT

,

A

),

A

(

x

I

B

),

B

(

x

I

(

(

x

x

),

),

F

F

A

B

(

(

x

x

),

),

T

T

A

B

x

x

,

,

I

I

A

B

x

x

,

,

F

F

A

B

(

(

x

x

)

)

x

x

X

X

1.
B
if and only if
A BN
BN
Tx
Tx
,
Tx
Tx
,
AB
AB
Ix
Ix
,
Ix
Ix
,
AB
AB
Fx
Fx
,
Fx
Fx
for all
x
X .
AB
AB
2.
B
if and only if
A BN
BN
Tx
Tx
,
Tx
Tx
,
AB
AB
Ix
Ix
,
Ix
Ix
,
AB
AB
Fx
Fx
,
Fx
Fx
for any
x
X .
ABAB
3. A
C if and only if
B N
C
xF
,
(
x
),1
I
(
x
),
T
(
x
),
F
(
x
),1
I
(
x
),
T
(
x
)
:
x
X
A BN
A
A
A
A
A
A
4.
B
if and only if
A BN
BN
B
xT
,
(
x
)
T
(
x
),
I
(
x
)
I
(
x
),
F
(
x
)
F
(
x
),
T
(
x
)
T
(
x
),
I
(
x
)
I
(
x
),
A BN
BN
A
B
A
B
A
B
A
B
A
B
Fx
()
Fx
():
xX
A
B
5.
B
if and only if
A BN
BN
B
xT
,
(
x
)
T
(
x
),
I
(
x
)
I
(
x
),
F
(
x
)
F
(
x
),
T
(
x
)
T
(
x
),
I
(
x
)
I
(
x
),
A BN
BN
A
B
A
B
A
B
A
B
A
B
Fx
()
Fx
():
xX
A
B
3. BIPOLAR NEUTROSOPHIC REFINED SETS

In the following, some definition and operations on bipolar neutrosophic set and neutrosophic multisets defined in [5] and [7,16], respectively, we extend this definition to bipolar neutrosophic refined

set.

can be

Definition 3.1. Let E defined as follows:

be a universe. A bipolar neutrosophic refined set (BNR-set) A

on E

1124 | Page

www.icnase16.com

International Conference on Natural Science and Engineering (ICNASE’16)

A

where,

T

I

12

xT

,

AA

12

xI

,

AA

and

xT

,

12

x

,

T

AA

x

I

12

xI

,

AA

F

12

xF

,

AA

x

,

x

,

,

,

,

I

,

T

P

A

x

,

T

12

x

,

T

AA

x

,

P

A

xI

,

12

xI

,

AA

x

F

P

A

xF

,

12

xF

,

AA

,

x

x

,

,

T

P

A

xT

,

12

xT

,

AA

x

,

,

T

P

A

x

:

E

P
,
T
x
,
A
P
,
I
x
,
A
P
,
,
F
x
:
A
0,1
,

x

,

,

I

P

A

xI

,

12

xI

,

AA

x

,

,

I

P

A

x

:

E

0,1

,

F

12

xF

,

AA

such that

x

,

0

Tx

ii

Ix

AA

,

F

P

A

xF

,

12

xF

,

AA

Fx

A

i

3

i

1, 2, 3,

x

,

P

,

,

F

and

P

A

T

1

A

xE

:

x

0,1

Tx

A

2

T

T

12

xT

,

AA

I

12

xI

,

AA

F

12

xF

,

AA

x

,

x

,

x

,

,

,

T

P

A

xT

,

12

xT

,

AA

x

,

I

,

P

A

xI

,

12

xI

,

AA

x

F

P

A

xF

,

12

xF

,

AA

,

x

,

,

I

, T

P

A

,

P

A

x

,

x

F

P

A

,

x

x

P

A

X

x

for any

x

E .

is the truth membership sequence, indeterminacy membership sequence and falsity membership sequence of the element x , respectively. Also, P is called the dimension of BNR-set A .

The set of all bipolar neutrosophic refined sets on E

is denoted by BNRS(E).

Definition 3.2. Let A , B BNRS E . Then,

1. A

is said to be BNR subset of

T

i

x

T

ii

xI

,

A BA

x

I

i

B

B

is denoted by A

BB

,

x

FxFx

A

B

i

i

,

T

i ii

A

x

T

xI

BA

,,

x

I

xF

i

BA

i

x

F

i

B

.

x

2.

A

is said to be BNR equal of B is denoted by A

B

if

if

T

i

A

x

FxFx

A

B

i

i

,

T

i

A

x

T

ii

xI

BA

,,

x

I

xF

i

BA

i

3. The complement of A denoted by

A

c
c

and is defined by

x

F

A

c c
xF
,

12

x

,

F

AA

x

,

,

F

12

PP

A

x

,

F

x

,

F

AA

x

,

,

F

A

T

ii

xI

BA

,

i

B

.

x

x

1125 | Page

www.icnase16.com

x

I

i

B

,

x

International Conference on Natural Science and Engineering (ICNASE’16)

1

T

12

Ix

,1

I

AA

12

xT

,

AA

x

,

x

,

T

,

P

A

,1

I

P

A

x

,1

12

Ix

,1

I

AA

xT

,

12

xT

,

AA

x

,

,

T

P

A

Definition 3.3. Let A , B BNRS E . Then,

B
C

1. The union of A and B is denoted by ABC

and is defined by

C

xT

,

12

x

CC ,

T

x

,

, T

P

C

x

,

T

12

x

,

T

CC

x

,

,

T

P

C

I

12

xI

,

CC

x

,

,

I

P

C

xI

,

12

xI

,

CC

x

,

,

I

P

C

x

,

where

F

12

xF

,

CC

x

,

,

F

T

1

x

T

11

xT

,

C AB

m

ax

x

I

1 11

C

AB

x

m

in

I

xI

,

x

F

1 11

x

min

F

xF

,

C AB

x

,

,

P

C

,

xF

,

12

xF

,

CC

x

,

,

F

P

C

x

T

1

C

I

1

C

F

1

C

x

x

x

m in

m ax

max

T

11

xT

,

AB

x

,

I

11

xI

,

AB

x

F

11

xF

,

AB

x

,

x E and i 1, 2, 3,

,

P .

2. The intersection of A and B

D

xT

,

12

x

DD ,

T

x

,

B
D

is denoted by ABD

and is defined by

, T

P

D

x

,

T

12

x

,

T

DD

x

,

,

T

P

D

x

,

I

12

xI

,

DD

x

,

,

I

P

D

xI

,

12

xI

,

DD

x

,

,

I

P

D

x

,

where

F

12

xF

,

DD

x

,

,

F

T

1

D

x

m in

T

11

xT

,

AB

x

I

1 11

x

m ax

I

xI

,

D AB

x

F

1 11

x

max

F

xF

,

D AB

x

,

,

x E and i 1, 2, 3,

,

P .

P

D

,

xF

,

12

xF

,

DD

x

,

,

F

P

D

x

T

1

D

I

1

D

F

1

D

x

x

x

m ax

m in

min

I

T

11

xT

,

AB

x

11

xI

,

AB

x

F

11

xF

,

AB

x

,

,

x

,1

x

x

X

I

P

A

E

E

Proposition 3.4. Let A ,,B C BNRS E . Then

1. ABB

B
B

AA and ABB

BB
AA

2. A BCBC

ABAB
CC

and A BCBC

ABAB
CC

Proof: The proofs can be easily made.

1126 | Page

www.icnase16.com

x

,

International Conference on Natural Science and Engineering (ICNASE’16)

Theorem 3.5. Let A , B BNRS E . Then, De Morgan's law is valid.

C C
C C
C C
BB
AB
A
B

1. AB

C C
C C
C C
BB
A
A
B
B

2. AB

Proof: A , B BNRS E is given. From Definition 3.2 and Definition 3.3.

Definition 3.6. Let E

T

I

i

A

i

A

ax

ax

1

1

a

a

y

y

is a real Euclidean space

T

ii

T

AA

x

y

,

T

i

A

E n

. Then, a BNR-set A is convex if and only if

ax

1

a

y

T

ii

T

x

AA

y

,

I

ii

I

AA

x

y

,

I

i

A

ax

1

a