Professional Documents
Culture Documents
Relaciones en
Funciones de Lgica Clsica y Inferencia
Conjuntos
membresa Lgica Difusa Difusas
Difusos
Principio de
Extensin
VARIABLES LINGISTICAS
Variables Lingisticas
Es una variable cuyos posibles valores son palabras y
pueden ser representados mediante conjuntos difusos.
N es el nombre de la variable.
U es el dominio subyacente.
T(N) es el conjunto de trminos o etiquetas que puede tomar N.
G es una gramtica para generar las etiquetas de T(N):
muy alto, no muy bajo, normal, bajo y normal.
M es una regla semntica que asocia cada elemento de T(N) con un
conjunto difuso en U de entre todos los posibles:
M: T(N) F (U)
Funciones de Membresa
gbellmf ( x; a, b, c)
1 xa d x
trapmf ( x; a, b, c, d ) max min ,1, , 0
xc
2b
1 ba d c
b
xa cx
2
1 x c
gaussmf ( x; a, b, c) e 2
trimf ( x; a, b, c) max min , ,0
b a c b
Granularidad
Es el nmero de valores que se definen para una variable
linguistica
Normalmente se usa un conjunto pequeo de valores para
una variable lingstica.
MAS
MAS F (u) = (F (u) )1.5
MUY
MUY F (u) = (F (u) )2
2. Dilatacin
Es la raiz n-sima o elevar p, tal que p [0, 1]
MAS O MENOS
MASOMENOS F (u) = (F (u) )0.5
MENOS
MENOS F (u) = (F (u) )0.75
POCO
POCO F (u) = (F (u) )0.75
3. Intensificacin
Disminuir valores menores que 0.5 y aumentar los
mayores.
ESPECIALMENTE
ESPECIALMENTE F (u) =
BASTANTE CERCA DE
BASTANTE CERCA DE F (u) =
4. Difuminacin
Aumentar valores menoras que 0.5 y disminuir los
mayores.
CERCA DE
CERCA DE F (u) =
CASI
CASI F (u) =
Operadores Lgicos
Combinar valores
mediante conectivos
lgicos:
Calcular:
Muy pequeo ={ /1 + /2 + /3 + /4 + /5}
Muy muy pequeo ={ /1 + /2 + /3 + /4 + /5}
Ms o menos pequeo ={ /1 + /2 + /3 + /4 + /5}
Ejercicio 3
Considere la variable lingstica viejo, dado que la
variables est definida por:
No muy viejo =
Mas o menos viejo =
Muy Viejo =
REGLAS DIFUSAS IF-THEN
Reglas IF - THEN difusas
Una parte del conocimiento humano es representado en
terminos de reglas IF THEN clsicas.
A(x) = Verdad (Ai (x)) = Ai (x); A(x) = Muy_Verdad (Ai (x)) = A2i (x);
A(x) = Falso (Ai (x)) = 1Ai (x); A(x) = Ms o menos (Ai (x)) =A0.5i (x);
IF x es A entonces y es B
If x es A then y es B.
antecedente consecuente
o o
premisa conclusin
Ejemplos
Si la presin es alta, entonces el volumen es pequeo.
Si el camino es deslizadizo, entonces el conducir es
peligroso.
Si un tomate es rojo, entonces es maduro.
Si la velocidad es alta, entonces aplique un pequeo freno.
p q pq
V V V
V F F
F V V
F F V
A B If x es A then y es B
IF p THEN q
Aqu pq es equivalent a (p V q) y a (pq)Vp, donde
los simbolos representan operaciones logicas clsicas.
A B If x is A then y is B.
R
Implicacin Lakasiewics
Implicacin Zadeh
Implicacin Godel
if x es A then y es B V V V
V F F
F V V
F F V
B B
-B
xx xx
A A
Implicacin difusa
Implificacin difusa
Ejemplo
Sea x1 la velocidad de un carro, x2 la aceleracin e y la
fuerza aplicada al acelerador.
Usando el producto algebraico para la t-norma en la
primera proposicin y la implicacin Dienes-Rescher,
encuentre la funcin de membresa de la siguiente regla
difusa: