Ao de la consolidacin del Mar de

Grau

LGICA DIFUSA

ESCUELA: Ingeniera de Minas

CURSO : Anlisis de Sistemas Mineros I
INTEGRANTES:
Esquivel Huete Robert Henry.
Gamarra Alvarez Yadi Yhesenia.
Galan Garcia Leonardo.
Huerta Sotelo Ray Kolard.
Milla Ariza Jhon.
Prudencio Cano Kenyu.

DOCENTE : Ing. Bojorquez Huerta Gustavo Roberto

Del esfuerzo de sus hijos depende el

progreso de los pueblos
INTRODUCCIN

El presente trabajo de investigacin titulado LGICA DIFUSA que se define

como la matemtica de los conjuntos difusos, como su nombre lo indica,
trabaja con conjuntos que no tienen lmites bien definidos, es decir, la transicin

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

entre la pertenencia y la no pertenencia de una variable a un conjunto es

gradual.
El objetivo fundamental del tema es: el de presentar una informacin muy
amplia que servir para comprender y utilizar expresiones que no son
totalmente ciertas ni completamente falsas, es decir, que pueden tomar
cualquier valor de veracidad y que se basa en lo relativo de lo observado como
posicin diferencial.
Esta monografa es muy importante, ya que es un medio para profundizar
conocimientos, y as poder orientar al ingeniero minero, pues este tendr que
conocer todas las caractersticas, aplicaciones, ventajas y desventajas, etc.,
por ello es una herramienta de estudio con ello demostramos que nos
encontramos preparados para contar con profesionales competentes que se
encuentren a la vanguardia con respecto a estos conocimientos.
Los mtodos y tcnicas empleadas en este trabajo han sido los siguientes: el
subrayado, para poder sintetizar y destacar aquellas palabras claves, tambin
se hizo uso del fichaje bibliogrfico, cuyo propsito es la de mencionar a
aquellos autores que han contribuido con este trabajo, tambin se recurri al
ndice del modelo del escarabajo, para ordenar aquellos temas y subtemas, por
jerarquas, as como una herramienta de gua.
Los mtodos en los que nos basamos son: el analtico, para poder analizar y
comprender todas aquellas informaciones bibliogrficas y virtuales, tambin se
tuvo en cuenta el mtodo sinttico, para minimizar, extrayendo de las
informaciones aquellos puntos ms importantes, y por ltimo se emple el
comentario, para hacer una apreciacin personal, as como hacer juicios
valorativos y criticar algunos aspectos sobre la informacin ofrecida por los
autores.
La monografa se estructura en IV captulos, en el captulo I, titulado
GENERALIDADES se ver la historia y sus conceptos bsicos; en el captulo
II, que lleva por nombre CARACTERSTICAS se da a conocer las
caractersticas de la lgica difusa, etc. en el captulo III, cuyo nombre es
APLICACIONES se ver los usos en los diferentes mbitos, en captulo IV,

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

llamado VENTAJAS Y DESVENTAJAS cuya finalidad es la de conocer las

consecuencias del uso de la lgica difusa.
Finalmente, el trabajo de investigacin que lleva por nombre LOGICA
DIFUSA pretende ampliar conocimientos y discutir sobre las expresiones que
no son totalmente ciertas ni completamente falsas, el presente trabajo nos
permite entender, profundizar, las habilidades y actitudes que debe poseer un
ingeniero minero, para poder trabajar en una mina, ya sea a cielo abierto o
subterrnea, con todo lo expresado se espera que el trabajo de investigacin
sea una herramienta de conocimientos, y que esta sea tomada como referencia
a propiciar la continua investigacin que motiva sobre todo a un amante del
conocimiento.

NDICE
Pg.
INTRODUCCIN..01
OBJETIVOS..05
OBJETIVOS GENERALES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
OBJETIVOS ESPECFICOS......
CAPTULO I. GENERALIDADES.
1.1. Historia
1.2. Conceptos bsicos.

CAPTULO II. CARACTERSTICAS

CAPTULO III. APLICACIONES...

CAPTULO IV. VENTAJAS Y DESVENTAJAS.

CONCLUSIONES.
RECOMENDACIONES
ANEXOS
REFERENCIAS.

OBJETIVOS

OBJETIVOS GENERALES

Utiliza expresiones que no son totalmente ciertas ni completamente

falsas, es decir, que pueden tomar cualquier valor de veracidad.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

se basa en lo relativo de lo observado como posicin diferencial.

OBJETIVOS ESPECFICOS

No usa valores exactos

CAPTULO I.
GENERALIDADES
1.1.

Historia

Aunque la Lgica Difusa tom auge durante el siglo XX, sus orgenes se
remontan hasta 2,500 aos. Al respecto, Aristteles consideraba que

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

existan ciertos grados de veracidad y falsedad. Platn haba considerado

tambin grados de pertenencia.
En el siglo XVIII el filsofo y obispo anglicano irlands David Hume, crea
en la lgica del sentido comn, el razonamiento basado en el conocimiento
que la gente adquiere en forma ordinaria mediante vivencias en el mundo.
La corriente del pragmatismo fundada a principios de ese siglo por Charles
Sanders Peirce, fue la primera en considerar ''vaguedades'', ms que falso
o verdadero, como forma de acercamiento al mundo y al razonamiento
humano.
El filsofo y matemtico britnico Bertrand Russell, a principios del siglo
XX, estudi las vaguedades del lenguaje, concluyendo con precisin que la
vaguedad es un grado. El filsofo austraco Ludwing Wittgenstein estudi
las formas en las que una palabra puede ser empleada para muchas cosas
que tienen algo en comn. La primera lgica de vaguedades fue
desarrollada en 1920 por el filsofo Jan Lukasiewicz, quien visualiz los
conjuntos con posibles grados de pertenencia con valores de 0 y 1;
despus los extendi a un nmero infinito de valores entre 0 y 1 .
A principios de los aos sesenta, Lotfi Zadeh brillante ingeniero elctrico
iran nacionalizado en Estados Unidos, profesor de Ingeniera Elctrica en
la Universidad de California en Berkeley
universidades

norteamericanas,

Doctor

y en otras prestigiosas

Honoris

Causa

de

varias

instituciones acadmicas, enunci las bases tericas de la Lgica Difusa,

que combina los conceptos de la lgica y de los conjuntos de Lukasiewicz
mediante la definicin de grados de pertenencia. La motivacin original fue
ayudar a manejar aspectos imprecisos del mundo real, creando "un sistema
que proporciona una va natural para tratar los problemas en los que la
fuente de imprecisin es la ausencia de criterios claramente definidos". La
Lgica Difusa permiti el desarrollo de aplicaciones prcticas.
En 1971, Zadeh publica el artculo, Quantitative Fuzzy Semantics, donde
introduce los elementos formales que acabaran componiendo el cuerpo de

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

la doctrina de la Lgica Difusa y sus aplicaciones tal como se conocen en

la actualidad.
Hasta 1973, Zadeh no presenta la teora bsica de los Controladores
Difusos. A partir de sta publicacin, otros investigadores comenzaron a
aplicar la Lgica Difusa al control de diversos procesos, por ejemplo, el
britnico Ebrahim Mandani, quien en 1974 desarrolla el primer sistema de
control Fuzzy prctico: la regulacin de un motor de vapor.
La solucin implementada por Mandani introdujo los conceptos necesarios
para su aplicacin en reas industriales. Su aplicacin en el rea de control
nace del fundamento de los operadores humanos son capaces de efectuar
en muchos casos un control ms efectivo que los controladores
automticos tradicionales, porque estn capacitados para tomar decisiones
correctas sobre la base de informacin lingstica imprecisa.
En 1978 comienza la publicacin de la revista Fuzzy Sets and Systems,
dedicada, con uno o dos nmeros mensuales, al apoyo y desarrollo de la
teora de los conjuntos y sistemas difusos y sus aplicaciones. Esta revista
es publicada por la IFSA (the International Fuzzy Systems Association)
Tambin se puede resaltar en 1980 el desarrollo del primer sistema de
control difuso comercial, al aplicar esta tcnica al control de hornos
rotativos en una cementera, desarrollada por los ingenieros daneses
Lauritz Peter Holmbland y Jens-Jurgen Ostergaard.
Los occidentales asumieron una actitud reacia principalmente por dos
razones: la primera era porque la palabra Fuzzy sugera algo confuso y
sin forma, y la segunda porque no haba forma de probar analticamente
que la teora funcionaba correctamente, ya que el control Fuzzy no estaba
basado en modelos matemticos.
Sin embargo, aparecen toda una serie de investigadores japoneses en el
campo de la Lgica Difusa tales como Sugeno, Togai, Bart Kosko (el
fuzzsensei), entre otros.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

En 1987, se inaugura en Japn el subterrneo de Sendai, uno de los ms

espectaculares sistemas de control difuso creados por el hombre. Desde
entonces el controlador inteligente ha mantenido los trenes rodando
eficientemente.
1.2. Conceptos bsicos

Un universo es una coleccin de objetos de los que se hablar en una

lgica especfica. Por ejemplo, el universo de los nmeros naturales o el
universo de las edades.
Un conjunto en el universo es, desde un punto de vista intuitivo, una
coleccin de objetos tal que sea posible decidir cundo un objeto del
universo est o no en esa coleccin. Abstrayendo la nocin de conjunto, se
puede considerar que un conjunto es exactamente una funcin del universo
en el conjunto de valores 0,1 que asocia precisamente el valor 1 a los
objetos que estn en el conjunto y el valor 0 a los que no .
Desde el punto de vista de la teora clsica de conjuntos se establece que
los distintos elementos de un universo pueden pertenecer a un conjunto o
no, siempre y cuando satisfagan o no una determinada propiedad, por
ejemplo, el conjunto de los nmeros pares est formado por los nmeros
que son divisibles por dos.
De esta manera, si consideramos el universo de los nmeros naturales
positivos U={1, 2, 3, 4, 5,} podramos decir que 3 pertenece al conjunto
de los nmeros impares, mientras que 8 no. Igualmente, 9 pertenece al
conjunto de los nmeros mayores que 5, mientras que 3 no.
La pertenencia a un conjunto de diferentes elementos suele representarse
grficamente mediante la denominada funcin de pertenencia o de
membresa, como la que se muestra en la Figura 1.1 para los nmeros
mayores que 5. En esta funcin de pertenencia, toman valor 1 aquellos
elementos que pertenecen al conjunto, mientras que toman valor 0 aquellos
que no pertenecen [10].

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

Figura 1.1 Representacin grfica de la funcin de pertenencia del

conjunto "nmeros mayores que 5".
Este concepto es suficiente en muchas reas de aplicacin, pero fcilmente
se puede encontrar situaciones donde se necesita ms flexibilidad. 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.
Por ejemplo, para la representacin de la funcin de pertenencia del
conjunto caliente, haciendo uso de la teora clsica, como se aprecia en la
Figura 1.2, quedara:

Figura 1.2 Representacin grfica de la funcin de pertenencia del

conjunto " caliente".

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

Sin embargo, realmente no se puede tener una definicin exacta de cundo

un valor de temperatura pasa del conjunto fro a caliente.
Aceptamos la imprecisin como una consecuencia natural de la forma de
las cosas en el mundo. Simplemente se aproximan estos eventos a
funciones numricas y se escoge un resultado en lugar de hacer un anlisis
del conocimiento emprico. Consideremos las siguientes sentencias:

La temperatura est caliente

Los grandes proyectos generalmente tardan mucho

IBM es una compaa grande y agresiva

Alejandro es alto pero Ana no es bajita

Este tipo de proposiciones forman parte de nuestras relaciones cotidianas,
sin embargo, son incompatibles con el modelado tradicional de sistemas de
informacin. Si se pudieran incorporar estos conceptos se lograra que los
sistemas sean potentes y se aproximen ms a la realidad.
Los conjuntos clsicos se definen mediante un predicado que da lugar a
una clara divisin del Universo de Discurso X en los valores "Verdadero" y
"Falso". Sin embargo, el razonamiento humano utiliza frecuentemente
predicados que no se pueden reducir a este tipo de divisin: son los
denominados predicados difusos.
La teora de conjuntos difusos propone la extensin del concepto de
pertenencia para que admita graduacin entre la no-pertenencia y la
pertenencia total al conjunto. La fusificacin es independiente de cualquier
capacidad para medir, ya que, un conjunto difuso, es un conjunto que no
tiene lmites bien definidos y es tambin una funcin que asocia a cada
objeto del universo un valor en el intervalo [0,1].
Para el ejemplo del conjunto caliente es imposible dar al conjunto una
definicin clsica, ya que su correspondiente predicado no divide

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

claramente el universo de las temperaturas en conjuntos fro o caliente.

La manera ms apropiada de dar solucin a este problema es considerar
que la pertenencia o no pertenencia de un elemento x al conjunto, no es
absoluta sino gradual, definindose este conjunto como un Conjunto
Difuso.
Por tanto, se relajara la separacin estricta entre stos conjuntos,
permitiendo la pertenencia Si o NO al conjunto pero suavizando su funcin
de pertenencia con frases del tipo: pertenece un poco menos a o casi
pertenece a. Es decir, ya no adoptar valores en el conjunto discreto
{0,1} (lgica booleana), sino en el intervalo cerrado [0,1] como se aprecia
en la Figura 1.3.
El valor 1 representa que el elemento pertenece ntidamente al conjunto, el
valor 0 representa la no pertenencia absoluta al conjunto, y los dems
valores indican una pertenencia parcial al conjunto.

Figura 1.3 Representacin grfica de la funcin de pertenencia del

conjunto difuso "caliente.
La funcin de pertenencia se establece de una manera arbitraria, lo cual es
uno de los aspectos ms flexibles de los Conjuntos Difusos. Por ejemplo,
se puede convenir que la temperatura de 900 C pertenece al conjunto con
grado 1, la de 500 C con grado 0.4 y la de 200 C con grado 0. Luego,
cuanto mayor sea el valor de una temperatura, mayor es su grado de
pertenencia al conjunto caliente.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

Estos valores entre 0 y 1 son llamados grados de pertenencia. El grado de

pertenencia de un elemento a un conjunto va a venir determinado por su
funcin de pertenencia.
As, si se habla del conjunto Joven dentro del universo de las edades, se
podra decir que una persona de 10 aos pertenece a dicho conjunto con
grado 1 (pertenece completamente), una de 35 pertenece con algn grado
(por ejemplo, 0.5) y una persona de 70 aos pertenecera con grado 0 (no
pertenece). Esto es apreciable en su funcin de pertenencia (Figura 1.4)
[12].

Figura 1.4 Representacin grfica de la funcin de pertenencia del

conjunto difuso "Joven".
Como se puede apreciar, en los dos ejemplos anteriores, la funcin de
pertenencia del conjunto difuso toma todos los valores reales
comprendidos en el intervalo [0,1]. Por tanto, la funcin que a cada
elemento asigna un grado de pertenencia a un cierto conjunto, se
denomina funcin de pertenencia del conjunto difuso.
Tmese nuevamente el universo de la edad. Se haba visto que el Conjunto
Difuso "Joven" representa el grado de pertenencia respecto al parmetro
juventud que tendran los individuos de cada edad. Es decir, el conjunto
expresa la posibilidad de que un individuo sea considerado joven. De igual
manera, se puede definir un conjunto Maduro y uno Viejo(Figura 1.5).
Los Conjuntos Difusos de la Figura 1.5 se superponen, por lo que un
individuo podra tener distintos grados de pertenencia en dos conjuntos al

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

mismo tiempo: "Joven" y "Maduro". Esto indica que posee cualidades

asociadas con ambos conjuntos.

Figura 1.5 Ejemplo de Conjuntos Difusos en el universo de la edad.

Tmese un individuo x cuya edad sea de 20 aos. Como se puede
observar en la figura anterior, pertenece al Conjunto Difuso "Joven" y al
Conjunto Difuso "Maduro". Se puede observar que posee un grado de
pertenencia (x) de 0.6 para el Conjunto Difuso Joven y un grado de 0.4
para el Conjunto Difuso Maduro; tambin posee un grado de 0 para el
conjunto Viejo.
De este ejemplo se puede deducir que un elemento puede pertenecer a
varios Conjuntos Difusos a la vez aunque con distinto grado. As, el
individuo x tiene un grado de pertenencia mayor al conjunto "Joven " que al
conjunto "Maduro"(0.6 > 0.4), pero no se puede decir, tratndose de
Conjuntos Difusos, que x es joven o que x es maduro de manera rotunda.

CAPTULO II.
CARACTERSTICAS

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

El trmino "difuso" procede de la palabra inglesa "fuzz". Este trmino ingls

significa "confuso, borroso, indefinido o desenfocado".
La principal motivacin de la teora de conjuntos borrosos [Zadeh, 1965] fue la
construccin de un marco formal que permitiera el tratamiento y la manipulacin
de la incertidumbre presentes en numerosos mbitos del conocimiento humano.
La Lgica Difusa, es una lgica basada en la teora de conjuntos que posibilita
imitar el comportamiento de la lgica humana.
La Lgica Difusa es una rama de la inteligencia artificial que se funda en el
concepto Todo es cuestin de grado, lo cual permite manejar informacin vaga o
de difcil especificacin si quisiramos hacer cambiar con esta informacin el
funcionamiento o el estado de un sistema especfico. En cierto nivel, puede ser
vista como un lenguaje que permite trasladar sentencias sofisticadas en lenguaje
natural a un lenguaje matemtico formal. Con la Lgica Difusa, es entonces
posible gobernar un sistema por medio de reglas de sentido comn, las cuales
se refieren a cantidades indefinidas. Establecen una frontera gradual entre la nopertenencia y la pertenencia, y por tanto conforman una herramienta para el
modelado de la imprecisin o la incertidumbre.
La Lgica Difusa es esencialmente una lgica multivaluada que extiende a la
Lgica Clsica, la cual debe su nombre a que impone a sus enunciados,
nicamente, valores de falso o verdadero. Si bien la Lgica Clsica ha modelado
satisfactoriamente a una gran parte del razonamiento natural, tambin es cierto
que el razonamiento humano utiliza valores de verdad que no necesariamente son
deterministas.
El adjetivo difuso aplicado a esta lgica se debe a que en ellas los valores de
verdad no-deterministas utilizados tienen, por lo general, una connotacin de
incertidumbre. Por ejemplo, un vaso medio lleno, independientemente de que
tambin est medio vaco, no est lleno completamente ni est vaco
completamente. Qu tan lleno puede estar, es un elemento de incertidumbre, es
decir, de difusidad, entendida esta ltima como una propiedad de indeterminismo.
Uno de los objetivos de la Lgica Difusa es proporcionar un soporte formal al
razonamiento en el lenguaje natural que se caracteriza por un razonamiento
aproximado que utiliza premisas imprecisas como instrumento para formular el

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
conocimiento. La Lgica Difusa naci, entonces, como la lgica del Razonamiento
Aproximado, y en ese sentido, poda considerarse una extensin de la Lgica
Multivaluada.
El concepto de Razonamiento Aproximado se puede interpretar como el proceso
de obtener conclusiones imprecisas a partir de premisas tambin imprecisas.
Zadeh introdujo la teora del Razonamiento Aproximado y otros muchos autores
han hecho contribuciones importantes a este campo. En lenguaje natural se
describen objetos o situaciones en trminos imprecisos: grande, joven, tmido. El
razonamiento basado en estos trminos no puede ser exacto, ya que
normalmente representan impresiones subjetivas, quizs probables pero no
exactas.
Debido a esto, la Teora de Conjuntos Difusos se presenta ms adecuada que la
Lgica Clsica para representar el conocimiento humano, ya que permite que los
fenmenos y observaciones tengan ms de dos estados lgicos.

La Lgica Difusa actualmente est relacionada y fundamentada en la teora

de los Conjuntos Difusos. Las reglas involucradas en un sistema borroso,
pueden ser aprendidas con sistemas adaptativos que aprenden al
observar cmo operan las personas los dispositivos reales, o estas reglas
pueden tambin ser formuladas por un experto humano. El procedimiento
de razonamiento permite inferir resultados lgicos a partir de una serie de
antecedentes.
Aunque superficialmente pueda parecer que la teora del Razonamiento
Aproximado y la Lgica Clsica se diferencian enormemente, la Lgica Clsica o
Lgica Booleana puede ser vista como un caso especial de la primera.
La lgica tradicional de las computadoras opera con ecuaciones muy precisas y
dos respuestas: si o no, uno o cero. Ahora, para aplicaciones digitales muy mal
definidas o sistemas vagos se emplea la Lgica Difusa, donde las proposiciones
pueden ser representadas con grados de certeza o falsedad.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
Por ejemplo, la sentencia "hoy es un da 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 da.
Por medio de la Lgica Difusa pueden formularse matemticamente nociones
como: un poco caliente o muy fro, para que sean procesadas por computadoras y
cuantificar expresiones humanas vagas, tales como "Muy alto" o "luz brillante". De
esa forma, es un intento de aplicar la forma de pensar humana a la programacin
digital permitiendo cuantificar aquellas descripciones imprecisas que se usan en el
lenguaje y las transiciones graduales.
Los esquemas de razonamiento utilizados son "esquemas de razonamiento
aproximado", que intentan reproducir los esquemas mentales del cerebro humano
en

el

proceso

de

razonamiento.

Estos

esquemas

consistirn

en

una

generalizacin de los esquemas bsicos de inferencia en Lgica Binaria

(silogismo clsico).
Tan importante es la seleccin de un esquema de razonamiento como su
representacin material, ya que el objetivo final es poder desarrollar un
procedimiento analtico concreto para el diseo de controladores "heursticos",
que nos permita inferir el control adecuado de un determinado proceso en funcin
de un conjunto de reglas "lingsticas", definidas de antemano tras la observacin
de la salida y normas de funcionamiento de ste.
La Lgica Difusa trata de crear aproximaciones matemticas en la resolucin de
ciertos tipos de problemas. Pretende producir resultados exactos a partir de datos
imprecisos, por lo cual es particularmente til en aplicaciones electrnicas o
computacionales. Est definida como un sistema matemtico que modela
funciones no lineales, que convierte unas entradas en salidas acordes con los
planteamientos lgicos que usa el razonamiento aproximado.
La Lgica Difusa ha cobrado fama por la variedad de sus aplicaciones. En general
se aplica tanto a sistemas de control de complejos procesos industriales como
para modelar cualquier sistema continuo de ingeniera, fsica, biologa o
economa.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

El Principio de Incompatibilidad dice que la descripcin del comportamiento

de un sistema complejo no puede realizarse de forma absolutamente
precisa. Para solucionar este problema Zadeh plantea la necesidad de
obtener herramientas capaces de manejar de forma rigurosa y fiable
informacin imprecisa, lo cual obliga a desarrollar dos aspectos:
Representacin de la informacin imprecisa: Para esto lo que propone es el
empleo de la Teora de conjuntos difusos. As como describir la experiencia
de los sistemas complejos en sus relaciones entrada-salida mediante
proposiciones condicionales del tipo Si-Entonces (Ejemplo: Si la presin es
muy alta Entonces vaciamos el recipiente) de manera que las variables de
entrada y las variables de salida quedan ligadas. Inferencia sobre
informacin imprecisa: Ahora se necesita una forma de combinar esta
informacin para obtener nuevos hechos. Entonces Zadeh establece la
necesidad de un mtodo de inferencia generalizado e introduce lo que se
conoce como Regla Composicional de Inferencia. A partir de este principio,
se pueden describir las principales caractersticas esenciales de la lgica
difusa y los sistemas difusos:
1. El razonamiento exacto puede verse como un caso particular del
razonamiento aproximado. Cualquier sistema lgico puede ser fuzzificado.
Mediante lgica difusa se puede formular el conocimiento humano de una
forma sistemtica, y puede ser fcilmente incluido en sistemas de
ingeniera.
2. El conocimiento se interpreta como una coleccin de restricciones
difusas sobre una coleccin de variables. Los sistemas difusos son
especialmente interesantes para la definicin de sistemas cuyo modelo
exacto es difcil de obtener (es necesario introducir una aproximacin).
3. La inferencia puede verse como un proceso de propagacin de estas
restricciones difusas.
4. Se utiliza ampliamente en sistemas de ayuda a la decisin. La lgica
difusa permite obtener decisiones con valores incompletos o informacin
incierta.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

Los sistemas difusos son muy recomendables en aquellos problemas muy

complejos donde no existe un modelo matemtico simple asociado.
Igualmente en procesos que obedecen a un comportamiento no lineal, la
solucin difusa plantea grandes ventajas. La solucin difusa requiere que el
conocimiento experto sea expresado lingsticamente, requisito que es
normalmente fcil de obtener.

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
CAPTULO III.
APLICACIONES

Desde mediados de los aos 70, la lgica difusa se ha utilizado ampliamente

debido a varios factores. Uno de ellos es que el uso de conocimiento experto
permite la automatizacin de tareas. En muchas reas de aplicacin se reduce
considerablemente la necesidad de operadores que basan su conocimiento en
la experiencia (y que difcilmente podra ser expresado con ecuaciones
diferenciales). De este modo, si existe un conocimiento del proceso, es posible
modelarlo mediante lgica difusa. Los sistemas basados en lgica difusa son
fciles de disear, modificar y mantener. Pese a la prdida de precisin, la
reduccin de tiempo de desarrollo y mantenimiento es muy relevante para su
uso industrial.
La lgica difusa es aplicable en situaciones y/o campos como:
Donde hallan procesos muy complejos, en los cuales los modelos matemticos
simples no son capaces de dar solucin a determinados problemas. Por
ejemplo, un sistema de riego el cual funciona a partir del clima del medio
ambiente. Este sistema no puede basarse en clima frio o caliente como lo hara
un sistema lgico binario, el cual toma dos estados. Ac necesitamos tomar en
cuenta diferentes estados para dar modelos matemticos automatizados que
den salidas y/o decisiones factibles
Para procesos altamente no lineales, ejemplos de estos son:

-La meteorologa
- La combustin
- La evolucin biolgica

En el campo de las empresas este tipo de teora se ha extendido en general a

todas las reas de decisin, en las que se manejan estimaciones subjetivas
basadas en la informacin disponible y en su propia experiencia. Por ejemplo:

- Modelos de decisin utilizados con criterios de optimizacin

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

-Modelo de produccin
- Inventarios
- Seguros de vida
- Localizacin de plantas industriales
- Seleccin de carteras
- Estrategia de entrada a mercados extranjeros
- Valoracin de intangibles en empresas de Internet.

Estructura de un sistema de diagnstico de epilepsia basado en lgica difusa

Cuando los sistemas funcionan generalmente bien o los modelos

matemticos se pueden disear fcilmente, no hay necesidad de emplear la
lgica difusa, puesto que la solucin no es tan compleja como para hacer
deducciones del tipo que hacen los seres humanos.

CAPTULO IV.
VENTAJAS Y DESVENTAJAS

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
VENTAJAS

La principal ventaja de este sistema de control es su facilidad de

implementacin.
Este tipo de sistemas estn dando muy buenos resultados en procesos

no lineales y de difcil modelacin.

El modo de funcionamiento es similar al comportamiento humano.
Es una forma rpida y econmica de resolver un problema.
No se necesita conocer el modelo matemtico que rige

su

funcionamiento.

DESVENTAJAS

Mltiples definiciones de operadores y reglas de inferencia difusas.

Dificultad de interpretacin de valores difusos (semntica no clara).
No hay una buena justificacin de operadores difusos.
En las redes neuronales se precisa de un tiempo de aprendizaje para
obtener los mejores resultados en la salida. (Al igual que ocurre con los

humanos).
Ante un problema que tiene solucin mediante un modelo matemtico,
obtenemos peores resultados usando Lgica Difusa.

CONCLUSIONES
La teora de los Conjuntos Difusos y sus ulteriores desarrollos, constituyen
modelos que resultan especialmente tiles para tratar con la incertidumbre de

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS
manera ms "natural" y ms "humana" que la lgica y la teora de conjuntos
clsicas.
La Lgica Difusa surgi debido a la necesidad de solucionar problemas
complejos con informacin imprecisa para los cuales la lgica tradicional no era
suficiente. Es un lenguaje que permite trasladar sentencias sofisticadas del
lenguaje natural a un lenguaje matemtico formal.
Los Conjuntos Difusos, como su nombre lo indica, no tienen lmites bien
definidos, es decir, la transicin entre la pertenencia y la no pertenencia de una
variable a un conjunto es gradual. Para representar formalmente la
incertidumbre de este tipo de enunciados se definen variantes de la Lgica
Clsica en la que los valores de verdad no se limitan solamente a Verdadero y
Falso.
Se caracteriza por Funciones de Pertenencia que dan la flexibilidad a la
modelacin utilizando expresiones lingsticas tales como mucho, poco, leve,
severo, escaso, suficiente, caliente, fro, joven.

Un elemento puede pertenecer a varios Conjuntos Difusos a la vez

aunque con distinto grado y, en este caso, no se puede decir, tratndose
de Conjuntos Difusos, que pertenece a un nico conjunto de manera
rotunda.

ANEXOS

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y METALURGIA
INGENIERA DE MINAS

REFERENCIAS
BIBLIOGRAFA

WEBGRAFIA
https://www.google.com.pe/search?
q=logica+difusa&espv=2&biw=1600&bih=770&site=webhp&tbm=isch&tb
o=u&source=univ&sa=X&sqi=2&ved=0ahUKEwiKuY78obzMAhXE6SYK
HYENC-gQsAQILA.
http://es.slideshare.net/miriam1785/log-8778813.
http://www.tdx.cat/bitstream/handle/10803/6887/04Rpp04de11.pdf;jsessi
onid=E8F8B4632F9B38E31E47C8EF130DF4F2.tdx1?sequence=4.
http://www.biblioteca.udep.edu.pe/bibvirudep/tesis/pdf/1_185_184_133_
1746.pdf.
http://www.esi.uclm.es/www/cglez/downloads/docencia/2011_Softcomput
ing/LogicaDifusa.pdf