03/05/2012

Programacin de Sistemas Adaptativos

1

mE(x)

mN(x)

Unidad 3: Sistemas inteligentes

100%

Elementos

de la LD

Conjuntos difusos Funciones de membresa Variables lingsticas

Razonamiento

aproximado

Operadores lgicos difusos Inferencia con LD

Sistemas

difusos

Programacin de Sistemas Adaptativos: Lgica Difusa

03/05/2012

La

lgica clsica se basa en proposiciones y predicados que son verdaderos o falsos.

p=1 p=0

La

lgica difusa maneja distintos grados de verdad.

p [0,1] Presentada por Zadeh en 1965.

Programacin de Sistemas Adaptativos: Lgica Difusa

Control

de:

Lavadoras Automviles Metro subterrneo

Estabilizacin

de imgenes

Programacin de Sistemas Adaptativos: Lgica Difusa

03/05/2012

Tambin

maneja una base de conocimiento con reglas de la forma:

IF <proposicin difusa>THEN <proposicin difusa>

Programacin de Sistemas Adaptativos: Lgica Difusa

Ejemplos:

Si la velocidad es baja, entonces aplica ms fuerza al acelerador. Si la cantidad de aire es pequea y se ha incrementado sustancialmente, entonces incrementa la tensin de la superficie sustancialmente.

Programacin de Sistemas Adaptativos: Lgica Difusa

03/05/2012

Para

comprender mejor estas reglas y el razonamiento sobre ellas, veremos

Conjuntos difusos Variables lingsticas

Programacin de Sistemas Adaptativos: Lgica Difusa

Al

igual que las variables lingsticas, permiten relacionar cantidades exactas (ntidas) con el conocimiento de un experto (difuso, a menudo).
Conjuntos ntidos Conjuntos difusos
Fuente: http://en.wikipedia.org/wiki/File:F uzzy_logic_temperature_en.svg

Programacin de Sistemas Adaptativos: Lgica Difusa

03/05/2012

En

la teora de conjuntos convencional, un elemento

O pertenece (completamente) al conjunto O no pertenece (en nada) al conjunto
Guapos Johnny Bravo Feos

johnny G johnny F

Programacin de Sistemas Adaptativos: Lgica Difusa

Los

conjuntos difusos permiten la pertenencia parcial

Manejada a travs de grados de membresa

Ejemplo:

Johnny pertenece en 0.65 a G y en 0.35 a F. G = {(johnny, 0.65)}, F = {(johnny, 0.35)}

Programacin de Sistemas Adaptativos: Lgica Difusa

10

03/05/2012

Se

definen por una funcin de membresa.

Para un conjunto D, sera mD(x) (Esto tambin aplica para lgica clsica, pero slo hay dos valores posibles: 0 y 1).

Existen muchas opciones para las funciones de membresa: gausianas, triangulares, lineales, trapezoidales, etc.

Programacin de Sistemas Adaptativos: Lgica Difusa

11

Ejemplo:

autos nacionales

Dos conjuntos: autos nacionales (N) y autos extranjeros (E). Funciones de membresa: % de partes nacionales.

mN(x) = p(x) mE(x) = 1 p(x)

mE(x)

mN(x)

0
Programacin de Sistemas Adaptativos: Lgica Difusa

100%

12

03/05/2012

Ejemplo: U

autos nacionales

= {auto1, auto2, auto3} N = {(auto1, 0.8), (auto2, 0.4), (auto3, 0.6)}

E = {(auto1, 0.2), (auto2, 0.6), (auto3, 0.4)}

Programacin de Sistemas Adaptativos: Lgica Difusa

13

Son

ligeramente diferentes a los convencionales (ntidos).

Repasemos stos

Existen

varias maneras de hacer una misma operacin.

Programacin de Sistemas Adaptativos: Lgica Difusa

14

03/05/2012

Unin

mA B(x) = max[mA(x), mB(x)] Normas S

Interseccin

mA B(x) = min[mA(x), mB(x)] Normas T

Complemento

mAc(x) = 1 - mA(x)

Ejercicio: realiza estas operaciones con el ejemplo de los autos.

Programacin de Sistemas Adaptativos: Lgica Difusa

15

E N = { (auto1, max[mN(auto1), mE(auto1)]),

(auto2, max[mN(auto2), mE(auto2)]), (auto3, max[mN(auto3), mE(auto3)] }

E N = { (auto1, max[0.8, 0.2]), (auto2, max[0.6, 0.4]), (auto3, max[0.4, 0.6]) } E N = { (auto1, 0.8), (auto2, 0.6), (auto3, 0.6) }
Programacin de Sistemas Adaptativos: Lgica Difusa

16

03/05/2012

E N = { (auto1, min[mN(auto1), mE(auto1)]),

(auto2, min[mN(auto2), mE(auto2)]),

(auto3, min[mN(auto3), mE(auto3)] }

E N = { (auto1, min[0.8, 0.2]), (auto2, min[0.6, 0.4]), (auto3, min[0.4, 0.6]) }

E N = { (auto1, 0.2), (auto2, 0.4), (auto3, 0.4) }

Programacin de Sistemas Adaptativos: Lgica Difusa

17

Nc = {(auto1, 1 - mN(auto1)),

(auto2, 1 - mN(auto2)), (auto3, 1 - mN(auto3))}

Nc = { (auto1, 1 - 0.8), (auto2, 1 0.6), (auto3, 1 0.4)} Nc = {(auto1, 0.2), (auto2, 0.4), (auto3, 0.6)}
Programacin de Sistemas Adaptativos: Lgica Difusa

18

03/05/2012

mEN(x)

mEN (x)

100%

100%

mNc (x)

0
Programacin de Sistemas Adaptativos: Lgica Difusa

100%
19

Puede

tomar valores representados por conjuntos difusos.

Ejemplos:

La velocidad es alta La calificacin es buena

Se

pueden agregar modificadores, ej.

Al final, tienen su traduccin matemtica.
20

muy alta ms o menos buena

Programacin de Sistemas Adaptativos: Lgica Difusa

10

03/05/2012

Repasemos Conjuncin

con lgica clsica

Se calcula con las normas S (unin) Se calcula con las normas T (interseccin) Existen varias maneras de calcularla: DienesRescher, Lukasiewicz, Zadeh, Mamdani, etc.

Disyuncin

Implicacin

Programacin de Sistemas Adaptativos: Lgica Difusa

21

Sea

U={1, 2, 3, 4} y V={1, 2, 3}
sabemos que x U y y V

Tambin Regla:

Si x es grande, entonces y es pequea difusos

Conjuntos

Grande={(1,0), (2,0.1), (3,0.5),(4,1)} Pequeo={(1,1),(2,0.5),(3,0.1)}

Programacin de Sistemas Adaptativos: Lgica Difusa

22

11

03/05/2012

Hagmoslo

con la implicacin de Mamdani:

mQMM(x,y)= min[mFP1(x), mFP2(x)]

QMM

={ ((1,1), 0), ((1,2), 0), ((1,3), 0), ((2,1), 0.1),((2,2), 0.1),((2,3), 0.1), ((3,1), 0.5),((3,2), 0.5),((3,3), 0.1), ((4,1), 1), ((4,2), 0.5),((4,3), 0.1)}

Programacin de Sistemas Adaptativos: Lgica Difusa

23

Entrada ntida

Fusificador Base de reglas difusas Conjuntos difusos Motor de inferencia difuso Salida ntida Conjuntos difusos

De-fusificador

Programacin de Sistemas Adaptativos: Lgica Difusa

24

12

03/05/2012

La

fusificacin, de-fusificacin y base de reglas pueden todas juntarse en una sola expresin matemtica.

y ( m ( x )) f ( x) ( m ( x ))
M l n l 1 M i 1 Ai l i n l 1 i 1 Ai l i
Programacin de Sistemas Adaptativos: Lgica Difusa

25

Existen

herramientas que manejan sistemas basados en lgica difusa.

Ej. Toolbox de Matlab

Aqu

el diseo sigue siendo lo importante.

Programacin de Sistemas Adaptativos: Lgica Difusa

26

13

03/05/2012

La

lgica difusa permite diferentes grados de verdad.

Armamos

reglas tipo IF-THEN mediante conjuntos difusos y variables lingsticas.

Los conjuntos difusos admiten grados de membresa (obtenidos mediante funciones). Las variables lingsticas relacionan valores ntidos con vocabulario vago o impreciso.

Programacin de Sistemas Adaptativos: Lgica Difusa

27

Aqu

el razonamiento se vuelve matemtico (no tanto simblico).

lo mismo, el sistema difuso se convierte en una expresin matemtica. herramientas, pero lo interesante es el diseo del sistema.

Por

Existen

Programacin de Sistemas Adaptativos: Lgica Difusa

28

14

03/05/2012

Ponce,

Pedro. Inteligencia Artificial con Aplicaciones a la Ingeniera. Alfaomega, Mxico, 2010. Li-Xin. A course in fuzzy systems and control. Prentice-Hall International, Inc., Estados Unidos, 1996.

Wang,

Programacin de Sistemas Adaptativos: Lgica Difusa

29

15