Lógica de Conhecimento e Eventos em Sistemas Assíncronos
Autores
|
2024 |
273,573
|
|
|
2025 |
273,573
|
Informações:
Publicações do PESC
Este trabalho aborda o tratamento de conhecimento e tempo em sistemas distribuídos através de lógicas, com interesse principal em sistemas fortemente assíncronos de memória distribuída. Para isso, várias lógicas foram revistas e duas novas foram apresentadas, uma para sistemas síncronos com modalidades de ação e outra baseada em eventos para sistemas assíncronos sem falhas. Para esta segunda foram definidos operadores temporais baseados em eventos que dão à linguagem poder de expressão temporal mesmo considerando o tempo sob as poucas restrições cabíveis ao modelo assíncrono. Em especial dois problemas distintos envolvendo conhecimento em sistemas distribuídos assíncronos foram modelados com a linguagem nova, mostrando seu poder de expressão e comprovando sua aplicabilidade.
This work focuses on the handling of knowledge and time in distributed asynchronous systems using logics, specifically on fully asynchronous distributed memory systems. First, a review of some existing logical framework is presented. Second, two new formalism were proposed, one for synchronous systems with action modalities and other based on events to model knowledge evolving in asynchronous systems. To the later logic, a set of event based temporal operators were defined, which provide the language good power of temporal expression, even considering time under the few restrictions allowed to the asynchronous modelo Two distinct applications involving knowledge in distributed asynchronous systems were modeled using this new language, showing its expressivity and applicability afilie presented formalism.