Documentos de Académico
Documentos de Profesional
Documentos de Cultura
8.tnorma y Tconorma Variables Linguisticas
8.tnorma y Tconorma Variables Linguisticas
Razonamiento Aproximado
Variables lingüísticas
Modificadores lingüísticos
Ejecicios
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
7.2
Operaciones de
conjuntos
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Operaciones de conjuntos
• Propiedades Básicas:
– Conmutativa: A U B = B U A; A I B = B I A;
– Asociativa: A U (B U C) = (A U B) U C = A U B U C;
A ∩ (B ∩ C) = (A ∩ B) ∩ C = A ∩ B ∩ C;
– Idempotencia: A U A = A; A ∩ A = A;
– Distributiva: A U (B ∩ C) = (A U B) ∩ (A U C);
A ∩ (B U C) = (A ∩ B) U (A ∩ C);
– Condiciones Frontera o Límite: A U Ǿ = A; A U X = X;
A ∩ Ǿ = Ǿ ; A ∩ X = A;
– Involución (doble negación): ¬(¬A) = A;
– Transitiva: A ᴄ B y B ᴄ C, implica A ᴄ C;
Propiedades Añadidas:
Se deducen de las anteriores.
– (A ∩ B) ᴄ A ᴄ (A U B); ᴄ
– Si A ᴄ B, entonces A = A ∩ B y B = A U B;
– Card(A) + Card(B) = Card(A U B) + Card(A ∩ B); –
Card(A) + Card(¬A) = Card(X);
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Normas y Conormas triangulares
• Definiciones:
– Norma Triangular, t-norma: Operación binaria t: [0,1]2 [0,1]
que cumple las siguientes propiedades:
• Conmutativa: x t y = y t x
• Asociativa: x t (y t z) = (x t y) t z
• Monotonicidad: Si x ≤ y, y w ≤ z entonces x t w ≤ y t z
• Condiciones Frontera: x t 0 = 0, x t 1 = x
– Conorma Triangular, t-conorma o s-norma: Operacion binaria.
s: [0,1]2 [0,1] que cumple las siguientes propiedades:
• Conmutativa: x s y = y s x
• Asociativa: x s (y s z) = (x s y) s z
• Monotonicidad: Si x ≤ y, y w ≤ z entonces x s w ≤ y s z
• Condiciones Frontera: x s 0 = x, x s 1 = 1
• t-norma del mínimo: La función mín (Ù) es una t-norma, que corresponde
a la operación de intersección en conjuntos clásicos cuyos grados de
pertenencia están en {0,1}. Por eso, esta función es la extensión natural
de la intersección en conjuntos difusos.
• t-conorma o s-norma del máximo: La función máx (Ú) es una s-norma,
que corresponde a la operación de unión en conjuntos clásicos cuyos
grados de pertenencia están en {0,1}. Por eso, esta función es la
extensión natural de la unión en conjuntos difusos.
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
•Variables Lingüística
•Dominio Subyacente
Razonamiento •Modificadores
Aproximado lingüísticos
•Cuantificadores
Linguisticos
Variables Lingüísticas
• Triangular
• Trapezoidal
• Gaussiana
• Campana
• Sigmoide
1.0
0.0
0 50 100
Triangular ( x;a,b,c) max min x a c x
,
, 0
b a c b
1.0
0.0
0 50 100
Trapezoidal( x;a,b,c, d ) max min x a d x
,1, , 0
b a d c
1.0
0.0
0 50 100
2
xc
Gaussiana( x; ,c) e
1.0
0.0
0 50 100
Campana( x;a,b,c) 1
2b
1
x
c
a
Sistemas Basados en Conocimiento FIIS-UNAC Mg. Msc. Sally Torres
27
Función de Pertenencia Sigmoide
1.0
0.0
0 50 100
Sigmoide( x;a,c) 1
a( x c)
1 e
Sistemas Basados en Conocimiento FIIS-UNAC Mg. Msc. Sally Torres
Granularidad
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Modificadores Lingüísticos
Modificadores Lingüísticos:
Operadores Lógicos:
1. Concentración.
1. NOT Complemento o negación
2. Dilatación.
2. AND Intersección (t-norma)
3. Intensificación del contraste.
3. OR Unión (s-norma)
4. Difuminación.
– MAS
μMAS F (u) = (μF (u) )1.5
– MUY
μMUY F (u) = (μF (u) )2
– 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 • “Más o menos L” (p=0.5),
• “Menos L”,
• “Poco L” (p=0.75)...
– ESPECIALMENTE
μESPECIALMENTE F (u) =
– BASTANTE CERCA DE
μBASTANTE CERCA DE F (u) =
– “Especialmente L”,
“Bastante cerca de L”...
– CERCA DE
μCERCA DE F (u) =
– CASI
μCASI F (u) =
– “Cerca de L”,
“Casi L”...
𝜇𝐴∩𝐵 𝑥, 𝑦 = 𝑡 𝜇𝐴 𝑥 , 𝜇𝐵 𝑦
𝜇𝐴∩𝐵 𝑥, 𝑦 = 𝑠 𝜇𝐴 𝑥 , 𝜇𝐵 𝑦
Sistemas Basados en Conocimiento FIIS-UNAC Mg. Msc. Sally Torres
Conectivo NOT
𝜇𝐹𝑃 𝑥1 , 𝑥2 , 𝑥3 = 𝑠 𝑡 𝜇𝑆 𝑥1 , 𝑐(𝜇𝐹 𝑥2 ) , 𝜇𝑀 𝑥3
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Cuantificadores Lingüísticos
3
Sistemas
Teoría deBasados en Conocimiento
la Lenguajes y Compiladores FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Ejercicio Nro 1:
1, x<a
(b-x)/(b-a), a<x<b
0, x>b
4
Sistemas
Sistemas Basados
Basados en
en Conocimiento
conocimiento FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Ejercicio Nro 2:
4
Sistemas
Sistemas Basados
Basados en
en Conocimiento
conocimiento FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Ejercicios con T_conorma
4
Sistemas
Sistemas Basados
Basados en
en Conocimiento
conocimiento FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres
Ejercicios con variables lingüísticas
4
Sistemas
Sistemas Basados
Basados en
en Conocimiento
conocimiento FIIS-UNAC Mg. Ing.
Mg. Msc. Msc.Sally
Sally Torres
Torres