Em sistemas que implementam regras temporais, ou que podem ser modelados por
regras temporais, a ocorrência de atualizações nas informações sobre o
passado, presente ou futuro pode causar o aparecimento de PARADOXOS
TEMPORAIS. 

Nesta palestra, descreveremos formalmente o que são tais paradoxos temporais e
os métodos para detectá-los.

Argumentaremos que, se as regras temporais representam o plano de um agente
para realizar uma determinada tarefa, a ocorrência de um paradoxo temporal
serve de indicativo de que está na hora de se REPLANEJAR, pois houve um desvio
no plano traçado inicialmente.