Perspectiva técnica

Sistemas Agênticos

Sob qual estrutura agentes de software podem executar processos de negócio em várias etapas de forma confiável, dentro de limites que pessoas definem e podem auditar?

Pergunta de pesquisa

Sob qual estrutura agentes de software podem executar processos de negócio em várias etapas de forma confiável, dentro de limites que pessoas definem e podem auditar?

Definição do problema

Processos de negócio são longos, têm estado e estão cheios de exceções. Um único agente generalista é difícil de testar e mais difícil de auditar, e um processo que depende de pessoas disparando cada etapa não escala com o volume.

Motivação científica

Operações são naturalmente máquinas de estados: um item passa por estados, e só algumas transições são permitidas. A autonomia fica tratável quando as ações permitidas são explícitas, cada uma é checada contra a política antes de executar, e tudo que foge da política vai para uma pessoa.

Fundamento matemático

Um processo é uma máquina de estados finita com estados s, ações a e uma função de transição δ. Uma guarda g codifica a política: retorna 1 somente quando a ação é permitida naquele estado para o contexto x. Caso contrário, o item é escalado.

Metodologia proposta

  1. Decompor o processo em estados e transições permitidas.

  2. Atribuir cada transição a um agente especializado, com papel restrito.

  3. Expressar a política como guardas e definir o que escala.

  4. Reproduzir registros de eventos para testar as guardas antes de habilitar a autonomia.

Arquitetura do sistema

  1. Objetivo e política

  2. Planejador divide a tarefa

  3. Agentes especializados executam

  4. Guarda de política valida

  5. Registro de eventos

  6. Escalonamento humano

Experimentos

A Menlo Tech não publicou experimentos sobre esta pergunta. O laboratório de Coordenação Multiagente mostra uma parte computável, a alocação de tarefas sob capacidade, com dados sintéticos.

Coordenação Multiagente

Resultados

Nenhum resultado original de pesquisa é afirmado. A única evidência em operação é a cobrança do Subway, com indicadores publicados (ver o estudo de caso).

Resultados originais: nenhum publicado

Limitações

  • Uma guarda só pode proibir o que o autor antecipou.
  • Um agente ainda pode errar dentro das ações permitidas.
  • O esforço de especificação cresce com o número de estados.

Referências

Leitura de fundamentação de outros autores. Não são publicações da Menlo Tech, e nenhum artigo da Menlo Tech é citado porque nenhum foi publicado.

  • Russell, S. & Norvig, P. Artificial Intelligence: A Modern Approach, 4th ed. Pearson, 2020.
  • Wooldridge, M. An Introduction to MultiAgent Systems, 2nd ed. Wiley, 2009.

Relacionados

Estudos de caso