Informações:

Publicações do PESC

Título
Populational Announcement Logic (PPAL)
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
14/7/2016
Resumo

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.

 

Abstract

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.

 

Arquivo
Topo