Tablas de Verdad para L ogica Difusa Est andar

Laura Camila Realpe Mancipe

20091005009
Universidad Dsitrital
Francisco Jos e de Caldas
Email: lcrealpem@ieee.org
Edgar Felipe Duarte Porras
20091005032
Universidad Dsitrital
Francisco Jos e de Caldas
Email: felipeduarte@ieee.org
Resumen
I. INTRODUCCI ON
Los sistemas de pensamiento, manejo de informaci on o
sistemas l ogicos han sido abordados a lo largo de la historia
desde diferentes puntos de vista de acuerdo a la forma de
ver la realidad; propia de cada uno de sus exponentes, es
interesante notar que aun cuando no son funcionalmente
dependientes, cada una de estas posiciones mantiene una
conexi on entre s. Entre estos puntos de vista encontramos
un pensamiento los oco y uno netamente matem atico que
busca el desarrollo algebraico de la l ogica.

Estas formas de pensamiento se ven reejados en dos

escritos publicados alrededor de los a nos 20 postulan las bases
de la l ogica polivalente. Ambos escritos fueron desarrollados
independientemente y se acercan a la materia desde dos
perspectivas distintas. Primero un artculo de Lukasiewicz
publicado en 1920 presenta el resultado de las investigaciones
que el autor haba venido realizando sobre las llamadas
proposiciones modales y sobre las nociones con ellas
relacionadas de posibilidad y necesidad. Motivado por estas
consideraciones de car acter los oco propone y desarrolla un
sistema de l ogica trivalente.
En 1938 S.C. Kleene presenta un nuevo sistema de
l ogica trivalente en el marco de las funciones recursivas.
Construye sus tablas de verdad en t erminos de una aplicaci on
matem atica. Una funci on preposicional P es considerada
como predicado de una variable x cuyo rango es el dominio
D y en donde P(x) queda denido para una parte de ese
dominio.
En este artculo se dar a una introducci on a estos sistemas
l ogicos desarrollados y se profundizara en la l ogica propuesta
por Stephen Cole Kleene y su forma de obtener las tablas de
verdad para un sistema de ese tipo realizando simulaciones en
el software Excel.
II. L OGICA DE TRIVALENTE DE KLEENE
Se llama l ogica trivalente a cualquier sistema l ogico
multivaluado en el que hay tres valores de verdad, indicando
Verdadero, Falso y alg un otro valor indeterminado. Esto
contrasta con las m as comunes l ogicas bivalentes (tales como
la cl asica l ogica proposicional o la l ogica booleana), que
contemplan unicamente Verdadero o Falso.
Kleene presenta un nuevo sistema de l ogica trivalente
que haciendo uso de las funciones recursivas, contruyendo
tablas de verdad en t erminos matem aticos m as que los ocos.
Para esta l ogica se introduce nuevos sentidos de las
conectivas preposicionales, donde Q(x) P(x) ser a denido
en algunos casos en los que Q(x) o R(x) sean no denidos.
Para las tablas de verdad se utilizan tres valores (verdadero,
falso y no denido) para describir los sentidos que ahora
tienen las conectivas.
V: verdadero
F: falso
U: no denido
Para la l ogica de Kleene se cumplen todos los postulados
de la l ogica cl asica exceptuando el de tercero excluido y la
contradicci on.
Para Kleene el objeto de que las conectivas proposicionales
sean operaciones recursivas parciales, (o, al menos, produzcan
predicados recursivos parciales cuando se las aplique a
predicados recursivos parciales), tiene sentido cuando se
eligen tablas que sean regulares, en el siguiente sentido: una
columna (la) dada contiene y en la la (columna) de la u,
solamente si la columna (la) consta enteramente de casos
de t

s; y similarmente en lo que respecta a f.

Cuando se extiende las expresiones desde la recursividad
primitiva a la parcial, se utiliza las conectivas proposicionales
en sus sentidos d ebiles, que son descritos por tablas trivalentes
d ebiles obtenidas de las tablas cl asicas bivalentes. Tales tablas
son trivialmente regulares.
Los sentidos fuertes de las conectivas proposicionales est an
descritos por las tablas fuertes de Kleene donde los valores
t, f y u se pueden reemplazar por los valores 1, 0, y 1/2,
respectivamente.
II-A. Construcci on de las Tablas de Verdad
Podemos construir las tablas de Kleene basados en los
siguientes principios:
A. Al objeto de que las conectivas proposicionales sean
operaciones recursivas parciales (o al menos produzcan
predicados recursivos parciales), hemos de elegir para ellas
tablas que sean regulares en el siguiente sentido: Una columna
(la) dada contiene 1 en la la (columna) de 1/2 ,
solamente si la columna (la) consta enteramente de casos
de 1 y similarmente en lo que respecta a 0 .
B. El valor de 1/2 signica lo no conocido (lo
indenido). Aqu no conocido es una categora dentro de
la cual podemos considerar que cae cualquier proposici on,
cuyo valor o bien no nos es conocido, o bien preferimos, de
momento, no considerarlo; sin que ello excluya entonces las
otra posibilidades, verdadero y falso.
C. Las tablas fuertes est an determinadas de modo unico
como las extensiones regulares de mayor fuerza posible de
las tablas cl asicas, bivalentes, es decir, son regulares y tienen
1 o 0 en cada posici on donde cualquier extensi on
regular de la tablas bivalentes pueda tener un 1 o un
0 (si 1 o 0 est an determinados de modo
unico).
Figura 1. Tablas Fuertes
II-A1. Subsubsection Heading Here: Subsubsection text
here.
III. CONCLUSIONES
Un caso particular de un sistema difuso son los sistemas
trivalentes, los cuales asignan tres valores posibles a los
n umeros que [0, 1].
Las operaciones utilizadas en la l ogica bivalente se pueden
llevar a un dominio trivalente, bajo ciertas condiciones
necesarias.
Las l ogicas trivalentes ofrecen ventajas en el procesamiento
de datos, frente a las l ogicas bivalentes.
REFERENCIAS
[1] M. Gehrke, C. Walker, and E. Walker, A mathematical setting for fuzzy
logic, International Journal of Uncertainty, Fuzziness and Knowledge-
Based Systems, vol. 5, no. 3, pp. 223238, Jun. 1997.
[2] Some comments on fuzzy normal forms, in Proceedings of the ninth
IEEE International Conference on Fuzzy Systems, vol. 2, San Antonio,
Texas, May 2000, pp. 593598.
[3] Normal forms and truth tables for fuzzy logics, Fuzzy Sets and Systems,
vol. 138, no. 1, pp. 2551, Aug. 2003
[4] M. Mukaidono, Regular ternary logic functionsternary logic functions
suitable for treating ambiguity,IEEE Transactions on Computers, vol. C-
35, no. 2, pp. 179183, Feb. 1986.
[5] H. T. Nguyen, N. R. Prasad, C. L. Walker, and E. A. Walker, A First
Course in Fuzzy and Neural Control. Boca Raton, Florida: Chapman y
Hall/CRC, 2003
[6] Velarde Lombra na, Julian. L ogica polivalente. El basilisco No 1.
Marzo- Abril 1978.