1

ndice


1. Introduccin..2
2. Teora.2
2.1. Un poco de historia2
2.2. Que es la lgica temporal.2
2.3. Como interpreta el tiempo la lgica temporal modal..3
2.4. Caractersticas3
2.5. Operadores lgicos y temporales.4
2.6. Modelos...6
2.7. Interpretacin de modelos y frmulas...6
3. Ejercicios...6
3.1. Satis fiabilidad y validacin.7

4. Aplicaciones.7
5. Conclusiones-.8
6. Bibliografa..9





2






LOGICA MODAL TEMPORAL

1. INTRODUCCION

El propsito de esta investigacin es de dar a conocer otros tipos de lgicas a parte de
las clsicas como ser la lgicas Alternativas y extendidas y en nuestro caso la lgica
modal temporal que es parte de la lgica extendida , conocer su forma: sintaxis,
vocabulario, semntica, etc.


2. TEORIA

2.1. Un poco De Historia.

La lgica temporal fue estudiada por Aristteles, en algunos de sus escritos hay
expresiones que guardan una cierta analoga con la lgica temporal de primer orden; es
de esta manera como aparecen expresiones con cuantificadores existenciales y
cuantificadores universales
Es habitual sealar a los lgicos estoicos como los iniciadores de la lgica temporal y
seguir un rastro de problemas que llegan hasta nuestros das', pero no se puede hablar
propiamente de lgica temporal hasta los escritos de Arthur Prior a finales de la dcada
de los cincuenta y en los sesenta.

2.2. Qu es la lgica temporal?

La lgica temporal es una extensin de la lgica clsica, para permitir la formalizacin
de enunciados que incluyan precisiones acerca del momento del tiempo en que han
tenido lugar.
Por ejemplo En lgica clsica de proposiciones dos enunciados como est lloviendo y
llover deben ser formalizados o bien como dos proposiciones completamente
diferentes o como la misma proposicin, la lgica temporal nos permite formalizarla
como la misma accin en dos momentos diferentes del tiempo, nos permite discriminar
si un hecho tiene lugar en el presente, en el pasado o en el futuro.
Para lograr esto se introducirn, a nivel sintctico, nuevos operadores referidos a los
momentos del tiempo y, a nivel semntico, se perder la funcionalidad de verdad.


2.2 Cmo interpreta el tiempo la lgica temporal?

La lgica temporal no pretende dar una respuesta a las preguntas de qu es el tiempo?
o cmo es el tiempo? Es ms, se queda al margen de esas cuestiones. No hay una
sola lgica temporal, sino que hay muchas lgicas temporales, dependiendo de la
3

concepcin del tiempo que nosotros tengamos o que nos interese utilizar en ese
momento'. No ser igual una lgica temporal que presente una visin del tiempo
compatible con la mecnica clsica que otra que lo sea con la cuntica, pero ambas
sern igual de legitimas si cumplen con los requisitos formales habituales.

2.3 Sistemas basados en lgica temporal.
En lgica temporal aparecen los mismos operadores que en una lgica de primer orden,
junto con otros nuevos, entre los que se pueden encontrar: Siempre, algunas veces y
nunca.
Algunos sistemas lgicos basados en lgica temporal son: Lgica computacional en
rbol (Computational tree logic, CTL), lgica linear temporal (Linear temporal logic, LTL)
y Lgica temporal de intervalos (Interval temporal logic, ITL). Lgica de acciones
temporal (Temporal Logic of Actions, TLA).

2.4 Caractersticas

Dentro de la lgica temporal modal, se puede expresar a los operadores lgicos en
funcin del tiempo conceptos tales como "siempre" y "a veces". Consideremos, por
ejemplo:

"Si las proposiciones P y Q son siempre verdaderas, entonces P es siempre verdad.

Esto se puede representar en la lgica temporal modal por la frmula:



Se observa que en esta formula hay nueva simbologa que lo describiremos a
continuacin:
Siempre se interpretara como:
a veces se interpretara como:
Equivalente a entonces

Teniendo estas formulas un comportamiento dinmico, veamos un ejemplo: si


Donde la variable I y J son variantes y verdaderas

Pero en otro caso que a continuacin mostramos:


Donde se nota que la variable I no es satisfacible entonces:

4



Es mas contradictorio por lo tanto es falso

Ahora veremos la variable I respecto al tiempo:


Aqu, t y t indican los dos puntos de tiempo en el que los valores se examinan.
Pero sufren de cuantificadores, etc.
A continuacin algunos ejemplos mas

que se interpreta como : I siempre es mayor a 3 y a veces I es menor a 6, pero que
pasaria si


que en un intervalo del tiempo I=1 es t y I=2 en t
operadores lgicos (respecto al tiempo)

ilustrando los dos anteriores ejemplos:

=

Operadores


2. 5 Operadores lgicos y modales temporales

i) Operadores lgicos:
=, ,
ii) operadores temporales
(always)
(sometimes)
c Equivalente a entonces
iii) las conectivas temporales de Prior G (siempre en el futuro) y H (siempre
en el pasado);
iv) inductivamente
- Predicado: donde 0 > k y son expresiones
que incluye predicados s y otras relaciones bsicas.
}
5

- Igualdad: donde e
1
y e
2
son expresiones.
- Conectivos lgicos: w y
2 1
w w . donde w, w
1 y
w
2
son formulas
- Siguiente: w donde w es una formula
- Siempre: w donde w es una formula
- Algunas formulas sintcticas:

(J=2).(I=3)
( | I = 3 | ) . ~ ( | J | = 4 )
( | I = 3 | . | J = 4 | )
Note que el operador puede ser usado para ambas expresiones ( J) y las frmulas
( ( I = 3 )).

2.6 Modelos

Un modelo es una terna ( ) conteniendo a los elementos del dominio , una serie
de estados y una interpretacin , pretendiendo dar a cada funcin y predicados
smbolos con los cuales pueda expresarse. Para empezar tomaremos a los elementos
del dominio como enteros. Sea A un estado esta como una funcin ordenada de
variables y valores en el dominio . Ahora ser la serie de tales funciones. Para cada
estado s en la serie y una variable A, denotaremos como los valores de A en s.
cada smbolo de la funcin k-esima tiene una interpretacin por lo cual es una
funcin ordenada de k elementos en el dominio de un valor singular:
(

)
Las interpretaciones de los simbolos de predicado son similares a los valores de la tabla
de verdad:
(

* +)
Asumiendo que nos da interpretaciones estandarizadas con los operadores tales como
+ y <.
La semntica permite aqu observar los smbolos de las interpretaciones de funciones y
predicados independientes de los intervalos. Pueden como fuere ser generalizado a
partir de funciones y predicados eso tomara importancia en el comportamiento dinmico
de parmetros.
Utilizando los estados de , construiremos intervalos de tiempo para

, serie de los no
vacios, secuencias finitas de estado. Si s, t y u son estados de , entonces los
siguientes trminos son posibles intervalos de tiempo:

Note que un intervalo siempre contiene por lo menos un estado.
Introduciremos algo de notacin bsica para manipular intervalos. Tomaremos la I para
denotar la serie de intervalos. Por el momento, tomaremos I como la serie de

.
Posteriormente I ser restringida. Tomando un intervalo en I, colocaremos || como
6

modulo de . Por convencin el modulo de ese intervalo es el numero de estados
menos uno.
De este modo los intervalos anteriores tienen mdulos de 0, 5 y 3 respectivamente.
Los estados individuales de un intervalo son denotados por intervalo

, ,
||
.
Por el momento, la siguiente igualdad es verdadera si la variable A toma el valor de 5 en
el estado final de .

||

El modelo descrito aqu ve los tiempos como discretos y no desea ser una
representacin realista del mundo alrededor de nosotros.

2.7 Interpretacin de modelos y frmulas

Ahora extenderemos la interpretacin descrita en las expresiones y formulas de los
intervalos. El constructor

ser definido igual como el valor en el dominio de las

expresiones sobre el intervalo . Similarmente,

ser equivalente al valor de

verdad de la formula sobre .
A primera vista, las siguientes definiciones parecen ser arbitrarias:
-

, donde es una variable.

De este modo, un valor de una variable sobre un intervalo es equivalente al valor
de la variable en el intervalo de estado inicial.
-

) (

)
La interpretacin de la funcin, el smbolo es aplicado a las interpretaciones de

.
-

||

, si ||
Tomaremos el valor de no especificado sobre el intervalo con modulo 0.
-

) (

)
-

||

||

||

||

3. EJERCICIOS


Ahora ilustraremos la utilidad de considerando la semntica de simples formulas
temporales modales. Si s, t y u son estados en las cuales las variables I y J pueden
tomar los siguientes valores:
I J
s 1 2
t 3 4
7

u 3 1

La frmula:
( ) ( )
Es verdadera en el intervalo si es mayor , el valor de J en el estado

es 2 y el
valor de I en el estado

es 3. De este modo la formula es verdadera en el intervalo

. En otro caso, la formula es falsa en el intervalo porque el valor inicial de J en
este intervalo es 4 en vez de 2.
La frmula:
(, -) (,- )
Es verdadera en el intervalo si es mayor y en la cual I es igual en los estados

||
y J no es igual a 4 en

. De este modo la frmula es verdadera en el intervalo

pero es falsa en y .
La frmula:
(, - , -)
Es verdadera en el intervalo si es mayor y la variable I es igual a 3 en los
estados

||
y la variable J es 4 en el estado

. De este modo la formula es

verdadera en el intervalo pero falsa en y .

3.1 Satis fiabilidad y validacin

Una formula es satisfecha en el intervalo si el valor de en es verdad:
Podemos denotarla como:

Si todos los intervalos satisfacen w entonces w es vlido: .
Ejemplo (validacin)
La siguiente formula es verdadera en el intervalo si || , la variable I siempre es 1 y
en el estado

, I es 2:
( ) ( )
No todos los intervalos pueden tener esas caractersticas. A veces la formula es falsa
sobre todos los intervalos y su negacin es siempre verdadera y desde entonces valida:
,( ) ( )-


4. APLICACIONES
La lgica temporal se aplica con xito en la especificacin y verificacin de programas
concurrentes, paralelos.
Tambin podemos mencionar algunos ejemplos de aplicaciones al implementar arboles
de suma: suponiendo que tenemos un rbol binario de valores tal como se muestra en
la figura:
8




Ellas pueden ser linealmente representadas por las siguientes estructuras:




5. CONCLUSIONES

- (JSQF) Esta tipo de lgica es una necesidad de la tpica lgica clsica que mas
esttica, casos tpicos de la vida real que no se pueden expresar en la lgica
clsica como ser la variacin del clima respecto al tiempo que un momento es
verdad y mas adelante cambia as que la lgica temporal es muy aplicable para
casos reales
- (GCR) Las lgicas modales temporales sintcticamente pueden ser tomados
como proposicionales ya que se constituyen a partir de esta, las estructuras
relacionales sobre la que trabaja pueden modelar diferentes pasados y futuros.
- (NSA) El factor tiempo es importante a la hora de hacer el razonamiento de la
lgica de predicados, nos permite formalizar diversas acciones en momentos
diferentes, con su implemento se puede realizar de manera intuitiva la lgica de
predicados tanto en el futuro (pensar en futuro) como en el pasado (recordar).
- (WMQ) La conclusin es que la Lgica Modal Temporal proviene de otras lgicas
ya existentes y no se refiere solamente a las preguntas de que es el tiempo o
9

como es el tiempo sino proporciona enunciados ya formalizados ya que es ese el
objetivo de esta lgica, distinguir las proporciones que estas en tiempo pasado,
presente y futuro, ya que tienen significados muy diferentes cada proporcin.
- Adems no es diferente a las otras lgicas existentes ya que toma la misma
interpretacin q las dems lgicas solo aparecen algunos enunciados lo cual
puede identificar a la lgica Temporal Modal.
- (KOV) Dimos a conocer otros tipos de lgicas aparte de las conocidas como las
lgicas alternativas y extendidas que en este caso es la lgica modal temporal.
- (JTL) Hemos dado a entender nuevos conectivos lgicos que se aplican en la
vida diaria de manaera implcita, y le hemos dado un significado lgico
matemtico.
- (WMT) La lgica temporal modal permite formalizar una accin en momentos
diferentes. No hay una sola lgica temporal sino que existen muchas
dependiendo de la concepcin del tiempo que se tenga o que se desea utilizar.



6. BIBLIOGRAFIA
http://es.wikipedia.org/wiki/L%C3%B3gica_temporal
http://webpages.ull.es/users/mvazquez/articulos/introduccion_a_la_logica_temporal.pdf
Executing temporal logic programs (Ben Moszkowski)