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.
Janeiro 14, 2011, 14:0
Publicação
Obra sujeita a Direitos de Autor