You are on page 1of 85

ING.

JULIO VALERO

La lgica es la ciencia del razonamiento; decimos entonces de la lgica matemtica o simblica, que es la ciencia que nos ensea a pensar y a razonar. La lgica encierra dos grandes reas: La Lgica Proposicional y La Lgica Predicativa
The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart your computer, and then open the file again. If the red x still appears, you may have to delete the image and then insert it again.

Conocimiento Exacto e Incierto


Veamos la diferencia entre algo exacto, algo aleatorio y algo nebuloso: Exacto: Tengo 42 aos de edad; Usted es una Mujer; 4 * 2 = 8; Aleatorio: Va a llover maana o no?; Si lanzo el dado, saco un
4 o no?

Nebuloso: Esta persona es vieja o no?; Hace fro o no?


Aleatoriedad se hace resuelto con el pasar del tiempo o con una prueba; Nebulosidad no se resuelve pues el problema est en el sentido de las palabras.

Conceptos Imprecisos.
Aceptamos la imprecisin como una consecuencia natural de ''la forma de las cosas en el mundo''. Nosotros simplemente aproximamos estos eventos a funciones numricas y escogemos un resultado en lugar de hacer un anlisis del conocimiento emprico. La temperatura est caliente La inflacin actual aumenta rpidamente Los grandes proyectos generalmente tardan mucho Nuestro precios estn por abajo de los precios de la competencia IBM es una compaa grande y agresiva Alejandro es alto pero Ana no es bajita

CONJUNTO
Concepto.- se considera conjunto a una reunin o coleccin de objetos bien definidos, los objetos que constituyen o forman un conjunto se denominan ELEMENTOS de dicho conjunto.

Conjuntos Difusos
La mayora de los fenmenos que encontramos cada da son imprecisos, es decir, tienen implcito un cierto grado de difusidad en la descripcin de su naturaleza. Esta imprecisin puede estar asociada con su forma, posicin, momento, color, textura, o incluso en la semntica que describe lo que son. En muchos casos el mismo concepto puede tener diferentes grados de imprecisin en diferentes contextos o tiempo.

Un conjunto difuso es tambin una funcin que asocia a cada objeto del universo un valor en el intervalo [0,1]. Si x es un objeto en el universo y y=C(x) es el valor asociado a x, se dice que y es el grado de pertenencia del objeto x al conjunto difuso C. As pues, todo conjunto en el sentido usual es tambin un conjunto difuso.

El conjunto vaco {J} coincide con la funcin idnticamente cero y el universo coincide con la funcin constante 1. Por ejemplo: Tengo el conjunto: U ={0,1,2,3,4,5,6,7,8,9} Y los subconjuntos A = {0,2,4,6,8} B = {1,3,5,7,9} Por lo tanto los valores o elementos del conjunto A, B tendrn un valor de 1 si pertenecen al universo y un valor de 0 si no pertenecen.

Difusidad 1 Difusidad 0

Cuando pertenecen al conjunto Universo. Cuando no pertenecen al conjunto Universo.

(A) ={(0,C) ; (1,M) ; (1,A) ; (0,J)} (B) ={(0,D) ; (0,J) ; (1,A) ; (1,V) ; (1,J)}

Notacin de Conjuntos Difusos.


Se los puede denotar de dos maneras.

1) Como pares ordenados, en donde el primer elemento es la difusidad y el segundo elemento es el valor perteneciente al conjunto de estudio.

(A) ={(0,C) ; (1,M) ; (1,A) ; (0,J)}

2)

Como cociente (divisor) en donde el numerador es el que da difusidad y el denominador es el elemento del conjunto de estudio. (A) = {0/C , 1/M , 1/A , 0/J}

El grado de difusidad 0, me indica la carencia de aproximacin al lmite superior, el grado de difusidad 1, quiere decir que se encuentra sobre el lmite superior o lo sobrepasa. NO PUEDE EXISTIR DIFUSIDADES MENORES QUE 0 NI MAYORES QUE 1 EJERCICIOS: Encontrar la difusidad de la edad de 10 personas si se tiene como mximo un valor de 25. Expresarlo en las dos notaciones.

Transformar a conjunto difuso que represente el grado de juventud del conjunto de 5 personas si se considera que 25 aos es la edad tope de juventud.

N= Luis, Carlos, Jos, Pablo, Antonio E= 25,15,17,18,20

C(x)={25/25 , 15/25 , 17/25 , 18/25 , 20/25} C(x)={1, 0.6, 0.68, 0.72, 0.8} X={(Luis,1), (Carlos,0.6), (Jos,0.68), (Pablo,0.72), (Antonio,0.8)} X={1/Luis, 0.6/Carlos, 0.68/Jos, 0.72/Pablo, 0.8/Antonio}

Transformar a conjuntos difusos que represente el nmero de goles marcados por los equipos de ftbol: Alianza, Universitario, Espoli, Nacional y Emelec en el mes de Abril si el nmero de goles mximo es de 15.

E={ Alianza, Universitario, Espoli, Aurich, Emelec} G={10, 7, 12, 15, 8}

C(x)={10/15, 7/15, 12/15, 15/15, 8/15} C(x)={0.6, 0.4, 0.8, 1, 0.5} X={( Alizana,0.6),(Universitario,0.4), (Espoli,0.8), (Aurich,1), (Emelec,0.5)} X={ 0.6/Macar, 0.4/Olmedo, 0.8/Espoli, 1/Aurich, 0.5/ Emelec}

Transformar a conjuntos difusos que represente el precio en el ao 2004 de: arroz, azcar, aceite y pan; si sabemos que el precio mximo es de 1 dlar. P={ arroz, azcar, aceite, pan} F={1,1.20,1,0.12}

C(x)={1/1, 1.20/1, 1/1, 0.1/12} C(x)={ 1, 1, 1, 0.1} X={ (arroz,1),(azcar,1), (aceite,1), (pan,0.1)} X={1/arroz, 1/azcar, 1/aceite, 0.1/pan}

MAPEO DE CONJUNTOS DIFUSOS. El Mapeo es un grfico dado por el experto en la materia y en base al cual se obtendrn las difusidades de estudio.

Con la notacin en forma de par ordenado de los conjuntos difusos podemos representarlos en forma grafica en un plano cartesiano , en donde el primer elemento se graficara en el eje de las x y el segundo elemento en el eje de las y.

Ejemplo: Pasos para realizar un mapeo.

ING. TELMO VITERI MsC.

Tipo L

1 ,x a f(x) ! (b  x)/(b  a),a " x " b ,x " b 0

Tipo Gamma

0 ,x a f(x) ! (x  a)/(b  a),a " x " b ,x " b 1

0 ,x a f(x) ! (x  a)/(b  a),a " x " b ,x " b 1

Tipo Z

1 ,x a 1  2((x  a)/(b  a)) 2 , a " x " ( a  b) / 2 f(x) ! 2((x  b)/(b  a)) 2 ,(a  b) / 2 " x " b ,x " b 0

Tipo S

0 ,x a 2 2 ((x  a)/(b  a)) ,a " x " (a  b) / 2 f(x) ! 1  2((x  b)/(b  a)) 2 ,(a  b) / 2 " x " b ,x " b 1

Pi

0 ,x a  b)/(a  b),a " x " b (x f(x) ! 1, b " x " c  x)/(d  c),c " x " d (d ,x " d 0

1. Definir las variables de entrada y salida temperatura, edad, estatura, velocidad, fuerza. Definir el margen de variacin (universo de discurso) de cada variable. Temperatura: -40 a 70C , Edad: 0 a 100 aos, Estatura: 0 a 200 cm.

2. Definir todos los conjuntos y el valor lingstico, asociado a cada uno: Variable: Temperatura: Valores Lingsticos: negativa_alta, negativa_baja, cero, positiva_baja, positiva_alta Variable: Edad: Valores Lingsticos: muy_joven, joven, maduro, viejo.

3. Para cada conjunto (valor lingstico) definir una funcin de pertenencia o inclusin que indique el grado en que una variable x est incluida en los conceptos representados por las variables lingsticas. Se suele utilizar i(x) para indicar el grado en que x est incluida en el conjunto i .

i(x)

se le conoce como funcin de pertenencia de x en i.

El valor de pertenencia tiene que variar entre 0 y 1.

ING. TELMO VITERI MsC.

ING. TELMO VITERI MsC.

ING. TELMO VITERI MsC.

ING. TELMO VITERI MsC.

LOS SISTEMAS EXPERTOS


Programas de ordenador que capturan el conocimiento de un experto e imitan sus procesos de razonamiento al resolver los problemas de un determinado dominio Contienen dos tipos de conocimiento: Declarativo: hechos Procedimental: pautas de actuacin Una base de datos solo contiene conocimiento declarativo

VENTAJAS
Permanencia Reproducibilidad Eficacia ante laberintos de normas Eficiencia Consistencia Posible la revisin de todas las transacciones Amplitud Aspectos competitivos
ING. TELMO VITERI MsC.

INCONVENIENTES
Sentido comn Creatividad Aprendizaje Experiencia sensorial Degradacin

Consideraciones Iniciales
- Sistemas Especialistas Nebulosos (basados en la lgica nebulosa): Hoy en da, las mquinas fotogrficas japonesas tienen Sistemas Nebulosos para resolver automaticamente el problema del ajuste de la luminosidad y del foco. - Los carros, japoneses o no, tambin tienen cada vez ms IA: el ms moderno y eficiente sistema de freno, el ABS, e una implementacin de sistema nebuloso.

OPERACIONES.
Producto de conjuntos difusos.- Se la realiza elemento a elemento entre las partes de la operacin. (V) * (P) Requerimientos: Los conjuntos a multiplicar tienen que tener el mismo nmero de elementos y referirse al mismo tipo de los mismos.

Normalizacin.- Se lo representa con una lnea en la parte superior del conjunto a normalizar. Identificamos el mayor valor de los elementos del conjunto difuso y multiplicamos por este valor cada uno de los elementos del conjunto difuso.

Complemento

del conjunto difuso.- Se lo representa con un apostrofe en la parte superior derecha del conjunto a obtener el complemento. Se lo obtiene al restar 1 de cada uno de los elementos del conjunto difuso.

de conjuntos difusos (U) .- Se lo obtiene tomando el mayor valor de entre las difusidades de los elementos de los conjuntos que intervienen en la operacin.

Unin

ING. TELMO VITERI MsC.

Interseccin (

) .- Se lo obtiene tomando el menor valor de entre las difusidades de los elementos de los conjuntos que intervienen en la operacin.

ING. TELMO VITERI MsC.

Concentracin.-

Es realizar una operacin que permita que los valores de mayor difusidad se aproximen ms hacia el valor mnimo en comparacin los valores de menor difusidad. Es decir al cuadrado el valor de la difusidad.

Dilatacin.- Es una operacin que tiene un efecto


contrario a la concentracin y se lo consigue elevando a la potencia () la difusidad buscada.

Intensificacin Contrastante.- Se utiliza dos


parmetros de medida, cuando el valor de difusidad es menor que 0,5 = 2(
(R)) (R))

y cuando es mayor que 0,5 = (1 2 (1 (1 2( (R) )

ETIQUETAS. 3.1. DEFINICIN. El centro de las tcnicas de modelado difuso es la idea de variable lingstica. Desde su raz, una variable lingstica es el nombre de un conjunto difuso. Si tenemos un conjunto difuso llamado ''largo'' ste es una simple variable lingstica y puede ser empleada como una regla-base en un sistema basado en la longitud de un proyecto en particular:

El asignarle un valor lingstico a una operacin lgica es lo que denominamos etiquetas. As: - La etiqueta y corresponde a la interseccin.

- La etiqueta o corresponde a la unin.

-La etiqueta no corresponde al complemento de la difusidad indicada.

-La etiqueta valor normal o normalmente corresponde a la normalizacin.

-La etiqueta mas, muy corresponde a la concentracin.

- La etiqueta menos, ligeramente corresponde a la dilatacin. -

La etiqueta mas o menos o medianamente corresponde a la intensificacin constante.

Nota: -Normalizacin toma los valores mayores. -Dilatacin toma los valores menores. -Intensificacin Contrastante toma los valores que ms se acercan a 0,5.

Quienes son normalmente sinceros y ms o menos fieles y muy respetuosos.


-

(S)

Int

(F)

Con

(R)

ING. TELMO VITERI MsC.

EJERCICIO DE APLICACION (GOLEADOR) X1={0.90/Nonino, 0.60/Hurtado, 0.40/Urrutia,0.10/Garrido} (JUGADOR) X2={0.50/Nonino, 0.30/Hurtado, 0.80/Urrutia,0.90/Garrido} (ESTATURA) X3={0.30/Nonino, 0.90/Hurtado, 0.50/Urrutia,0.70/Garrido}

ING. TELMO VITERI MsC.

MUY GOLEADOR:
Conc X1={0.81/Nonino, 0.36/Hurtado, 0.16/Urrutia,0.01/Garrido}

ING. TELMO VITERI MsC.

DEFUSIFICACION
La entrada para el proceso de defusificacin es un conjunto difuso (la salida de la etapa de agregacin) y la salida es un simple nmero concreto. Los sistemas del mundo real requieren un resultado numrico. El mtodo ms popular de defusificacin es el clculo del centro de gravedad centroide, el cual retorna el centro del rea bajo la curva. Al igual que en los pasos anteriores existen ms mtodos de clculo.

Centro de gravedad

DEFUSIFICACION
Forma continua Para calcular el algoritmo del centro de gravedad (cog, siglas en ingles) dividimos al Momento de la funcin por el Area de la funcin: Forma discreta Se divide la funcin en partes iguales y se calcula haciendo la sumatoria de todos los puntos de la siguiente manera:

Hay que tener en cuenta que al dividir en partes iguales al conjunto de salida se simplifican los (z, si las particiones fueran diferentes habra que tener en cuenta el (z porque sino se pierde el sentido de Momento y rea de la funcin.

DEFUSIFICACION
Forma continua:

Forma discreta para 10 muestras:

PRODUCTO CARTESIANO
El producto cartesiano es usado para definir una relacin entre dos o ms conjuntos (sean ordinarios o difusos). El producto cartesiano es denotado como AxB y es definido como:

Una relacin difusa R de A y B es un subconjunto difuso de AxB, donde QR(a, b) es la funcin de membresa de R.

R tambin puede ser representado como una matriz, depositando cada elemento de QR(a, b):

ING. TELMO VITERI MsC.

You might also like