LÓGICA TEMPORAL

La lógica temporal es una rama de la lógica simbólica que se ocupa de problemas

en proposiciones que tienen valores de verdad dependientes del tiempo. La lógica
temporal se considera una variante de la lógica modal, que es una rama de la
lógica que trata con proposiciones que pueden expresarse como un conjunto de
mundos posibles. La lógica temporal se usa para tocar todos los enfoques de
razonamiento y representación basados en el tiempo.

Las aplicaciones de la lógica temporal incluyen el uso del razonamiento en

cuestiones filosóficas basadas en el tiempo, como lenguaje en lenguaje artificial
para codificar conocimiento temporal y como herramienta para análisis formal,
especificación y verificación de requisitos de hardware y software de aplicaciones
y sistemas informáticos.

El concepto de lógica temporal fue introducido por primera vez por Arthur Prior en
1960 bajo la "lógica tensa", que se amplió aún más por otros informáticos y
lógicos. La lógica temporal no se centra en la verdad o la falsedad de las fórmulas,
sino que se centra en las fórmulas que permanecen verdaderas a través del flujo
del tiempo, incluso si se modifica la valoración.

La lógica temporal tiene dos tipos de operadores: operadores modales y

operadores lógicos. Los operadores de modelos se utilizan en gran medida en la
lógica del árbol de cómputo y la lógica temporal lineal, mientras que los
operadores lógicos son en su mayoría operadores de verdad funcional. La lógica
temporal de la señal, la lógica temporal del intervalo, la lógica temporal del
intervalo métrico, la lógica temporal lineal, la lógica del árbol computacional y otras
forman parte de la lógica temporal.

Una de las características más destacadas de las proposiciones temporales es

que en su mayoría tiene referencias implícitas o explícitas a las condiciones de
tiempo. Esto contrasta con la lógica clásica, que se centra en proposiciones
intemporales. La lógica temporal es uno de los mejores y más apropiados medios
para razonar con proposiciones relacionadas con el tiempo, gracias a los
cuantificadores temporales. Aunque la lógica clásica puede ocuparse de las
propiedades temporales, las fórmulas a menudo tienden a ser complicadas ya que
los puntos de tiempo deben representarse.

EJEMPLO:

Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es

independiente del tiempo, el valor de verdad o falsedad de la misma puede variar
con el tiempo en un determinado sistema que incluya acciones de comer; así, en
función del sistema, algunas veces será cierta y otra falsa, aunque nunca será
cierta y falsa simultáneamente.

Dentro de la lógica temporal en vez de tener el cuadrado y el rombo, lo que se ha

hecho es particularizar bien una serie de símbolos propios de la lógica modal. La
lógica temporal es una particularización o un caso concreto de la lógica modal. La
afirmación se basa en que, si nosotros hacemos una afirmación p “la que sea”,
como la hacemos en la lógica de primer orden o en la lógica de proposiciones,
representaría lo que es verdad en el presente, pero nosotros en un momento dado
queremos incluir también sentencia, queremos afirmar cosas sobre el pasado y
sobre el futuro, de esa forma podemos hacer luego inferencias tratando las cosas
según el tiempo.

Identificadores:

P: verdad en el presente

Pp: verdad en algún punto del pasado

Fp: verdad en algún punto del futuro

Hp: verdad en todos los puntos del pasado

Gp: verdad en todos los puntos de futuro

      P           Hp ʌ P ʌ Gp

    p             Pp V p V Fp

En la lógica temporal el valor de verdad de una proposición varía con el tiempo:

” Hoy es viernes.”

Razonamientos que involucran presente pasado y futuro:

“si ya ley el libro sobre física cuántica, aprobare el examen de hoy y algún día
llegare a ser un físico importante.”

LOGICA MODAL

Desarrollado en la década de 1960, el lógica modal expandió la lógica clásica,

proposicional y de predicados para incluir operadores que expresan modalidad. De
esta forma también se amplían las posibilidades de utilizar la lógica para analizar y
resolver problemas en la filosofía del lenguaje y la ciencia.

La modalidad se refiere a los modos, especialmente la posibilidad, la

imposibilidad, la probabilidad y la necesidad, y la lógica modal se desarrolla
principalmente para tratar estos conceptos. Formalmente, la modalidad se expresa
utilizando los denominados operadores modales. Por ejemplo, el enunciado “Paulo
está triste” puede calificarse como “Paulo suele estar triste”, el término
“habitualmente” en este caso es un modo, expresa la modalidad. Para usar un
operador modal clásico, tenemos el ejemplo: “puede ser sol hoy” y “quizás sea sol
hoy”, ambas frases expresan posibilidad. En este caso, tenemos el operador
modal “posible” asociado con la frase “hará Sol hoy”.
La notación unaria estándar (un solo lugar) para los operadores modales
generalmente se escribe como □ para Necesidad y ◊ para Posibilidad.
Formalmente, cada uno puede expresarse por su negación (¬):

◊P ↔ ¬ □ ¬ P significa que «posiblemente P» es igual a «no necesariamente no

P» o «no es necesario que P no sea el caso».

□ P ↔ ¬ ◊ ¬ P significa que «necesariamente P» es igual a «no posiblemente no

P» o «no es posible que P no sea el caso».

Si, por ejemplo, en un contexto dado P significa “lloverá hoy”, es posible que
lloverá hoy si y sólo si no es necesario que no “lloverá hoy”. Por otro lado, es
necesario que llueva hoy si, y sólo si, no es posible que no “llueva hoy”.

Aunque se desarrolló en la década de 1960, la historia de la lógica modal

comienza en 1906, con la publicación de Symbolic Logic and its Applications, por
Hugh MacColl. MacColl sentó las bases de lo que se convertiría en lógica modal y
fue sucedido en este trabajo por Clarence Irving Lewis, quien en 1918 publicó su
trabajo A Survey of Symbolic Logic, basado en sus estudios de los Principia
Mathematica de Bertrand Russell, particularmente en su decisión de excluir la
implicación material. , un dispositivo que permitía que un consecuente verdadero
fuera seguido por un antecedente falso. Lewis reemplazó la implicación material
con la implicación estricta, evitando que los antecedentes falsos impliquen
consecuentes verdaderos en su modelo de lógica. Para eso, además de la
negación y la conjunción de Lewis, se utilizó un operador modal unario intencional
que indicaba la posibilidad, cuya notación es un diamante. La propuesta de Lewis
se rechaza hoy, con el operador de necesidad, cuya notación es un cuadrado,
como primitivo y el operador de posibilidad como derivado.

A lo largo del siglo XX se propusieron varios modelos hasta el establecimiento de

la lógica modal, siendo los principales: Sistema T, propuesto por Robert Feyes,
Sistema M, propuesto por Georg Henrik von Wright. El sistema M fue
posteriormente utilizado por CI Lewis como complemento a sus sistemas S1, S2,
S3, S4 y S5, creados en la obra de 1932 y desarrollados en la década de 1950,
cuyos estudios condujeron a nuevos desarrollos y, en última instancia, al
establecimiento de el Sistema Modal Mínimo Normal K, desarrollado por el
renombrado filósofo Saul Kripke. El sistema propuesto por Kripke, basado en su
semántica de mundos posibles, o semántica de Kripke, se ha convertido en el
estándar en lógica modal, marcando el comienzo de la era actual de la lógica.

El filósofo Arthur Norman Prior, quien mantuvo correspondencia con Kripke

durante el desarrollo del Sistema K, procedió a la creación de la lógica temporal,
utilizando operadores modales. [F] al «futuro» y [P] para «anteriormente». Los
desarrollos posteriores en la lógica temporal incluyen varias ramas aplicadas, que
incluyen: Lógica de Hennessy-Milner; Lógica temporal lineal; Lógica Proposicional
Temporal Lineal; Lógica proposicional dinámica; y lógica de árbol de computadora.

EJEMPLO:

Por ejemplo, en el juicio «es necesario que 2 + 2 = 4», la expresión “es necesario
que” es un operador modal que califica de necesaria a la verdad del juicio “2 + 2 =
4”. De manera análoga, la expresión “siempre” califica a un juicio verdadero como
verdadero en cualquier momento, es decir, siempre. No es lo mismo decir “está
lloviendo” que decir “siempre está lloviendo”.

En un sentido más restringido, sin embargo, una lógica modal es un sistema

formal que intenta capturar el comportamiento deductivo de las expresiones “es
necesario que” y “es posible que”. Este artículo trata exclusivamente sobre lógicas
modales en este sentido restringido. Las lógicas modales pertenecen al grupo de
las llamadas “extensiones de la lógica clásica” o “lógicas extendidas” entre las
cuales se incluyen además la lógica deóntica, la lógica temporal, la lógica
epistémica y la lógica doxástica.
 LOGICA DIFUSA

La lógica difusa (también llamada lógica borrosa) es una lógica

paraconsistente que identifica fracciones de valores verdaderos entre 0 y 1 de
forma gradual. Fue formulada por el matemático e ingeniero Lotfi A. Zadeh.

permite tomar decisiones más o menos intensas en función de grados intermedios

de cumplimiento de una premisa; se adapta mejor al mundo real en el que vivimos,
e incluso puede comprender y funcionar con nuestras expresiones, del tipo “hace
mucho calor”, “no es muy alto”, “el ritmo del corazón está un poco acelerado”, etc.

Toma dos valores aleatorios, pero contextualizados y referidos entre sí. Por

ejemplo, una persona que mida dos metros es claramente una persona alta, si
previamente se ha tomado el valor de persona baja y se ha establecido en un
metro. Ambos valores están contextualizados a personas y referidos a una medida
métrica lineal.

La clave de esta adaptación al lenguaje se basa en comprender

los cuantificadores de cualidad para nuestras inferencias (en los ejemplos de
arriba, “mucho”, “muy” y “un poco”).

En la teoría de conjuntos difusos se definen también las operaciones

de unión, intersección, diferencia, negación o complemento, y otras operaciones
sobre conjuntos (véase también subconjunto difuso), en los que se basa esta
lógica.

Para cada conjunto difuso, existe asociada una función de pertenencia para sus
elementos, que indica en qué medida el elemento forma parte de ese conjunto
difuso. Las formas de las funciones de pertenencia más típicas son trapezoidal,
lineal y curva.

Se basa en reglas heurísticas de la forma SI (antecedente) ENTONCES

(consecuente), donde el antecedente y el consecuente son también conjuntos
difusos, ya sea puros o resultado de operar con ellos. Sirvan como ejemplos de
regla heurística para esta lógica (nótese la importancia de las palabras
“muchísimo”, “drásticamente”, “un poco” y “levemente” para la lógica difusa):

 SI hace muchísimo frío. ENTONCES descendió drásticamente

la temperatura.
 SI voy a llegar un poco tarde. ENTONCES aumento levemente la
velocidad.

Los métodos de inferencia para esta base de reglas deben ser sencillos, versátiles
y eficientes. Los resultados de dichos métodos son un área final, fruto de un
conjunto de áreas solapadas entre sí (cada área es resultado de una regla de
inferencia). Para escoger una salida concreta a partir de tanta premisa difusa, el
método más usado es el del centroide, en el que la salida final será el centro de
gravedad del área total resultante.

Las reglas de las que dispone el motor de inferencia de un sistema difuso pueden
ser formuladas por expertos o bien aprendidas por el propio sistema, haciendo uso
en este caso de redes neuronales para fortalecer las futuras tomas de decisiones.

Los datos de entrada suelen ser recogidos por sensores que miden las variables
de entrada de un sistema. El motor de inferencias se basa en chips difusos, que
están aumentando exponencialmente su capacidad de procesamiento de reglas
año a año.

La lógica difusa se utiliza cuando la complejidad del proceso en cuestión es muy

alta y no existen modelos matemáticos precisos, para procesos altamente no
lineales y cuando se envuelven definiciones y conocimiento no estrictamente
definido (impreciso o subjetivo).

En cambio, no es una buena idea usarla cuando algún modelo matemático ya

soluciona eficientemente el problema, cuando los problemas son lineales o cuando
no tienen solución.

Esta técnica se ha empleado con bastante éxito en la industria, principalmente

en Japón, extendiéndose sus aplicaciones a multitud de campos. La primera vez
que se usó de forma importante fue en el metro japonés, con excelentes
resultados. Posteriormente se generalizó según la teoría de la incertidumbre
desarrollada por el matemático y economista español Jaume Gil Aluja.

A continuación, se citan algunos ejemplos de su aplicación:

 Sistemas de control de acondicionadores de aire

 Sistemas de foco automático en cámaras fotográficas
 Electrodomésticos familiares (frigoríficos, lavadoras...)
 Control y optimización de procesos y sistemas industriales
 Sistemas de escritura 
 Mejora en la eficiencia del uso de combustible en motores 
 Mejora del medio ambiente
 Sistemas expertos del conocimiento (emular el comportamiento de un
experto humano)
 Robótica
 Vehículos y conducción autónoma
 Tecnología informática
 Bases de datos difusas: Almacenar y consultar información imprecisa.
Para este punto, por ejemplo, existe el lenguaje FSQL.
 ...y, en general, en la gran mayoría de los sistemas de control que no
dependen de un Sí/No.

Como principal ventaja, cabe destacar los excelentes resultados que brinda
un sistema de control basado en lógica difusa: ofrece salidas de una forma veloz y
precisa, disminuyendo así las transiciones de estados fundamentales en el
entorno físico que controle. Por ejemplo, si el aire acondicionado se encendiese al
llegar a la temperatura de 30º, y la temperatura actual oscilase entre los 29º-30º,
nuestro sistema de aire acondicionado estaría encendiéndose y apagándose
continuamente, con el gasto energético que ello conllevaría. Si estuviese regulado
por lógica difusa, esos 30º no serían ningún umbral, y el sistema de
control aprendería a mantener una temperatura estable sin continuos apagados y
encendidos.
También está la indecisión de decantarse bien por los expertos o bien por la
tecnología (principalmente mediante redes neuronales) para reforzar las reglas
heurísticas iniciales de cualquier sistema de control basado en este tipo de lógica.