Inteligência, por favor.
Pesquisa aplicada em IA fundamentada em métodos formais.
Sistemas multiagente. Revisão de crenças. Representação de conhecimento.
Rolar
Inteligência, por favor.
Pesquisa aplicada em IA fundamentada em métodos formais.
Sistemas multiagente. Revisão de crenças. Representação de conhecimento.
Arquiteturas para agentes autônomos que coordenam, negociam e raciocinam. Design de protocolos, semântica de comunicação e modelos formais de interação — não cadeias de prompts chamando cadeias de prompts.
Engenharia ontológica com semântica formal. Lógicas de descrição, estruturas de conhecimento baseadas em grafos e validação de restrições sobre as quais máquinas podem raciocinar — não apenas recuperar informação.
Como agentes atualizam racionalmente o que sabem. Mudança de teoria com garantias formais, entrincheiramento epistêmico e propagação de crenças em bases de conhecimento distribuídas.
Todo framework, ferramenta e dataset que construímos é publicado abertamente. Pesquisa reproduzível, APIs documentadas e desenvolvimento orientado pela comunidade. Se não é reproduzível, não é ciência.
A maioria dos sistemas de IA é construída com base em intuição e iteração. Nós partimos de fundamentos formais — os mesmos princípios que permitem a sistemas distribuídos alcançar consenso e a bancos de dados manter consistência.
Revisão de crenças dá aos agentes epistemologia real. Ontologias dão ao conhecimento estrutura real. O resultado é IA que pode explicar o que sabe e por que mudou de ideia.