Bruno Lopes, UFF

Verificação de propriedades em sistemas multi-agentes com Redes de Petri e Lógica Proposicional Dinâmica

Sistemas multi-agentes são compostos por diversos agentes nos quais o objetivo de alguns depende do objetivo de outros. Os cenários são os mais plurais o possível: os agentes podem ser diferentes tanto em função quanto em arquitetura e sua interação é afetada pelo meio em que estão inseridos. Verificar propriedades como sobrevida, ausência de deadlocks e comunicação é essencial para se assegurar que esses sistemas cumprirão seus objetivos. Para tal, propõe-se um arcabouço teórico e implementado baseado em Lógica Dinâmica e Redes de Petri para auxiliar não só a formalização mas também efetuar inferências sobre o modelo construído.

TecMF: Talks_10_05_15 (last edited 2015-07-15 18:08:14 by HugoMacedo)