La lógica temporal es parte de la lógica modal, la cual se utiliza en sistema de reglas donde se presenta el tiempo.
En lógica temporal se encuentran los mismos operadores que en la lógica de primer orden, agregando algunos más entre los que se encuentran: siempre, algunas veces, nunca.
Algunos sistemas lógicos que se basan en lógica temporal son: Lógica computacional en árbol (CTL), lógica linear temporal (LTL) y Lógica temporal de intervalos (ITL).
La lógica temporal cuenta con dos tipos de operadores: operadores lógicos y operadores modales. Los operadores modales usan el Linear Temporal Logic y Computation Tree Logic. En la siguiente tabla se muestran estos operadores y su explicación.
 |
| Fuente: Wikipedia |
Para esta tarea, se nos pidió elegir un problema del siguiente link: http://www.voronkov.com/lics_doc.cgi?what=chapter&n=14
Me tocó el número 3 de los ejercicios 14.2:
Entonces podemos decir que:
Siempre que A se mantenga en un estado i, debe estar B eventualmente.
Referencias:
"one just after" no es lo mismo que eventualmente; se hubiera ocupado algo tipo "next". También faltó el aspecto "at least once". Van 6 pts.
ResponderEliminarNP de la última tarea.
ResponderEliminar