Está en la página 1de 16

Inteligencia Computacional I

Variables lingsticas y reglas


difusas si-entonces
Ing. Omar Salazar
osalazarm@correo.udistrital.edu.co
Universidad Distrital Francisco Jos de Caldas
Facultad de Ingeniera

Variables lingsticas

Cuando se usa un radar para medir la velocidad de un


automvil, ste da nmeros como 34km/h, 25km/h,
100 km/h, etc. Cuando se le pregunta a un humano
sobre la velocidad de un automvil, ste usa frases
como es lento, es rpido, etc.
Segn Wang [1]:
Si una variable puede tomar palabras en el lenguaje
natural como sus valores, sta es llamada variable
lingstica, donde las palabras estn caracterizadas
por conjuntos difusos definidos sobre el conjunto
universo en el cual la variable est definida.
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Variables lingsticas

Por ejemplo, si se definen tres conjuntos difusos baja,


media, alta en el universo
para la
velocidad de un automvil, entonces se puede decir:

es baja

es media

es alta

Por supuesto,
como:

baja

media

alta

tambin puede tomar valores numricos,

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Reglas difusas si-entonces

Una regla difusa SI-ENTONCES es una sentencia


condicional de la forma:
SI (proposicin difusa) ENTONCES (proposicin difusa)

Por ejemplo, si es la velocidad de un automvil y es la


fuerza aplicada al acelerador, donde ambas son variables
lingsticas, entonces:
SI ( es baja) ENTONCES ( es grande)
Las proposiciones difusas se dividen en dos:

Atmicas

Compuestas
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Proposiciones difusas

Una proposicin difusa atmica es una sentencia de la


forma
, donde es una variable lingstica y es
un valor lingstico de , es decir, es un conjunto
difuso. Adems

Por ejemplo:

Una proposicin difusa compuesta es la concatenacin


de proposiciones difusas atmicas usando los conectores
lgicos difusos y, o y no modelados con una t-norma,
t-conorma y complemento difuso respectivamente.

Por ejemplo:
Conectores lgicos difusos
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

y difuso

Sean y variables lingsticas definidas en


los universos y , y sean y conjuntos
difusos en y . La proposicin difusa
compuesta
es una relacin
binaria difusa en
e interpretada con la
funcin de pertenencia
donde es cualquier t-norma.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

y difuso

Por ejemplo, sea la proposicin


donde
y representan la velocidad y aceleracin
de un mvil, y alta (A) y pequea (P) tienen
funciones de pertenencia

sobre los universos X=[0,200]km/h, Y=[-50,50]km/h^2.


Si se usa la t-norma estndar entonces la proposicin
dada tiene funcin de pertenencia:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

o difuso

Sean y variables lingsticas definidas en


los universos y , y sean y conjuntos
difusos en y . La proposicin difusa
compuesta
es una relacin
binaria difusa en
e interpretada con la
funcin de pertenencia
donde es cualquier t-conorma.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

o difuso

Por ejemplo, sea la proposicin


donde
y representan la velocidad y aceleracin
de un mvil, y alta (A) y pequea (P) tienen
funciones de pertenencia

sobre los universos X=[0,200]km/h, Y=[-50,50]km/h^2.


Si se usa la t-conorma estndar entonces la
proposicin dada tiene funcin de pertenencia:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

no difuso

Sea una variable lingstica definida en el


universo , y sea un conjunto difuso en .
La proposicin difusa compuesta
es interpretada con la funcin de pertenencia
donde es cualquier
complemento difuso.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

10

no difuso

Por ejemplo, sea la proposicin


donde
representa la velocidad de un mvil, y alta (A) tiene
funcin de pertenencia

sobre el universo X=[0,200]km/h. Si se usa el


complemento estndar entonces la proposicin dada
tiene funcin de pertenencia:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

11

si-entonces difuso

En lgica clsica, una proposicin de la forma


si A entonces B, simbolizada A, es
interpretada segn la tabla

la cual es equivalente a
o
,
donde
son los operadores clsicos y,
o y no respectivamente
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas
12

si-entonces difuso

Hay varias generalizaciones de


y
caso difuso. A es interpretada como una

relacin binaria en

al

. Por ejemplo como:

Implicacin Dienes-Rescher:

Implicacin Lukasiewicz:

Implicacin Zadeh:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

13

si-entonces difuso

Otros ejemplos son:

Implicacin Mamdani (estndar):

Implicacin Mamdani (producto):

Implicacin Gdel:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

14

Tarea

Realizar ejercicios 5.1, 5.4 y 5.5


(pg.72) del libro de Li-Xin
Wang

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

15

Referencias
[1] L. X. Wang, A Course in Fuzzy
Systems and Control. Prentice-Hall
International, Inc., 1997.
[2] G. J. Klir and B. Yuan, Fuzzy sets and
fuzzy logic: theory and applications. New
Jersey: Prentice Hall PTR, 1995.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

16