martes, 13 de noviembre de 2012

Lógica Temporal

Para ésta semana se seleccionó un ejercicio, el cuál me tocó realizar el siguiente:

14.1.9:
"If a professor is currently at the machine, there will be no student at the machine for at least the next three transitions."

Donde lo podemos traducir como:
"Si un profesor se encuentra actualmente en la máquina, no habrá ningún estudiante en la máquina durante al menos los próximos tres transiciones."
 (pam→(¬eam º tt))

pam = profesor esta en la máquina
eam = estudiante esta en la maquina
t t = tres transiciones

Referencias:
http://www.voronkov.com/lics_doc.cgi?what=chapter&n=14

1 comentario:

  1. Lo de "tres transiciones" se haría repitiendo el símbolo para "siguiente". Todo aspecto temporal se realiza argumentando sobre los caminos, no con átomos ni proposiciones. Van 3 pts por el intento.

    ResponderEliminar