Siguiente: Cálculo de predicados difuso
Un nivel arriba: Introducción a la lógica
Anterior: Conjuntos difusos
Recordamos que Gottfried Wilhelm Leibniz2 planteó en el s. XVII la necesidad de un calculus ratiocinator que sería un sistema con un propio formalismo que permitiera la manipulación simbólica de enunciados, en concordancia con las leyes de la lógica, para descubrir nuevas verdades o bien para verificar como verdaderas a tesis postuladas como tales. Por lo menos desde entonces se reconoció la relevancia del manejo (procesamiento) simbólico de enunciados lógicos. Naturalmente, George Boole3 y Gottlob Frege4 contribuyeron de manera notabilísima en el origen mismo del razonamiento automático. Mas, desde la perspectiva de las lógicas difusas, en los antecedentes de ellas es necesario mencionar a Jan
ukasiewicz5. En su sistema trivaluado, si a los valores de verdad Falso, Desconocido y Verdadero se les representa, respectivamente, por los valores numéricos 0,
y 1, entonces las nociones de complemento
, conjunción
y disyunción
, corresponden a la interpretación intuitiva de esos conectivos lógicos (invitamos al lector a que escriba las tablas de verdad de los conectivos y a que se cerciore de esta aseveración). Este sistema trivaluado entraña, ciertamente, una noción de difusidad.
En un cálculo proposicional difuso se tiene inicialmente una colección de proposiciones primitivas, o ``atómicas'', una serie de conectivos lógicos y reglas definidas de ``buena formación'' de proposiciones ``compuestas'' a partir de las atómicas. Cada proposición puede asumir un valor de verdad que puede ser Falso, o Verdadero o alguno otro ``entre'' esos dos valores extremos de verdad. Cada conectivo lógico tiene asociada una función que determina el valor de verdad de la proposición resultante de él en términos de los valores de verdad de las proposiciones que componen a esa proposición resultante. Resultan entonces sendos problemas ``de deducción'' (dado que los valores de las proposiciones atómicas quedan caracterizados, se ha de caracterizar los de proposiciones compuestas partiendo de ellas) y ``de inferencia'' (dado que los valores de las proposiciones compuestas han sido observados, se ha de formular hipótesis, y además probarlas, respecto a los valores de las proposiciones atómicas involucradas que debieron dar origen a los valores observados). En lo que sigue, detallaremos esta construcción de un cálculo proposicional difuso.
Comencemos con conjuntos de valores de verdad a los cuales llamaremos de valuaciones. Un conjunto de valuación
puede ser finito o bien puede ser un contínuo.
Como ejemplos de valuaciones finitas consideremos primero un enfoque de creencias, que a cada proposición atómica le asocia una etiqueta lingüística tal como:
Falso Casi_falso Tal_vez_falso Desconocido Tal_vez_cierto Casi_cierto Verdadero
o bien, con un enfoque de ``posesión de atributos'' del tipo ``
es
'', las etiquetas lingüísticas pueden ser
Definitivamente_no Más_bien_no Al_parecer_no No_se_sabe
Al_parecer_sí Más_bien_sí Definitivamente_sí
De este segundo tipo son las mediciones de variables de control cuando éstas varían de manera discreta, es decir, cuando los aparatos de medición detectan tan solo cambios de una determinada magnitud. El vendedor de telas en la mercería de la esquina mide longitudes con un metro marcado hasta centímetros. Sus ``etiquetas lingüísticas'' serían
.00 .01 .02
![$\cdots$](img82.png)
.5
![$\cdots$](img82.png)
.98 .99 1.
Si
es un conjunto de valuación finito, entonces al enumerar a sus elementos, digamos
, se puede suponer que esa enumeración concuerda con el orden interno de
, es decir, si
entonces la etiqueta lingüística
es menor, en el orden de
, que
. En tal caso,
puede identificarse con un subconjunto de números entre 0 y 1, incluyendo éstos, de manera que el primer elemento
corresponda a 0 y el último,
, corresponda a 1 (esto se logra si a cada
se le asocia el número
lo cual daría una distribución uniforme de las etiquetas en el intervalo
pero ciertamente ésta no es la única manera de insertar a
en
, la manera en la que se inserte dependerá de la aplicación, evidentemente).
Como ejemplos de valuaciones contínuas tenemos los que resultan cuando se estima ``probabilidades de ocurrencia''. Si a una proposición
se le asocia la probabilidad de que ocurra (en cierto espacio de eventos) entonces su valor de verdad puede ser un número real entre 0 y 1 inclusive. O bien, cuando se observa una parámetro
en algún proceso, el cual varía de manera contínua y puede asumir valores entre uno mínimo
y otro máximo
, entonces el propio intervalo
constituye un espacio de valuación contínuo.
Utilizando una sencilla regla de tres, es decir, asociándole a cada número
entre
y
, el número
se puede identificar al conjunto de valuación
con el intervalo
.
Así pues, sin ninguna pérdida de generalidad, podremos suponer siempre que el conjunto de valuación
es un subconjunto del intervalo
y contiene a los extremos 0 y 1. Supondremos también que es simétrico respecto al punto medio
, es decir, supondremos que si para un número
se tiene que
está en
entonces
está también en
.
Para construir un cálculo proposicional difuso, elijamos un conjunto
de proposiciones atómicas. Una asignación es una correspondencia que a cada átomo
en
le asocia bien un valor
en
o bien lo deja sin ningún valor asociado.
Supongamos ahora que se tiene tres conectivos lógicos: complemento
, conjunción
y disyunción
, cada una con una respectiva operación de evaluación, digamos
. Entonces la colección de proposiciones booleanas compuestas
se define como sigue: Todo átomo
es un elemento de
; el complemento de una proposición en
está también en
; y la conjunción y la disyunción de dos proposiciones en
están también en
.
Toda asignación
, definida sobre los átomos se extiende naturalmente a una asignación
definida en toda la colección
. A saber: Si
es un átomo, entonces
. Si para una proposición
en
se tiene
entonces
. Similarmente, si para dos proposiciones
en
se tiene
,
entonces
En jerga técnica, se dice que la asignación
está propagando incertidumbres partiendo de la asignación
.
Ya hemos visto ejemplos de funciones de evaluación en la sección anterior. En la tabla 1 presentamos un resumen de ellas en el contexto actual y además presentamos una nueva colección de funciones de evaluación debidas también a
ukasiewicz.
Tabla 1:
Funciones de evaluación para conectivos de complemento, conjunción y disyunción.
![\fbox{$\begin{array}{rcl}
f_{\neg}(x) &=& 1-x \\
f_{\cap}(x,y) &=& \min(x,y) \\
f_{\cup}(x,y) &=& \max(x,y) %%\\
\end{array}$}](img109.png) |
![\fbox{$\begin{array}{rcl}
f_{\neg}(x) &=& 1-x \\
f_{\cap}(x,y) &=& \left\{\be...
...{(1-x)}\right) &\mbox{ si }x+y< 1 %%\\
\end{array}\right. %%\\
\end{array}$}](img110.png) |
(a) Proporcionalidad |
(b) Creencia
|
![\fbox{$\begin{array}{rcl}
f_{\neg}(x) &=& 1-x \\
f_{\cap}(x,y) &=& x\cdot y \\
f_{\cup}(x,y) &=& x+y-xy %%\\
\end{array}$}](img111.png) |
![\fbox{$\begin{array}{rcl}
f_{\neg}(x) &=& 1-x \\
f_{\cap}(x,y) &=& \max(x+y-1,0) \\
f_{\cup}(x,y) &=& \min(x+y,1) %%\\
\end{array}$}](img112.png) |
(c) Probabilístico |
(d) ukasiewicz |
|
Hasta ahora hemos sólo considerado tres tipos de conectivos lógicos: complemento, conjunción y disyunción. Sin embargo, los demás quedan prácticamente determinados pues siempre se puede definir a la implicación haciendo
y a la equivalencia lógica haciendo, por ejemplo,
. Recíprocamente, si se tuviese definidas únicamente funciones de evaluación para el complemento y para una implicación ``
'' entonces se podría definir a los demás conectivos haciendo:
,
, y
. En varias lógicas difusas se procede según esto último.
Así pues, cada posible selección de funciones de evaluación de conectivos da origen a un distinto cálculo proposicional difuso. Lo que tienen en común todos ellos es que cuando se les restringe a considerar sólo valores de verdad deterministas
y
entonces coinciden con el cálculo proposicional clásico. No se puede afirmar que ninguno de los presentados aquí es el correcto. Dependiendo de algunas aplicaciones acaso uno de ellos es el más adecuado, mas dejará de serlo, cuando se cambie de aplicaciones.
Siguiente: Cálculo de predicados difuso
Un nivel arriba: Introducción a la lógica
Anterior: Conjuntos difusos
Guillermo Morales-Luna
2002-02-17