Dissertação

Probabilistic Distributed Temporal Logic EVALUATED

Apresenta-se uma lógica para o raciocínio sobre propriedades temporais de sistemas distribuídos e sobre probabilidade finitamente aditiva. A linguagem desta lógica permite-nos fazer declarações do género: "A probabilidade de 'em algum momento no futuro phi' é, pelo menos, s ". Começamos por apresentar uma lógica temporal linear LTL com um sistema axiomático completo e correcto. De seguida, apresenta-se uma lógica temporal distribuída DTL e mostra-se que esta lógica é redutível a LTL. Define-se depois pLTL de maneira a introduzir probabilidades na lógica temporal linear. Em seguida, faz-se uma primeira tentativa para introduzir probabilidades numa lógica temporal distribuída originando PDTL_L, caracterizada por ter probabilidades nos estados temporais. Por fim, adopta-se uma abordagem exógena, PDTL_G, com probabilidades sobre os modelos da lógica temporal distribuída.
lógica temporal distribuida, probabilidades, abordagem exógena

Janeiro 14, 2011, 14:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Jaime Arsénio de Brito Ramos

Departamento de Matemática (DM)

Professor Auxiliar