MAPKAT - Um Framework Lógico para Planejamento Multi-Agente
Autores
|
4262 |
273,637
|
|
|
4263 |
273,637
|
Informações:
Publicações do PESC
A crescente importância dos chamados sistemas distribuídos por redes de computadores levaram-nos a evoluir de formas que os reuníram com os sistemas multi-agente e que motivaram a criação do domínio de pesquisa chamado Planejamento Automático Multi-Agente. Esse texto apresenta o framework MAPKAT, desenvol-vido para permitir model-checking e planejamento automáticos e semanticamentecorretos em problemas multi-agente envolvendo conhecimento individual.
The growing importance of distributed systems over computer networks caused them to evolve in ways that brought them and the multi-agent systems together and motivated the creation of the Multi-Agent Planning domain of research. This text presents the MAPKAT framework designed to support automatic model-checking and planning in dynamic multi-agent environments involving individual knowledge.