Professional Documents
Culture Documents
Lofti Zadeh(1965)
La lgica difusa es una extensin de la lgica convencional (Booleana), para manear el
concepto de verdad parcial de los predicados ! sentencias am"iguos o vagos ! #ue va ha
permitir el tratamiento de la imprecisin ! el ra$onamiento aproximado%
Ejemplos:
&etermine el valor de verdad de los siguientes predicados !'o sentencias(
) La temperatura corporal es alta%
) *onduc+a mu! r,pido%
) *erca de 5- a.os%
) /0meros menores #ue 1%
) 2ente oven%
Conjunto(*l,sico).- *oleccin de o"etos con alguna propiedad en com0n%
Ejemplo. A: alumnos altos
&efinimos su funcin de pertenencia como( { } ( -,1
A
U
1 , 13-
( )
- , 13-
A
si x
x
si x
=
<
( )
A
x
es el grado de pertenencia de x al conunto A%
1
Grfi!mente:
A 4 513- , 6--7
E"tensi#n ! onjuntos $ifusos
Conjunto Difuso.- Llamamos conunto difuso A en 8 a una funcin
( 5-,17
A
U
, #ue
operacionali$a un predicado o sentencia am"iguo, asignando a cada elemento x del
conunto 8 su grado de pertenencia al conunto A%
Sim%oli&!i#n:
{ } ( , ( )) '
A
A x x x U =
&onde( 8 es llamado universo de discurso%
A
= < <
<
6
/ota%: la transicin de la pertenencia o no:pertenencia de un elemento, es gradual, ! esta
transicin est, caracteri$ada por las funciones de pertenencia%
Ejemplo. ;( /0meros cercanos a 9%
2r,ficamente se puede expresar como(
1
Cl!ses $e Funiones $e 'erteneni!
Funi#n (ri!n)ul!r:
- , 1
1
,1 5
5 1
(15 9)
9
, 5 9
9 5
- , 9
x
x
x
trimf
x
x
x
Funi#n (r!pe&oi$!l:
- , 1
1
,1 5
5 1
(15 3 <) 1 , 5 3
<
, 3 <
< 3
- , <
x
x
x
trapmf x
x
x
x
Funi#n Si)moi$!l:
6( 9)
1
(6, 9)
1
x
sigmf
e
=
+
9
Funi#n G!usssi!n!:
6
5
( )
6
(6, 5)
x
gaussmf e
=
) =n una funcin gaussiana el par,metro 6 expresa el ancho ! 5 el centro%
Definiiones %si!s so%re onjuntos $ifusos
; continuacin se presentan una serie de definiciones ",sicas de utilidad en el maneo
de los conuntos difusos
Conjunto *!+o.- >e dice #ue un conunto difuso ; es vac+o, ! se escri"e ; 4 ?, si ! slo si
( ) -,
A
x x U =
I)u!l$!$ $e onjuntos.- >e dice #ue dos conuntos difusos ; ! B definidos so"re el mismo
universo de discurso 8 son iguales, ! se escri"e ; 4 B si ! slo si
( ) ( ),
A B
x x x U =
Inlusi#n $e onjuntos.- >e dice #ue un conunto difuso ; definido en 8 est, incluido en
B, si ! slo si
( ) ( ),
A B
x x x U
Conjunto ,orm!l.- >e dice #ue un conunto difuso ; definido en 8 es normal si ! slo si
max ( ) 1,
A
x U
x x U
=
Soporte $e Conjunto $ifuso.- >e define como( { } ' ( ) -
A
SuppA x U x = >
/ota%:
) La representacin de un conunto difuso depende del predicado o sentencia a
representar ! del contexto en el #ue se va ha utili$ar%
) >e pueden utili$ar distintas funciones de pertenencia para caracteri$ar la misma una
misma proposicin%
5
-per!iones on Conjuntos Difusos
) &ados dos conuntos difusos ; ! B de 8, la funcin de pertenencia de la unin de
los conuntos ; ! B se define como(
{ } ( ) max ( ), ( )
A B A B
x x x
=
) &ados dos conuntos difusos ; ! B de 8, la funcin de pertenencia de la
interseccin de los conuntos ; ! B se define como(
{ } ( ) min ( ), ( )
A B A B
x x x
=
) &ado el conunto difuso ; de 8, la funcin de pertenencia del complemento de ; se
define como(
( ) 1 ( )
A A
x x
=
/ota%: =stas 1 operaciones en forma general son definidas por las @:normas , >:normas !
*omplemento difuso%
Ejemplo: &ados los conuntos difusos ; ! B en la figura siguiente(
Aallar
B B C% A B A B A
Solui#n: A B
6
A B
C A
3
.!ri!%les lin)/+sti!s
=s una varia"le cu!os valores son pala"ras o sentencias #ue se enmarcan en un lenguae
predeterminado% *ada una de estas pala"ras o tDrminos es llamado eti#ueta lingE+stica ! se
representa por medio de un conunto difuso definido so"re el universo de discurso de la
varia"le%
Ejemplo. Faria"le( @emperatura del cuerpo humano%
Falores ( Baa, /ormal, ;lta%
'roposiiones $ifus!s
>on de la forma(
( p X es A
,
( q Y es B
&onde G e H son varia"les lingE+sticas, ; ! B son conuntos difusos%
-per!$ores l#)ios
&adas las proposiciones lgicas
( p X es A
!
( q Y es B
, se definen los operadores
lgicos de la siguiente forma(
A,D(H)(
min( ( ), ( ))
A B
p q x y =
-0(I)(
max( ( ), ( ))
A B
p q x y =
,-((/o)(
1 ( )
A
p x = :
<
(1E,(=ntonces)(
min( ( ), ( )) %%%
( )% ( ) %%%
min(1 ( ) ( ),1) %%%
1 ( ) ( ) ( ) %%%
A B
A B
A B
A A B
p q x y Mandani
p q x y Larsen
p q x y Lucasiewick
p q x x y Reichenbach
=
=
= +
= +
/ota%: La implicaciones de LucasieJicK ! Leichen"ach son compati"les con la lgica
cl,sica%
Infereni! Difus!
La operacin de implicacin se puede expresar en la forma(
p # ( si (G es ;) entonces (H es B)
donde G e H son varia"les lingE+sticas, ; ! B conuntos difusos%
=emplos(
>i la presin es "aa entonces el volumen es grande%
>i el tomate es roo entonces est, maduro%
>i la velocidad es alta entonces frenar ligeramente%
2o$us 'onens Gener!li&!$o
C
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
C
Si X es A entnces Y es B
X es A
Y es B
donde ;, B, ;M , BM son conuntos difusos%
9
2o$us (ollens Gener!li&!$o
C
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
C
Si X es A entnces Y es B
Y es B
X es A
donde ;, B, ;M , BM son conuntos difusos%
SIS(E2AS DIFUS-S
=s la aplicacin de la inferencia difusa a la automati$acin de procesos%
2o$elo:
Elementos:
Fu&&ifi!$or. ;signa un grado de pertenencia en cada uno de los conuntos difusos
considerados para cada varia"le de entrada numDrica%
Defu&&ifi!$or. ;signa un valor numDrico a la varia"le de salida, a partir del conunto
difuso o"tenido en el mecanismo de inferencia, existen varias opciones tales como(
=l *entroide%: Letorna el centro de gravedad de la regin%
=l Bisector%: Letorna el valor #ue divide en dos partes iguales el ,rea de la regin%
1-
Base de conocimiento
Nnferencia
&ifusa
Ou$$ificador &efu$$ificador
=ntrada >alida
=n Patla" tenemos adem,s(
som%: Letorna el menor n0mero real donde el conunto difuso alcan$ su m,ximo valor%
mom%: Letorna el n0mero real promedio donde el conunto difuso alcan$ su m,ximo valor%
lom%: Letorna el ma!or n0mero real donde el conunto difuso alcan$ su m,ximo valor%
3!se $e Conoimiento. =s la experiencia del ser humano recogida ! almacenada en
conuntos difusos ! en un conunto de n reglas del tipo si,Q entonces%
(ipos $e Sistem!s
Sistem!s 'uros. Roseen como entrada ! salida conuntos difusos, esto es no poseen
fu$$ificador ! defu$$ificador%
Las reglas usadas son de la forma(
>i G1 es ;1 ! Q Gn es ;n entonces H es B
donde G1 ,Q Gn , H son varia"les lingE+sticas ! ;1 ,Q ;n , B son conuntos difusos%
11
Sistem!s 2!m$!ni. =st, compuesto por un fu$$ificador, un defu$$ificador en su "ase de
conocimiento%
*aracter+sticas%
Rueden ser usadas en aplicaciones del mundo real, dado #ue usan entradas ! salidas
reales%
Rroporcionan un marco natural para la inclusin de conocimiento experto en forma
de reglas lingE+sticas%
Roseen li"ertad para elegir las interfaces de fu$$ificacin ! defu$$ificacin%
Las reglas usadas son de la forma(
>i G1 es ;1 ! Q Gn es ;n entonces H es B
donde G1 ,Q Gn , H son varia"les lingE+sticas ! ;1 ,Q ;n , B son conuntos difusos%
Sistem!s (!4!)i - Su)eno. >us entradas son varia"les lingE+sticas ! su salida una funcin
de las varia"les de entradas%
Las reglas usadas son de la forma(
>i G1 es ;1 ! Q Gn es ;n entonces H4p1G1 S QS pnGn
donde G1 ,Q Gn , H son varia"les lingE+sticas ! p1 ,Q pn par,metros reales%
'roe$imiento p!r! l! re!i#n $e un sistem! $ifuso
1% Ndentificacin de varia"les de entrada ! salida%
6% &eterminacin de conuntos difusos%
1% >eleccin del mDtodo de defu$$ificacin%
9% *reacin de las reglas%
5% &ise.o del mecanismo de inferencia%
6% =valuacin ! uso del sistema%
Ejemplo
16
>ean las varia"les de entrada G( @iempo con valor lluvioso, H( F+a con valor li"re ! la
varia"le de salida Z( Felocidad con valor moderada
*onsideremos los conuntos difusos ;( lluvioso , B( li"re ! *( moderada%
La proposicin lgica(
>i el tiempo es lluvioso ! la v+a es li"re, entonces la velocidad es moderada%
=l grado de pertenencia para valores de t 4 16 ! v 4 5 en los respectivos conuntos difusos
son(
(16) -%<
A
=
,
(5) -%5
B
=
La operacin lgica ;/& ser+a
(16) (16) -%5
A B
A!" =
(16) (16)
-%5
(-%5 , )
A B
A!" #!$%!&#S 'e(cidad es mderada
'e(cidad es mderada
min 'e(cidad es mderada