Especificação de Sistemas Multi-Agentes Baseados em Conhecimento

Este trabalho apresenta uma proposta para construir programas baseados em conhecimento (Knowledge-Based Programs), utilizando a lógica dinâmica de conhecimento para modelar sistemas multi-agentes. É construído e estudado como exemplo, um KBP que descreve o conhecido problema das crianças com lama na testa, de acordo com as especificações desejadas para o sistema. Através de conceitos ligados a sistemas distribuídos e lógica de conhecimento, foram desenvolvidos uma arquitetura e uma linguagem que especificam uma estrutura básica para um KBP, com exemplos de funcionamento e provas de que os programas executam corretamente. A seguir, são apresentados dois métodos de tradução. Um para extrair as regras lógicas presentes em um KBP, o que possibilita a verificação de determinadas propriedades existentes na lógica deste programa. E outro para obter o procedimento inverso, através de regras lógicas, construir um KBP que implemente estas regras seguindo a especificação de um determinado sistema.