Multi-Agent Planning with Knowledge, Action and Time

Mario R. F. BenevidesLuis R. M. Lopes

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 article presents a modal logic, MAPKAT, designed to allow automatic checking and planning in a dynamic multi-agent environment involving individual knowledge and power.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: