Dynamic Knowledge Logic

Carla A. D. DelgadoMario R. F. Benevides

This work presents a study of knowledge in distributed systems using modal action logic. We study the knowledge in a group of intelligent agents that interact to each other and to the world they are in. In this sense, the muddy children puzzle is a classical example of a knowledge based system that evolves from distributed to common knowledge. We propose a dynamic knowledge logic and apply it to the muddy children puzzle. First we present a modal logic that is capable of representing the epystemic states of the agents. Then, the logic is extended to incorporate actions to model the changes in agent's epystemic states. We call the extended modal logic "Dynamic Knowledge Logic", which is enough to represent the puzzle and its evolution. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

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