Dissertação

Metric Integer Interval Temporal Logic EVALUATED

Em computação, raciocinar sobre tempo real é fundamental, dadas as numerosas aplicações que dependem disso. Recentemente a lógica temporal tem desempenhado um papel cada vez mais importante na solução deste problema, como se comprova pelo sucesso da Metric Interval Temporal Logic (MITL). Nesta tese tentamos preencher a lacuna que existe entre a lógica temporal discreta e a lógica temporal densa, propondo e estudando uma nova lógica, Metric Integer Interval Temporal Logic (MIITL), com intervalos explícitos como em MITL, mas em tempo discreto como Propositional Linear Temporal Logic (PLTL). Com este objetivo em mente, mostramos que o problema da satisfação em MIITL é decidível e provamos que PLTL é equivalente a MIITL. Apresentamos também um sistema axiomático fortemente completo para um fragmento de MIITL. Por fim reduzimos um fragmento de MITL a MIITL, o que pode ser útil, dado o salto de complexidade entre as duas lógicas.
Lógica Temporal sobre Tempo Discreto, Lógica Temporal sobre Tempo Real, MITL, PLTL.

maio 6, 2016, 15:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

João Filipe Quintas dos Santos Rasga

Departamento de Matemática (DM)

Professor Auxiliar