Resumo Técnico: Kiko – Agentes de Programação para Realizar Protocolos de Interação

1. Declaração do Problema

A realização de Sistemas Multiagentes (MAS) para aplicações sociotécnicas (ex: negócios, saúde) enfrenta desafios significativos ao desacoplar a lógica de negócio interna de um agente de seus protocolos de interação públicos. Os modelos de programação atuais sofrem de duas deficiências primárias:

1. Abstrações Pobres para Tomada de Decisão: Os modelos existentes frequentemente falham em unir adequadamente a lógica de decisão interna com as decisões públicas (mensagens enviadas).
2. Suporte Inadequado a Protocolos: As abordagens tradicionais dependem da ordenação de mensagens (ex: protocolos FIPA, JADE), o que limita a flexibilidade e falha em suportar ambientes descentralizados e assíncronos. Outras abordagens, como sistemas baseados em compromisso, frequentemente dependem de repositórios centralizados ou não operacionalizam totalmente a comunicação assíncrona.
3. Complexidade: Há uma falta de um modelo de programação que separe a lógica de negócio das restrições de comunicação, enquanto suporte a tomada de decisão descentralizada e flexível via mensagens assíncronas.

Os autores argumentam que é necessário um modelo de programação baseado em protocolos que permita aos agentes tomar decisões com base em restrições de informação, em vez de sequências rígidas de mensagens, permitindo que operem sobre camadas de transporte não ordenadas e não confiáveis (ex: UDP).

2. Metodologia: O Modelo de Programação Kiko

O Kiko é um modelo de programação baseado em protocolos projetado para estruturar agentes em torno dos papéis que desempenham dentro de um protocolo. Sua filosofia central é abstrair o serviço de comunicação inteiramente, permitindo que os desenvolvedores foquem exclusivamente na lógica de negócio e nos padrões de tomada de decisão.

2.1 Abstrações Principais

• Protocolos de Informação (BSPL): O Kiko utiliza o BSPL (Business Semantic Protocol Language), uma linguagem declarativa que especifica restrições de informação (causalidade e integridade) em vez de ordenação de mensagens.
  • Causalidade: Define qual informação deve ser conhecida (in) para enviar uma mensagem e o que é gerado (out).
  • Integridade: Garante a consistência entre as execuções distribuídas (ex: uma chave única impede vínculos conflitantes para a mesma transação).
• Tomadores de Decisão (Decision Makers): A unidade fundamental de programação no Kiko. Um tomador de decisão é uma função invocada pelo sistema que seleciona entre um conjunto de "formas" válidas (protótipos de mensagens) e vincula seus parâmetros para criar instâncias de mensagens concretas.
• Formas (Forms): Protótipos de instâncias de mensagens onde os parâmetros in são vinculados (com base no histórico) e os parâmetros out estão desvinculados. Os tomadores de decisão "preenchem" essas formas fornecendo valores para os parâmetros out.
• O Adaptador (The Adapter): Um componente genérico fornecido pelo Kiko que se situa entre os tomadores de decisão do agente e o serviço de comunicação. Ele:
  • Mantém o histórico local do agente (repositório de mensagens observadas).
  • Computa "formas habilitadas" com base nas restrições de causalidade e integridade do protocolo.
  • Valida tentativas de emissão (conjuntos de mensagens) para consistência interna antes do envio.
  • Lida com o recebimento de mensagens de forma idempotente, permitindo a retransmissão em redes com perda de pacotes.

2.2 Semântica Operacional

O artigo formaliza o Kiko usando uma semântica de transição para agentes e MAS:

• Estado do Agente: Definido como uma tupla de nome, histórico, canal de entrada e canal de saída.
• Transições:
  • Recv (Receber): Uma mensagem é adicionada ao histórico se for válida (consistente com o histórico e as restrições de integridade).
  • Decide (Decidir): O agente computa as formas habilitadas, aplica um tomador de decisão para gerar um conjunto de instâncias, valida o conjunto para compatibilidade interna e os emite.
• Corretude e Completude: Os autores provam que qualquer MAS implementado usando a semântica do Kiko é conforme ao protocolo (ele só atinge estados que correspondem a execuções de protocolo válidas) e completo (é possível construir tomadores de decisão para alcançar qualquer execução de protocolo válida).

2.3 Padrões de Tomada de Decisão Suportados

O Kiko introduz padrões específicos para lidar com cenários descentralizados complexos:

1. Correlação: Deriva automaticamente formas para execuções de protocolo específicas (contextos) baseadas em chaves compartilhadas (ex: IDs de transação), permitindo que os agentes gerenciem múltiplas interações simultâneas.
2. Raciocínio entre Execuções (Cross-Enactment Reasoning): Os tomadores de decisão recebem formas de todos os contextos ativos, permitindo que os agentes tomem decisões baseadas em informações através de diferentes sistemas ou transações (ex: selecionar a cotação mais barata entre vários vendedores).
3. Múltiplos Protocolos: Agentes podem desempenhar papéis em protocolos não relacionados simultaneamente. Os tomadores de decisão podem mapear informações entre protocolos (ex: disparar uma solicitação de "Aprovação" baseada em uma forma de "Compra").
4. Conjuntos de Emissão (Emission Sets): Um tomador de decisão pode propor um conjunto de múltiplas instâncias de mensagens para emissão atômica. O adaptador valida o conjunto inteiro para compatibilidade interna. Se o conjunto contiver mensagens conflitantes (ex: tanto Comprar quanto Rejeitar para a mesma execução), o conjunto inteiro é rejeitado. Isso evita estados parciais e inconsistentes.
5. Liberdade de Ordem de Recebimento: Como o Kiko se baseia em causalidade de informação e não em sequência, os agentes não precisam esperar por mensagens em uma ordem específica. Mensagens que chegam fora de ordem são simplesmente adicionadas ao histórico; formas dependentes delas tornam-se habilitadas apenas quando os dados necessários estão presentes.
6. Acoplamento Fraco: Mudanças no protocolo que afetam a estrutura da mensagem, mas não o fluxo de informação (ex: mudar como o pagamento é recebido), não exigem mudanças na lógica de decisão do agente, pois o adaptador lida com a derivação das formas.

3. Principais Contribuições

1. Modelo de Programação Kiko: Um novo modelo orientado à decisão que separa a lógica de negócio dos protocolos de comunicação, permitendo que os agentes operem sobre redes não ordenadas e com perda de pacotes (como UDP), enquanto garante a conformidade com o protocolo.
2. Semântica Formal: Uma semântica operacional rigorosa para agentes Kiko e MAS, incluindo definições para histórico, formas, conjuntos habilitados e regras de transição.
3. Garantias Teóricas:
   • Correção/Soundness (Teorema 1): Prova que qualquer estado alcançável em um MAS Kiko simula uma execução de protocolo válida (ou seja, o sistema não pode violar o protocolo).
   • Completude/Completeness (Teorema 3): Prova que, para qualquer execução de protocolo válida, existe um conjunto de tomadores de decisão capazes de realizá-la.
   • Otimização (Teorema 2): Estabelece que verificar apenas a compatibilidade interna de um conjunto de emissão é suficiente para a validade, pois as formas já foram derivadas para serem consistentes com o histórico.
4. Padrões Práticos: A introdução de conjuntos de emissão e raciocínio entre execuções, que permitem decisões atômicas de múltiplas mensagens e raciocínio através de múltiplas interações simultâneas — recursos frequentemente ausentes em modelos tradicionais baseados em ordenação.

4. Resultados e Alegações

O artigo não apresenta benchmarks de desempenho empírico contra outros sistemas, mas fornece validação teórica e análise arquitetônica.

• Conformidade com o Protocolo: Os autores afirmam que o Kiko garante que os agentes não emitirão mensagens que violem as restrições de integridade ou causalidade do protocolo, independentemente da lógica de decisão implementada pelo programador.
• Flexibilidade: Ao abstrair a ordenação de mensagens, o Kiko permite que os agentes respondam de forma flexível aos eventos conforme eles chegam, suportando ambientes assíncronos e descentralizados.
• Eficiência: O artigo afirma que o método otimizado de verificação de conformidade (verificar a compatibilidade interna dos conjuntos de emissão em vez da revalidação total do histórico) é computacionalmente mais eficiente.
• Compatibilidade com o Argumento Ponta-a-Ponta (End-to-End Argument): O Kiko é alegado ser compatível com o argumento ponta-a-ponta ao construir aplicações sobre serviços de comunicação simples e não ordenados (como UDP) em vez de middlewares complexos e ordenados.

5. Significância

O artigo posiciona o Kiko como uma evolução necessária na programação de agentes, abordando a lacuna entre as especificações de protocolos abstratos e a implementação concreta e descentralizada. Sua significância reside em:

• Desacoplar Lógica e Comunicação: Permite que os desenvolvedores foquem nas regras de negócio sem gerenciar as complexidades de sequenciamento de mensagens ou confiabilidade de transporte.
• Viabilizar a Descentralização: Ao suportar transporte não ordenado e com perda, o Kiko facilita a implementação de MAS robustos em ambientes onde a coordenação centralizada é impraticável (ex: IoT, computação de borda, microserviços).
• Lidar com a Complexidade: O suporte para conjuntos de emissão e raciocínio entre execuções fornece uma maneira estruturada de lidar com processos de negócio complexos de várias etapas que abrangem múltiplos agentes e protocolos, algo difícil de alcançar com abordagens tradicionais de manipulação de mensagens ou baseadas em ordenação.

Os autores concluem que o Kiko fornece uma base sólida para a engenharia de agentes que podem realizar protocolos de interação complexos de maneira verdadeiramente descentralizada, preenchendo a lacuna entre o design de alto nível do protocolo e a implementação de baixo nível.