Esta página foi traduzida automaticamente do inglês. Visualize o original em inglês.

Pesquisadores, estudiosos da ciência da ciência e colegas do Instituto que exploram a inferência ativa como um modelo de investigação científica, organização de pesquisa e ciência aberta ou descentralizada.

Active Inference e o Método Científico

Tratar a investigação científica em si como um processo de inferência — desde testes individuais de hipóteses até equipas de investigação, práticas de ciência aberta e ciência descentralizada (DeSci).

O método científico é, no seu cerne, um ciclo disciplinado de formação de crenças, ação para recolher evidências e revisão dessas crenças quando a previsão falha — o mesmo ciclo que a inferência ativa formaliza como percepção, ação e atualização do modelo gerador. Um pequeno corpo de trabalhos afiliados ao Instituto estende esta paralele entre a investigação individual e a organização da investigação em si: como equipas, instituições e comunidades científicas abertas ou descentralizadas estruturam a minimização coletiva da incerteza sobre o mundo. A literatura aqui é inicial e majoritariamente conceitual, com os próprios projetos do Instituto — e não um campo externo maduro — a suportar a maior parte do trabalho atual.

Por que o domínio se encaixa

A inferência ativa trata cada agente como se estivesse continuamente testando um modelo gerador do mundo contra as observações que recebe, atualizando crenças para reduzir o erro de previsão e escolhendo ações esperadas para resolver a maior incerteza — uma descrição que corresponde quase diretamente à formação de hipóteses, experimentação e revisão de crenças na prática científica. A extensão vai além do cientista individual: uma equipe de pesquisa, o processo de revisão por pares de uma revista ou um órgão de financiamento podem ser lidos como modelos geradores operando em diferentes escalas, inferindo quais perguntas valem a pena investigar e quais descobertas são confiáveis a partir de evidências ruidosas, parciais e socialmente mediadas. Porque a inferência ativa é explicitamente compatível com formulações multiagentes e hierárquicas, oferece um vocabulário compartilhado para descrever a investigação individual, a ciência em equipe e as instituições mais amplas que organizam a pesquisa, incluindo a questão mais recente de como a ciência pode ser estruturada de forma descentralizada em vez de puramente centralizada.

Estado da literatura

Trabalho revisado por pares e preprint diretamente relevante é limitado, mas específico. O artigo de 2021 de Ahti-Veikko Pietarinen e Majid Beni e o preprint de 2023 da OSF de Ines Balzan e colegas, “Ciência Distribuída: O Processo Científico como Inferência Ativa”, enquadram a investigação científica e os processos de pesquisa em termos de inferência ativa, e são citados pelo Instituto como a base conceitual para nomear sua própria unidade de pesquisa “ReInference”. A contribuição mais concreta é o artigo de 2023 do presidente do Instituto, Daniel Ari Friedman e Jakub Smekal, “Equipes Geradoras de Pesquisa: Composições Baseadas em Inferência Ativa para Pesquisa e Meta-Ciência” (registro Zenodo 8164667), que desenvolve composições baseadas em inferência ativa para descrever como funcionam as equipes de pesquisa e os processos meta-científicos. Como acontece com várias das outras páginas emergentes de domínio do Instituto, não foram relatados testes empíricos dessas formulações contra dados reais de equipes de pesquisa ou instituições.

Projetos-chave: AEOS e ReInferencia

O trabalho mais desenvolvido do Instituto neste espaço é a Ontologia da Entidade Ativa para Ciência (AEOS), um projeto de 2022 do Instituto publicado como "Uma Ontologia de Inferência Ativa para a Ciência Descentralizada: do Processamento Cognitivo Situado ao Comum Epistêmico" (registro Zenodo 7484994) e mantida no GitHub como ActiveInferenceInstitute/AEOS junto com um documento companheiro interativo. A AEOS usa inferência ativa para modelar a atividade científica como um processo cognitivo coletivo, integrando considerações de negócios, operações, jurídico, técnico e social (BOLTS) em uma ontologia compostável e versionada destinada a conectar a ciência institucional (CeSci) e a ciência descentralizada (DeSci) em vez de tratá-las como opostas. Uma página dedicada nota que a própria ciência descentralizada (DeSci) foi explorada especificamente através do trabalho da AEOS, em vez de como um programa separado. Ao lado da AEOS, a unidade de pesquisa do Instituto, ReInference, aplica o mesmo enquadramento orientado pela inferência às suas próprias operações: forma equipes de pesquisa interdisciplinares, desenvolve e executa propostas de pesquisa alinhadas com a missão do Instituto e está comprometida em hospedar e compartilhar seus dados, resultados, publicações e ferramentas sob licenciamento de código aberto ou acessível de forma semelhante sempre que for praticável.

Uma ponte formal: teoria das categorias

Notas internas separadas exploram uma ponte formal proposta entre a inferência ativa e a teoria das categorias, motivada por uma palestra de 2024 do Chris Fields, membro do Conselho Consultivo Científico do Instituto, intitulada “Qual é o operador identidade?”. As notas sugerem que a teoria das categorias pode fornecer linguagem matemática formal para as transformações que a inferência ativa prevê que ocorrem à medida que um modelo generativo se atualiza, com o operador identidade oferecido como uma forma de pensar sobre como um sistema mantém coerência por meio dessas mudanças. Isso permanece um esboço conceitual inicial e não um framework publicado, revisado por pares ou testado empiricamente, e não tem projeto ou publicação dedicado além destas notas internas.

Problemas em aberto

O problema mais básico aberto é empírico: nenhum dos frameworks acima — Ciência Distribuída, Equipes de Pesquisa Generativas ou AEOS — foi testado contra dados de equipes de pesquisa, periódicos ou comunidades científicas descentralizadas, portanto, seu valor é atualmente conceitual e organizacional em vez de demonstrado. A tentativa do AEOS de conectar a ciência centralizada e descentralizada levanta suas próprias questões não resolvidas sobre governança, design de incentivos e como uma ontologia compostável seria realmente adotada por grupos de pesquisa que trabalham em vez de permanecer um exercício de modelagem. A ponte da teoria das categorias é a corrente mais desenvolvida nesta página: ela se baseia em uma única palestra e notas internas curtas, sem prova formal, implementação ou avaliação independente de se a correspondência matemática proposta mantém ou é útil na prática. Mais amplamente, o relatório identifica uma lacuna entre descrever a ciência como inferência ativa e construir ferramentas que os pesquisadores realmente usariam para planejar, organizar ou avaliar seu próprio trabalho sob essa descrição.

Eixo de Referência

Karl J. Friston (2010). The free-energy principle: a unified brain theory? Nature Reviews Neuroscience. DOI: 10.1038/nrn2787. Thomas Parr, Giovanni Pezzulo, Karl J. Friston (2022). Active Inference: The Free Energy Principle in Mind, Brain, and Behavior. MIT Press. Giovanni Pezzulo, Francesco Rigoli, Karl J. Friston (2017). Active Inference, homeostatic regulation and adaptive behavioural control. Progress in Neurobiology. DOI: 10.1016/j.pneurobio.2017.08.001. Lancelot Da Costa, Thomas Parr, Noor Sajid, Sebastijan Veselic, Victorita Neacsu, Karl J. Friston (2020). Active inference on discrete state-spaces: A synthesis. Journal of Mathematical Psychology. DOI: 10.1016/j.jmp.2020.102447.

Superfícies-chave

Ativação de Inferências e o Método Científico em um resumo.

Equipes de Pesquisa Generativa

O artigo de 2023 dos presidentes do Instituto Daniel Ari Friedman e Jakub Smekal modela equipes de pesquisa e a meta-ciência como composições de inferência ativa — a contribuição mais concreta do Instituto para este domínio.

AEOS une CeSci e DeSci

A ontologia da Entidade Ativa para a Ciência modela a atividade científica como um processo de inferência coletiva, tratando deliberadamente a ciência institucional centralizada e a ciência descentralizada como extremos de um espectro e não como rivais.

Categoria teoria: uma ponte precoce e não comprovada

Uma ligação formal proposta entre a inferência ativa e a teoria das categorias repousa num único discurso de 2024 e notas internas curtas, sem prova publicada ou teste empírico ainda.

Recursos relacionados

Links públicos para esta página