Populational Announcement Logic (PPAL)
Authors:
Autores
| Person role | Person | |
|---|---|---|
|
6038 |
2769,273
|
|
|
6039 |
2769,273
|
Informations:
Pesc publication
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.