Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LGICA TEMPORAL
La lgica de predicados y la clsica se hallan limitadas para expresar todo
razonamiento debido a la falta de temporalidad, pues se centra en sentencias y
proposiciones que son validas indefinidamente. No todas las proposiciones tienen
(ni deben) ser validas por siempre, ni desde siempre; debido a esto surge la
necesidad de incluir el tiempo. Es aqu donde surge la lgica temporal que busca
especificar, expresar y razonar en los comportamientos dinmicos1.
En la lgica clsica, una proposicin es verdadera o falsa, por ejemplo: Todas las
mujeres son de Venus, Jorge est en el parque, I=1, Mara estudia sistemas; pero al
considerar oraciones: Esta lloviendo, El parque est lleno, I=1 y I=2; las respuestas
"verdadera o falsa" depende del momento (tiempo) y el espacio (sitio). Es decir,
son proposiciones en que los valores de verdad dependen de tiempo. Luego en la
lgica temporal, la misma oracin puede tener diferente valor de verdad a
diferentes tiempos, una oracin verdadera en cierto momento del pasado puede no
ser verdadera ahora y una sentencia verdadera ahora puede no permanecer as en
el futuro.
Particularmente, la proposicin I=1 y I=2, es falsa en la lgica clsica, pero tal vez
es cierta dado que la variable es dependiente del tiempo y para ello se tendra que
usar una formula como:
t, t tal que [t t] [(I(t)=1) I(t)=2)]
Es decir, se est representando un comportamiento dinmico. Formalmente la lgica
temporal es una extensin del clculo de predicados en que se incluyen operadores
lgicos, modales y dependientes del tiempo como (siempre), (next) y (algunas
veces). La lgica temporal se deriva tambin de la lgica modal y fue introducida a
mediados del siglo XX por Arthur Prior2.
Es una rama de la lgica cuyo objetivo es describir y razonar cuantitativamente
acerca de cmo cambian los valores de verdad de las proposiciones con respecto al
1
Inteligencia artificial
tiempo.
La lgica temporal sirve para especificar (y verificar) como componentes,
protocolos, objetos, mdulos, procedimientos y funciones se comportan con el paso
del tiempo. Las especificaciones son hechas (temporalmente) con afirmaciones que
hacen aciertos sobre propiedades y relaciones entre pasado, presente y futuro. Se
toma ac, la lgica temporal de manera general.
La lgica temporal se define como la formalizacin de enunciados que incluyan
precisiones acerca del tiempo en que tienen lugar. En la lgica clsica los
enunciados: est lloviendo y llover se formalizan o bien como proposiciones
completamente diferentes o como la misma proposicin; la lgica temporal permite
formalizarlas como una misma accin en dos momentos diferentes de tiempo; es
decir, permite discriminar si un hecho tiene lugar en el presente, en el pasado o en el
futuro. Para lograr este objetivo es necesario introducir a nivel sintctico, nuevos
operadores referidos a los momentos del tiempo.
Existen varios tipos de lgica temporal, una en la que se considera que solo existe un
espacio futuro de sucesos (el tiempo lineal), otra en la que se consideran muchos
tiempos futuros alternativos y otras que consideran diferentes aspectos: intervalos,
modos, lieneal, dinmicas, etc.
El problema a enfrentar no es sencillo, los beneficios y aplicaciones en pro y en
contra de la lgica clsica y no-clsica son abundantes y es mucho el conocimiento
que existe al respecto; para que sea apropiado su estudio debe ajustarse a un entorno
apropiado de caractersticas bsicas implicadas.
La lgica temporal se viene aplicando en los programas de computador. Existen
lenguajes especializados para este fin, pero ello no es vlido si no se define un
sistema lgico.
Existen formas diferentes para definir un sistema lgico3.
3
Algunos cambios que la lgica ha tenido se debe a los intereses, los cuales continan cambiando.
Hoy da los usos de los sistemas lgicos llevan de manera natural a construir nuevos sistemas,
expandiendo as la nocin de racionalidad. Esta expansin no es ilimitada aunque bien puede ser
infinita. Es decir, hay infinitas formas o tipos de ser lgico, y por ende puede haber infinitas formas o
tipos de ser racional. Pero tambin hay infinitas maneras de pensar y procesar informacin que no
pueden ser rescatadas por ningn sistema lgico sensato, infinitas maneras irreductiblemente
irracionales. El que haya un sin fin de formas sensatas no hace sensata a cualquier forma. No puede
haber teora de la racionalidad sin una filosofa de la lgica. Ser "lgico" es un requisito para ser
"racional", pero el ser "racional" no lleva a ser "lgico". Ser lgico conlleva a muchos compromisos
epistmicos y demanda tanto conocimiento como habilidades y actitudes. En su dimensin social,
exige saber cundo es adecuado ofrecer razones, cmo contruirlas, cmo evaluarlas, cmo organizar
una discusin, apoyar con razones, aceptar consecuencias, saber cundo y qu preguntar, clarificar el
discurso, tomar en cuenta el contexto de la discusin, reconocer la estructura de un argumento, saber
274 Luis Carlos Torres Soler
Lgica temporal
|~ Q si Q
Monotonicidad:
|~ Q, , |~ Q
Transitividad (cut):
|~ A; A |~ Q implica |~ Q
es una base de datos y Q una peticin. La reflexividad significa que la respuesta es
SI para cualquier Q que este en la base de datos. La monotonicidad refleja la
acumulacin de datos, y la transitividad se refiere a que si |~ A, entonces A puede
ser usada para obtener Q desde .
b Sistemas lgicos como prueba de algortmica de sistemas
La importancia relativa de la deduccin automatizada es en el incremento. En
general, una gran cantidad de conocimiento acerca de los sistemas lgicos surgen a
causa de su valor en ciencias de la computacin, en especial la inteligencia artificial.
Los programas y los sistemas que se construyen debe poseer un sistema lgico, o
por lo menos, desarrolado dentro de alguno.
En muchos casos las bases de datos no solo contienen formulas de un tipo, sino que
tienen varios y no solo eso sino tambin son estructuradas. Muchos sistemas
algortmicos se usan debido a esa estructura. Las caractersticas ms importantes
son:
Las bases de datos se estructuran. No deben ser solamente conjunto de
Inteligencia artificial
Una unidad declarativa es un pareja (t, p), donde t es una etiqueta y p es una
formula.
Una base de datos es una unidad declarativa.
d) Sistemas agregados
En muchos casos se tienen sistemas que dan respuestas que parecen tener sentido,
las cuales pueden ser adecuadas y aplicadas, pero que no tuvieron un procedimiento
reconocido o comprendido por alguna lgica tradicional. El espritu de este tipo de
sistemas es: Tres rumores son mejores que una prueba; Se hace desde siempre as
que vale.
Lenguajes temporales de primer orden y sus semnticas
Para llegar a entender con mayor claridad la lgica temporal es de especial inters
abordar este tema ya que nos permite expresar importantes distinciones respecto a la
lgica temporal y la existencia. Veamos esto con la ayuda de un ejemplo: Vamos a
tomar la frase Un filsofo ser rey, esta frase puede ser interpretada de diferentes
maneras.
x(Filosofo(x) & F Rey(x)). Alguien que ahora es Filosofo ser rey en algn
tiempo futuro.
b) xF (Filosofo(x) & Rey(x)). Ahora existe un alguien que en el futuro ser
Filosofo y rey.
c) Fx (Filosofo(x) & F Rey(x)). Va existir alguien que ser Filosofo y despus
ser rey.
d) Fx(Filosofo(x) & Rey(x)). Existir alguien que ser Filosofo y rey al mismo
a)
276
Lgica temporal
tiempo.
El lenguaje LTp de lgica temporal
El punto a considerar son los diferentes puntos de tiempo que generan diferentes
valores de verdad en las proposiciones y que permiten hacer un primer acuerdo
importante: asumimos que el juego de puntos de tiempo es infinito, discreto y
linealmente ordenado con el elemento ms pequeo.
Ahora si consideramos una proposicin cualquiera p. Para poder describir la posible
variedad de los valores de verdad de p a diferentes tiempos t el ms simple de los
medios de la lingstica sera introducir un parmetro de tiempo explicito en la
proposicin y denotado por p(t). Es de preferencia tener operadores lgicos
manuales que permitan formular nuevas proposiciones. Sin necesidad de cambiar los
parmetros de las proposiciones.
El lenguaje de la lgica temporal usa los mismos smbolos y reglas establecidas para
la lgica clsica de predicados; Tambin es un modelo encerrado en la lgica modal.
Un frame temporal consiste en conjunto T de entidades denominadas tiempos
junto con una relacin que orden < sobre t. Esto define un flujo del tiempo sobre el
cual los operadores temporales son definidos. Sin embargo, en la lgica temporal
Prior estableci cuatro operadores monarios (G, H, F y P).
G: Ser siempre en el futuro verdad
H: Ha sido siempre en el pasado verdad
F: Ser alguna vez en el futuro verdad
P: Fue alguna vez en el pasado verdad
G y F se conocen como operadores de tiempo dbiles mientras que H y P son
conocidos como operadores de tiempo fuertes. Estos pares pueden ser generalmente
abordados como nterdefinibles por equivalencias:
Pp -H-p
y
Fp -G-p
Para dar una interpretacin podemos, por ejemplo, definir los operadores temporales
dbiles usando algunas reglas:
a. Pp es verdad en t si y solo si p es verdad en algn tiempo t tal que t< t.
b. Fp es verdad en t si y solo si p es verdad en algn tiempo t tal que t< t.
Para los operadores fuertes:
a. Hp es verdad en t si y solo si p es verdad en todo t tal que t<t.
b. Gp es verdad en t si y solo si p es verdad en todo t tal que t< t.
Prior utiliz los operadores para construir expresiones sobre el tiempo las cuales
277
Inteligencia artificial
Para el ao de 1967 Prior reporto un trabajo bastante extenso sobre lgica temporal postulando
diversas y diferentes combinaciones de axiomas. Es sin duda A. Prior el ms grande constructor de
lgicas temporales y a l cabe adjudicar el ttulo de fundador de ese tipo de lgica. Sin embargo, la
lgica temporal difiere en un punto central del gnero de lgicas desarrolladas por Prior y otros:
stas ltimas son lgicas del tiempo verbal, tense logics. Las lgicas del tiempo verbal introducen
primitivos operadores que significan `Es pasado que' o `Es futuro que', o sus parnimos. Una lgica
cronolgica acude a un procedimiento totalmente diverso: en vez de asignar a los estados de cosas
determinaciones absolutas de ser pasado o futuro, introduce relaciones temporales primitivas y
tambin una cuantificacin sobre cundo.
5
Antes de la incursin de la lgica temporal el mtodo de los argumentos temporales era una de las
opciones mas usadas dentro de los formalismos para expresiones lgicas con informacin temporal.
278 Luis Carlos Torres Soler
Lgica temporal
Ax5. PPp Pp
Ax6. FFp Fp
Se tendr modelos transitivos.
Y si adems se aaden los axiomas:
Ax7. PFp (Pp v p v Fp)
Ax8. FPp (Pp v p v Fp)
Se tendr sistemas para el tiempo lineal.
Aproximacin de la lgica de predicados a la lgica temporal
Las proposiciones que representan estados tales como "Maria est dormida" tienen
incidencia temporal homognea, estas se deben sostener en un conjunto de
subintervalos contenidos en un intervalo (si Maria est dormida a partir de la 1 a las
6 entonces ella est dormida entre la 1 y las 2, las 2 a las 3, etc.). Por el contrario, las
proposiciones que representan acontecimientos (tales como "Luis camina al parque")
tienen incidencia temporal no homognea; esto implica que la proposicin no es
verdad en ninguno de los subintervalos de un intervalo del cual sea verdad. Para
comprender esto analicemos un poco mejor la situacin. Si Luis camina al parque en
el intervalo entre 1:00 y 1:15, entonces no es el caso que l camina al parque en el
intervalo de 1:00 a 1:05 pues en este intervalo l camina parte del camino a la
estacin.
Veamos la notacin para nuestros dos ejemplos:
mantiene (dormida(Maria), (1:00 am, 6:00 am))
ocurre (camina a(Juan), (1:00 pm,1:15 pm))
Aqu se ve expresada de una manera muy obvia la notacin (t, t)
Este mtodo fue introducido para suplir las necesidades respecto a casos como los
nombrados anteriormente, este mtodo esta asociado al nombre de James Allen.
Lgica del tiempo indeterminista
El trmino tiempo indeterminista se refiere a que los acontecimientos suceden en el
tiempo de manera indeterminada, es decir, el futuro esta indeterminado, es abierto y
lleno de posibilidades. Dentro de la lgica temporal esta afirmacin acerca del
tiempo a llevado al siguiente interrogante: Una vez que un suceso se convierte en
pasado, hubiese sido verdad afirmar que iba a suceder? Este tema es tratado por las
corrientes Ockhamista y Peirceana.
La Ockhamista se inclina por decir que basta que un suceso acontezca en el futuro
para afirmar que fue verdadera la afirmacin en el pasado de que iba a suceder; la
segunda, la Peirceana, prefiere afirmar que para que un suceso se de en el futuro no
Universidad Nacional de Colombia
279
Inteligencia artificial
implica que fuese verdad en el pasado que ste iba a suceder, slo se puede hablar
de la verdad de un enunciado acerca del futuro si ste es inevitable.
Por ejemplo: Si un beb est prximo a nacer y se hace alguna afirmacin acerca del
sexo que tendr el beb, para la visin Ockhamista, que una afirmacin hecha en el
pasado sea verdadera es que en el futuro la aseveracin se cumpla; es decir, si se dijo
que era nia y nace nia la aseveracin hecha antes del nacimiento fue verdadera.
Para la visin Peirceana, la nica manera que la aseveracin fuera cierta sera
diciendo el beb nacer nio o nia, es decir tomando todas las posibilidades de tal
forma que no haya manera de equivocarse.
Arthur Prior, quien inici fructferamente varias lneas de trabajo en lgica temporal,
es el primero en plantearse la construccin de una lgica del tiempo indeterminista
(tambin llamada lgica de la necesidad histrica)6. Lo que Prior plantea es la
construccin de una lgica que refleje que los sucesos futuros son realmente
contingentes, mientras que los hechos pasados, histricos, son ya inevitables y, por
tanto, necesarios.
La lgica temporal introduce los operadores modales al tener en cuenta que el
tiempo puede representarse como una lnea recta en la cual a partir de un punto se
abren varias bifurcaciones, la lnea representara el pasado, el punto el presente y las
bifurcaciones las posibilidades en el futuro; de esta manera si dentro de una de esas
posibilidades del futuro se da el suceso x, afirmar Es posible en el futuro x es
verdadero, si el suceso se da en todas las bifurcaciones, es decir en todas las
posibilidades futuras entonces x es histricamente necesaria y afirmar Es necesario
en el futuro x es verdadero.
De manera simplificada podran tomarse las axiomatizaciones de la lgica temporal
hechos anteriormente y agregarle los siguientes axiomas:
Lgica temporal
frmula.
Semntica de LTp
La semntica del LTp esta dada al extender la nocin de estructura temporal.
Una estructura temporal (de primer orden) K =(S,,W) para LTp consiste en:
Una estructura S para el kernel LP del LTp
Una valoracin de la variable global respecto a S.
Una secuencia infinita W = {0, 1, 2,} de estados donde cada i es una
valoracin de la variable global respecto a S.
Ahora definamos inductivamente el conjunto de Ki(F) {f, t} para cada K=(S, , W)
(
1. Ki(p) = S , i) (p)
2. Ki(p) = t
3. Ki(p q) = t
4. Ki(p) = t
281
5. Ki(p) = t
6. Ki(p atnext q) = t
7. Ki( x p) = t
Inteligencia artificial
iff Kj(p) = t
para todo j i
iff Kj(q) = f
para todo j > i or
Kk(p) = t
para el mas pequeo valor de k>i
con Kk(q) = t
iff Ki(q) = f
para cada estructura temporal
,W))
=
(y)
= (y) para cada y.
K(S,
t
(p U q)
(1).
Acorde a las definiciones semnticas es de esperarse que las tautologas
permanezcan vlidas en la lgica temporal donde podemos sustituir formulas de LTp
para p y q, as la ley de DeMorgan quedara de la siguiente manera:
(p q)
(p U q)
(2).
El conjunto de frmulas que representan las leyes de la lgica temporal seran:
Leyes de dualidad:
1) p
2) p
3) p
p
p
p
Leyes de reflexividad:
4) p p
5) p p
Leyes de idempotencia:
6) p
7) p
p
p
Leyes distributivas:
8) (p q)
9) (p q)
10) (p U q)
11) (p atnext q)
12) (p q)
13) (p U q)
14) (p q) atnext k
15) (p U q) atnext k
1) Leyes commutativas
282
p q
p q
p U q
p atnext q
p q
p U q
p atnext k q atnext k
p atnext k U q atnext k
Lgica temporal
16) p p
17) p p
2) Leyes de generalizacin temporal
18) p q p q
19) p q p q
20) p q p q
Extensiones de la lgica temporal
Despus de la introduccin de la sintaxis bsica (PFGH) esta se ha ido expandiendo
de varias maneras hasta el da de hoy.
Operadores binarios temporales. Los operadores binarios temporales S y U (Since y
Until del ingles desde y hasta) fueron introducido en el ao de 1968.
Spq:: q ha sido verdad desde un tiempo en el que p fue verdad.
Upq:: q ser verdad hasta el tiempo en el que p sea verdad.
Igualmente se definen algunos operadores monarios, mencionados anteriormente, en
trmino de S y U de la siguiente manera:
Pp Sp(p v p)
Fp Up(p v p)
La importancia de estas relaciones radica en que se expresan completamente
respecto a las propiedades temporales de primer orden, estrictamente las rdenes
lineales temporales.
Lgica mtrica temporal. Prior introdujo la nomenclatura Fnp para representar Ser
alguna vez en el futuro n, por lo tanto ser p. No se necesita una notacin separada
para Fnp al poderse escribir F(-n)p para Fue alguna vez en el pasado n as que p
fue.
Podemos definir los operadores no mtricos de la siguiente manera:
Pp n(n<0&Fnp)
Fp n(n>0&Fnp)
Hp n(n<0Fnp)
Gp n(n>0Fnp)
El operador prxima vez" . Este operador asume que las series de tiempo son una
secuencia discreta de tiempos. De esta manera, el operador Op nos dice que p es
verdad en el instante inmediatamente posterior de un paso (seal discreta). Con el
tiempo discreto podemos definir Op en trminos del operador U until: Op
Up(p&-p).
Esto implica que p ser verdad en algn tiempo futuro; sin embargo, entre el
presente y ese tiempo futuro nada es verdad.
Universidad Nacional de Colombia
283
Inteligencia artificial
1) p until q
q atnext (p q) q
2) p unless q
q atnext (p q)
q atnext (p q)
3) p while q
q atnext (p U q)
4) p before q
El sistema formal Tp
Despus de la definicin semntica de formulas validas de la lgica temporal
proposicional, se tiene un sistema formal Tp para la derivacin formal de algunas
formulas, axiomas y reglas generales:
Axiomas:
(taut) todas las formulas derivadas son tautolgicamente validas.
1) p
p
q)
2) (p
(p q)
3) p p p
4) p (p atnext q)
5) (p atnext q (q p) (q p atnext q)
6) x p px(t) si t es sustituible por x en p,
7) x p xp.
8) p p si p no contiene variables locales.
(eq1) x = x;
284
Lgica temporal
(mp) p, p q q,
(nex) p p,
(ind) p q, p p p q.
(gen) p q p xq. si no hay libre ocurrencia de x en p.
285
Inteligencia artificial
i) xp
ii) xp
iii) xp
Ap
iv) x
v) x(p atnext q)
vi) x(p atnext q)
xp
xp
xp
xp
xp (atnext q) si no hay libre ocurrencia de x en q.
xp (atnext q) si no hay libre ocurrencia de x en q.
Resumen
El tiempo es un factor predominante en la vida diaria, y as debe ser tambin para
los modelos de sistemas que se desarrollan. La lgica temporal es una forma de
incluir el tiempo. De cierta manera la nica forma de lograr una verdadera
representacin de la realidad y llegar a una verdadera inteligencia artificial es
incluyendo el criterio temporal de verdad.
As que si se piensa en Inteligencia artificial, un paso lgico hacia su verdadera
consecucin es el manejo adecuado del tiempo. Ninguna inteligencia es ajena al
tiempo. Este el que determina su prevalencia y la validez de sus conocimientos.
La lgica temporal permite formalizar una accin en momentos diferentes. Introduce
los operadores modales. No hay una sola lgica temporal sino que existen muchas,
dependiendo de la concepcin del tiempo que se tenga o que se desea utilizar.
El trmino tiempo indeterminista se refiere a que el futuro esta indeterminado
abierto y lleno de posibilidades.
La lgica temporal, aunque sea de complicada representacin, es un acercamiento
muy intuitivo a la forma de pensar de las personas, se aproxima a lo que se
denomina pensar en el futuro y en recordar, pues son estas dos definiciones las
que caracterizan la vida de una persona, la evaluacin de hecho pasados y de hechos
futuros. Nadie piensa nicamente en el presente.
Bibliografa
BOOLOS George, Jeffrey Richard (1974). Computability and Logic. Cambridge
University Press, Cambridge: UK.
GABBAY Dov M., HOGGER C.J. (1994). Handbook of logic in artificial
intelligence and logic programing, Oxford.
286
Lgica temporal
287