Populational Announcement Logic (PPAL)
Autores
|
6038 |
2769,273
|
|
|
6039 |
2769,273
|
Informações:
Publicações do PESC
Apresenta-se nesta dissertação a Lógica de Anúncios Populacionais (Populational Announcement Logic - PPAL), uma variante da Lógica de Anúncios Públicos (Public Announcement Logic - PAL) com semântica fuzzy, onde ao invés de agentes especí?cos temos populações e grupos. A semântica da lógica de anúncios é de?nida e exemplos são dados. Além disso, uma biblioteca e veri?cador de modelos em Java implementando essa lógica são discutidos.
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy semantics, where instead of speci?c agents we have populations and groups. The semantics and the announcement logic are de?ned, and examples are provided. Also, a Java open-source library and a model checker implementing this language are discussed.