01
IA agêntica
Agentes que planejam, usam ferramentas e executam dentro de limites: coordenação, memória, estado e aprovação humana.
Indicador publicadoPesquisa
Pesquisa aplicada, engenharia que opera
A Menlo Tech desenvolve e aplica métodos computacionais para operações complexas: matemática, IA e agentes, com evidência rotulada e supervisão humana.
IA aplicada
Nosso ponto de partida é o problema de negócio. Modelos de linguagem e de aprendizado são parte da solução; a decisão vem de matemática explícita, e a execução, de agentes que respeitam políticas definidas pela empresa.
Oito áreas de pesquisa
02
Otimização matemática
Programação linear e inteira, restrições e alocação de recursos aplicadas a publicação, cobrança e roteamento.
Exemplo ilustrativo03
Inteligência de decisão
Teoria da decisão, inferência bayesiana e simulação para tornar escolhas explicáveis e testáveis.
Exemplo ilustrativo04
Sistemas de conhecimento
Grafos de conhecimento, resolução de entidades e proveniência: cada fato com origem e relações.
Exemplo ilustrativo05
Inteligência preditiva
Previsão de demanda e de pagamento, calibração de probabilidades e cadeias de Markov.
Arquitetura proposta06
Avaliação de IA
Calibração, deriva, testes e monitoramento: afirmar apenas o que se mede.
Arquitetura proposta07
Sistemas distribuídos
Execução orientada a eventos, máquinas de estados e orquestração paralela.
Arquitetura proposta08
Colaboração humano-IA
Quando a IA age sozinha, quando pede aprovação e como a pessoa assume a decisão.
Indicador publicadoComo as cinco disciplinas se conectam
- Matemática aplicada: Otimização, Probabilidade, Estatística, Modelagem de decisão, Pesquisa operacional
- Inteligência artificial: Modelos de linguagem, Raciocínio contextual, Classificação, Predição, Avaliação e confiança
- Agentes autônomos: Planejamento, Execução, Coordenação, Memória e contexto, Uso de ferramentas
- Sistemas de conhecimento: Grafos de conhecimento, Resolução de entidades, Relações entre dados, Proveniência, Contextualização
- Engenharia de sistemas: Arquitetura distribuída, Integrações, Observabilidade, Governança, Confiabilidade operacional
Filosofia de pesquisa
Rigor matemático
Toda decisão tem um modelo por trás, com variáveis, objetivo, restrições e limites declarados.
Evidência rotulada
Cada afirmação diz se é publicada, ilustrativa, simulada, proposta ou ainda não publicada.
Supervisão humana
A IA executa dentro de políticas; quando uma regra é ultrapassada, uma pessoa decide.
Engenharia que opera
Pesquisa só importa quando vira um sistema que roda, é observável e pode ser auditado.
Artigos de pesquisa e publicações técnicas
Ainda não publicamos artigos de pesquisa com resultados experimentais. Esta seção não apresenta experimentos que não foram realizados.
O que existe hoje são publicações técnicas baseadas nos projetos documentados:
- Tour de algoritmos: RE/MAXTour interativo · Abrir
- Tour de algoritmos: ClaveTour interativo · Abrir
- Tour de algoritmos: Subway BrasilTour interativo · Abrir
- Case RE/MAX: formulação matemática e agentesArtigo técnico de capacidade · Ler
- Case Clave: matemática financeira e confiançaArtigo técnico de capacidade · Ler
- Case Subway Brasil: prioridade e operaçãoArtigo técnico de capacidade · Ler
Modelo de publicação
Toda publicação futura seguirá esta estrutura. É um modelo: não contém experimentos nem resultados.
- ResumoO problema, o método e o que foi observado, em poucas linhas.
- ProblemaA decisão ou operação que se quer melhorar e por quê.
- Hipótese de pesquisaO que se espera, de forma que possa ser refutado.
- Formulação matemáticaVariáveis, objetivo, restrições e premissas.
- ArquiteturaComo o método vira um sistema.
- MetodologiaComo a hipótese será testada.
- Configuração experimentalDados, parâmetros, linhas de base e medidas.
- ResultadosO que foi medido, com incerteza e comparação.
- LimitaçõesO que o estudo não mostra.
- Aplicações empresariaisOnde o resultado pode ser usado e sob quais condições.
Modelo de estrutura editorial. Nenhum experimento é afirmado aqui.
Discutir uma parceria de pesquisa
Se você tem um problema operacional com dados e restrições reais, conte para nós.
Falar sobre pesquisa