Sei sulla pagina 1di 8

LA LOGICA DIFUSA

http://users.salleurl.edu/~se04184/P2Definitions.html

Un tipo de lógica que reconoce más que simples valores verdaderos y falsos. Con lógica
difusa, las proposiciones pueden ser representadas con grados de veracidad o falsedad. Por
ejemplo, la sentencia "hoy es un día soleado", puede ser 100% verdad si no hay nubes, 80%
verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el día.

La lógica difusa es una extensión de la lógica convencional (Booleana) para manejar el


concepto de verdad parcial.• La verdad parcial se presenta cuando los valores de verdad se
encuentran entre “absolutamente cierto” y “absolutamente falso” V V F F Lógica booleana
Lógica difusa

La Lógica Difusa ha sido probada para ser particularmente útil en sistemas expertos y otras
aplicaciones de inteligencia artificial. Es también utilizada en algunos correctores de voz
para sugerir una lista de probables palabras a reemplazar en una mal dicha.

Leer más: http://www.monografias.com/trabajos6/lalo/lalo.shtml#ixzz44zDTNm27

CONCEPTOS BASICOS

INCERTIDUMBRE

– Se relaciona a la información (falta de información).

– Cuando no se sabe cuando puede ocurrir cierto evento

– No se conoce una teoría que explique el fenómeno.

Ejemplo:
¿Cuándo va ha suceder un terremoto?• ¿Aprobaré el curso?• Si tiro la moneda, ¿sale cara o
sello?• ¿La respuesta a la pregunta es V o F?• A medida que se dispone de más información
la incertidumbre se puede reducir.• La ausencia de incertidumbre es tener información
total.• Se trabaja con niveles de creencias.

Se trabaja con niveles de creencias.• Rango de valores [0,1]• ¿Cuándo va ha suceder un


terremoto? Silencio sísmico• ¿Aprobaré el curso? ¿Estudiaste?, ¿le dedicaste tiempo?,
¿hiciste tus trabajos?• Si tiro la moneda, ¿saldrá cara o sello? ¿la moneda está sesgada?•
¿Cuál es la respuesta para una pregunta con V o F? Si sabes, responde. Si no sabes,
cualquiera es buena respuesta.

2. Probabilidad. – Es una propiedad física de los objetos, determina la posibilidad de que


cierto evento puede ocurrir. – Se calcula y verifica por experimentación. Rango de valores
[0,1]

EJEMPLO

Ejemplos:• P (X = cara) = 0.5• P (X = hombre) = 0.5 P(X=x)• P (X = ROJO) = 2/7 X


ROJO AZUL VERDE /58 8

3. Imprecisión (ambigüedad). – Es una característica del lenguaje de comunicación


humano. – Esta relacionada con el grado en que el evento ocurre.

La ambigüedad es incertidumbre determinística

• Ambigüedad está relacionada con el grado con el cual los eventos ocurren sin importar la
probabilidad de su ocurrencia.

• Por ejemplo, el grado de juventud de una persona es un evento difuso sin importar que sea
un elemento aleatorio

Ejemplos:
• Si estudias bastante entonces obtendrás buenas notas.
• El proyecto del KDD avanza fuertemente}
.• Los alumnos le ponen fuerza a sus proyectos.
• Profesor buena gente
• Profesor mala gente
• Si el profesor es buena gente entonces el examen será fácil
• Si el profesor es mala gente entonces el examen será difícil
AMBIGÜEDAD VS PROBABILIDAD

 Ambigüedad es una incertidumbre determinística, la probabilidad es no


determinística
 La incertidumbre probabilística se disipa con el incremento del número de
ocurrencias y la difusifisidad no
 La ambigüedad describe eventos ambiguos, la probabilidad describe los eventos
que ocurren
 Si un evento ocurre es aleatorio. El grado con el cual ocurre es difuso.

universo de discurso: Es el rango de valores que pueden tomar los elementos que poseen
la propiedad expresada por la variable lingüística.

Ejemplo: En el caso de la variable lingüística 'altura', seria el conjunto de valores


comprendido entre 1.5 y 2.3 m.

variable lingüística Es aquella noción o concepto que vamos a calificar de forma difusa.

Ejemplo: La altura, la edad, el error, la variación del error... Le aplicamos el adjetivo


"lingüística" porque definiremos sus características mediante el lenguaje hablado.

valor lingüístico Son las diferentes clasificaciones que efectuamos sobre la varible
lingüística: en el caso de la altura, podríamos dividir el universo de discurso en los
diferentes valores lingüísticos: 'bajo','mediano' y 'alto'. Como veremos, cada valor
lingüístico tendrá un conjunto difuso asociado, de forma que hablaremos de los conjuntos
difusos 'bajo','alto'.. asociados a la variable lingüística 'altura'.

Función de Pertenencia como aquella aplicación que asocia a cada elemento de un


conjunto difuso el grado con que pertenece al valor lingüístico asociado. Los conjuntos
difusos son caracterizados por sus funciones de pertenencia.

Diremos que un conjunto es difuso cuando el concepto al que representa tiene una función
de pertenencia difusa asociada a él.
La notación que se suele usar es: donde F es el conjunto difuso al que está asociada la
función.

Las funciones "L" y "GAMMA" se usan para calificar valores lingüísticos extremos, tales
como "Helado" o "Ardiendo", respectivamente. Su ventaja es que la función se extiende al
infinito. Las funciones "PI" y "LAMBDA" se usan para describir valores intermedios. Su
diferencia reside en que la función "PI" implica un margen de tolerancia alrededor del valor
que se toma como más representativo del valor lingüístico asociado al conjunto difuso.

Un conjunto de la lógica tradicional también es expresable con una función de pertenencia.


De hecho, la lógica difusa es una extensión de la lógica tradicional y por tanto la incluye.
Todas las reglas y propiedades de la lógica difusa son aplicables a la tradicional. En cierta
manera, la lógica tradicional es una particularización de la difusa.

NOTACION DE CONJUNTOS DIFUSOS

Sea F un conjunto difuso definido sobre el universo U.


(Ec 2.2)

que indica que F está formado por todos los pares ordenados "u" y el resultado de la
función de pertenencia para todo elemento u dentro del universo de discurso U.
La notación que eligió Zadeh para describir los conjuntos difusos es la siguiente:

si el universo es discreto:

(Ec 2.3)

si el universo es continuo.
(Ec 2.4)

¡Cuidado con esta notación! El sumatorio o la integral pierden su significado habitual. En


lógica difusa quieren simbolizar una mera enumeración de tuplas. Una tupla es un par
ordenado como el ya visto (u,MF(u)). La fracción tampoco indica quebrado, simplemente
separa los dos elementos de la tupla. Así, el conjunto difuso discreto, "Tirada alta del dado"
se define por :

F = { 0/1 + 0/2 + 0.3/3 + 0.6/4 + 0.9/5 + 1/6}

La parte derecha de la tupla indica el elemento y la parte izquierda el grado de pertenencia.

OPERACIONES LOGICAS SOBRE CONJUNTOS DIFUSOS

Las operaciones lógicas que se pueden establecer entre conjuntos difusos son la
intersección, la unión y el complemento, igual que las que usamos en lógica bivaluada.
Mientras que el resultado de operar dos conjuntos 'abruptos' es un nuevo conjunto 'abrupto',
las mismas operaciones con conjuntos difusos nos daran como resultado otros conjuntos
también difusos. Dado que la lógica difusa es una extensión de la bivaluada, las nuevas
operaciones que explicaremos para intersectar o unir conjuntos difusos son también
aplicables a la lógica bivaluada obteniendo idénticos resultados.

En lógica difusa hay muchas maneras de definir estas operaciones. Cualquier operación que
cumpla las restricciones de una T-Norma puede ser usada para intersectar, igual que
cualquier S-Norma puede ser usada para unir conjuntos difusos. Las T-Normas especifican
un conjunto de condiciones que deben reunir aquellas operaciones que deseen ser usadas
para intersectar conjuntos, mientras que las S-Normas hacen lo propio para las uniones.

Las operaciones lógicas más usuales son la unión, la intersección y el complemento.


2.3.1 INTERSECCIÓN

2.3.2 UNION

En la práctica, se suele usar siempre como T-Norma el mínimo o el producto de las dos
funciones de pertenencia, y como S-Norma el máximo de ambas o su suma, porque
computacionalmente el coste es mucho menor. Sin embargo hay ocasiones donde puede
hacer falta una T-Norma más complicada. Sobre esta cuestión me refiero a [1], donde
además se detalla un criterio para escoger entre las dos posibilidades que ofrecemos a
continuación para cada operación.

Algebraicamente, las dos formas de expresar la intersección difusa se expresan:

(Ec 2.5) y (Ec 2.6)


Análogamente, para la unión tenemos:

(Ec 2.7) y (Ec 2.8)


y para el complemento,
(Ec 2.7)

Conjuntos Difusos

En esta ilustración hemos dibujado 3 conjuntos difusos sobre la variable lingüística altura,
cuyos valores lingüísticos asociados son 'bajo', 'mediano' y 'alto' respectivamente. Las
funciones de pertenencia son de tipo 'L' para el bajo, 'Lambda' o 'Triángulo' para el mediano
y 'Gamma' para el alto
Más adelante aclararemos porqué usamos estos nombres, que únicamente determinan qué
forma tendran las funciones de pertenencia. Jorge, que mide 1.80 m, es un "0.2 mediano y
un 0.8 alto".

Esta es la principal diferencia entre la lógica tradicional y la difusa: mientras que los
valores de la función de pertenencia de la primera son 0 o 1, la lógica difusa se mueve en
todo el intervalo [0,1].
Se suele normalizar el grado de pertenencia máximo a 1.

Así expresamos que mientras un elemento puede estar dentro de un determinado conjunto,
puede no cumplir las especificaciones de dicho conjunto al cien por cien (por ejemplo, en el
caso de Jorge, a la vista del resultado podría afirmarse que es 'poco mediano y mas bien
alto').

FUNCIONES DE PERTENENCIA

Aunque en principio cualquier función sería válida para definir conjuntos difusos, en la
práctica hay ciertas funciones típicas que siempre se suelen usar, tanto por la facilidad de
computación que su uso conlleva como por su estructura lógica para definir su valor
lingüístico asociado.

Ils 2.2: Funciones de Pertenencia usuales

La notación que se suele usar es: donde F es el conjunto difuso al que está asociada la
función.

Las funciones "L" y "GAMMA" se usan para calificar valores lingüísticos extremos, tales
como "Helado" o "Ardiendo", respectivamente. Su ventaja es que la función se extiende al
infinito. Las funciones "PI" y "LAMBDA" se usan para describir valores intermedios. Su
diferencia reside en que la función "PI" implica un margen de tolerancia alrededor del valor
que se toma como más representativo del valor lingüístico asociado al conjunto difuso.

Un conjunto de la lógica tradicional también es expresable con una función de pertenencia.


De hecho, la lógica difusa es una extensión de la lógica tradicional y por tanto la incluye.
Todas las reglas y propiedades de la lógica difusa son aplicables a la tradicional. En cierta
manera, la lógica tradicional es una particularización de la difusa.

Así pues, un conjunto de la lógica tradicional se puede expresar mediante un conjunto


difuso cuya función de pertenencia sería:

(Ec 2.1)
Es decir, una función escalón centrada en el valor umbral de decisión.