RAZONAMIENTO E INFORMACIN (PROPOSICIONES)

La teora de conjuntos difusos nos permite representar hechos y relaciones vagas (imprecisas). Se entiende por razonamiento difuso el proceso de realizar inferencias a partir de hechos y relaciones difusas, as como la combinacin de evidencias difusas y la actualizacin de la precisin de las creencias. Una proposicin difusa simple es aquella que asigna un valor a una variable difusa, por ejemplo: la estatura de Pepe es mediana o la velocidad es normal. Una proposicin difusa tiene por tanto asociado un conjunto difuso A (el valor lingstico asignado, mediana en este caso) y su correspondiente funcin de pertenencia A definida sobre los elementos del universo de discurso uU. Una proposicin difusa compuesta es aquella que se obtiene mediante la agrupacin de dos o ms proposiciones difusas simples, que pueden haber sido modificadas o no antes de la agrupacin. Para agrupar proposiciones difusas simples podemos utilizar las conectivas Y y O, y para modificar una proposicin difusa simple podemos utilizar el NO. As por ejemplo podemos construir proposiciones difusas del tipo: la velocidad es normal Y el objeto est cerca la velocidad es alta O el objeto est muy cerca la velocidad NO es alta Los operadores lgicos difusos pueden definirse de forma anloga a como se definieron las operaciones entre conjuntos: sean p y q dos proposiciones difusas, A y B los conjuntos difusos que intervienen en ellas, con funciones de pertenencia A y B definidas respectivamente sobre universos de discurso U y V. Entonces, los operadores lgicos pueden definirse mediante: NO (p) vendr definida por una funcin de pertenencia tipo complemento de A, por ejemplo A(u) = 1 - A(u) Y (pq) vendr definida por una funcin de pertenencia tipo interseccin, por ejemplo AB(u,v) = in( A(u), B(v)) O (pq) vendr definida por una funcin de pertenencia tipo unin, por ejemplo AB(u,v) = ax(A(u), B(v)) Ahora tenemos que definir lo que significa una implicacin, es decir, tenemos que asignar una funcin de pertenencia a una agrupacin antecedente consecuente

del tipo pq. Definir el significado de la implicacin nos permitir razonar con reglas del tipo: SI la velocidad es normal ENTONCES la fuerza de frenado debe ser moderada Esta funcin de pertenencia ser del tipo:

pq : U x V [0,1] (u,v) pq(u,v) Al definir la relacin de implicacin surge una cuestin importante qu se quiere representar mediante la relacin de implicacin? La cuestin es fundamental porque las relaciones de implicacin son la base del razonamiento basado en reglas. Existen en principio dos posibilidades diferenciadas: a) Dar a la implicacin el mismo significado que en la lgica clsica. Por ejemplo, en lgica clsica tenemos la equivalencia pq pq. De este modo, la funcin de pertenencia asociada a la regla Si A entonces B, donde A y B son conjuntos difusos sera: pq(u,v) = max(1-A(u), B(v)) En lgica clsica tambin tenemos la equivalencia pq ~(p (~q)), que conducira a la siguiente definicin: pq(u,v) = 1 min[A(u), 1-B(v)] Ambas funciones son equivalentes. b) Dar a la implicacin el significado de relaciones causa-efecto normalmente utilizadas en los sistemas basados en conocimiento. El primer caso se corresponde con la implicacin lgica, al segundo podemos darle el nombre de implicacin causa-efecto. Aunque la implicacin lgica difusa es interesante desde el punto de vista terico, conduce a una formulacin inadecuada para muchas aplicaciones de sistemas basados en conocimiento, que representan las relaciones causa-efecto de un modo no consistente plenamente con la lgica. Queda entonces abierta la cuestin de como formalizar el significado de las relaciones de implicacin causa-efecto. La ms utilizada actualmente fue propuesta por Mamdani:

IMPLICACIN DE MAMDANI: pq pq pq(u,v) = min( A(u), B(v)) Para Mamdani, el grado de verdad de pq es idntico al de la proposicin A y B. Podramos justificar esto diciendo que, para Mamdani, una condicin tan slo resulta cierta cuando el antecedente es cierto y el consecuente tambin.