このページは機械翻訳によって英語から日本語に翻訳されました。 英語のオリジナルをご覧ください。

研究者、科学の科学を専門とする学者たちと、Active Inference を科学的探求、研究組織、オープンなまたは分散型の科学としてモデルとするインstitute のメンバーが調査します。

Active Inferenceと科学的方法

科学的探求自身被视为一个推理过程——从个体假说检验到研究团队、开放科学实践和去中心化科学(DeSci)。

科学的手法は、その核心において、信念を形成し、証拠を収集するために行動し、予測が失敗したときにそれらの信念を修正するという、規律あるサイクルです。これは、アクティブ・インファレンスが知覚、行動、生成モデルの更新として形式化するのと同じサイクルです。研究所関連の少数の研究は、この類似性を個々の探求から研究組織自体にまで拡張しています。つまり、チーム、機関、オープンまたは分散型科学コミュニティが、世界に関する不確実性の集団的最小化をどのように構造化するかということです。ここでの文献は初期段階であり、ほとんどが概念的なもので、成熟した外部分野ではなく、研究所自身のプロジェクトが現在の作業のほとんどを担っています。

なぜそのドメインが合っている

Active inferenceは、すべての_agent_が、入力された観察に対して生成モデルを世界に試験し、予測誤差を減らすために信念を更新し、最も不確実性を取り除くための行動を選択することを継続的に試みる。これは、科学的 Practicesにおける仮説形成、実験、信念の修正とほぼ直接にマッピングされる。このフィットは個々の科学者を超えて extends: 研究チーム、ジャーナルの同行評価プロセス、または資金提供者が異なるスケールで生成モデルを操作し、不確実な、部分的で、社会的に伝播された証拠から最も価値のある問いを追求するべきか、最も信頼できる発見は何かを推論することも extend します。Active inferenceは明示的にマルチ_アジェントと階層的な形式に適合しているため、個々の探求、チーム科学、研究を組織する wider institutions の共通言語を提供し、デcentralized のみならず純粋な中央化からどのように科学が構造化されるかについても質問します。

文献の状態

Directly relevant peer-reviewed and preprint work is limited but specific. Ahti-Veikko Pietarinen and Majid Beni's 2021 article and Ines Balzan and colleagues' 2023 OSF preprint, "Distributed Science: The Scientific Process as Multi-Scale Active Inference," both frame scientific inquiry and research processes in active-inference terms, and are cited by the Institute as the conceptual basis for naming its own research unit "ReInference." The most concrete contribution is Institute president Daniel Ari Friedman and Jakub Smekal's 2023 paper, "Generative Research Teams: Active Inference Compositions For Research and Meta-Science" (Zenodo record 8164667), which develops active-inference-based compositions for describing how research teams and meta-scientific processes function. As with several of the Institute's other emerging domain pages, empirical testing of these framings against real research-team or institutional data has not yet been reported.

AEOSとReInferenceのキーアクション

この分野における当研究所の最も発展した研究は、科学のためのアクティブエンティティオントロジー(AEOS)です。これは2022年の研究所プロジェクトで、「分散型科学のためのActive Inferenceオントロジー:状況に応じた意味付けから認識論的コモンズへ」(Zenodoレコード7484994)として公開され、インタラクティブな付随文書とともにGitHubでActiveInferenceInstitute/AEOSとして管理されています。AEOSは、アクティブ推論を使用して科学活動を集団的認知プロセスとしてモデル化し、ビジネス、運用、法務、技術、社会(BOLTS)の考慮事項を、制度的科学(CeSci)と分散型科学(DeSci)を対立するものとして扱うのではなく、橋渡しすることを目的とした構成可能でバージョン管理可能なオントロジーに統合します。専用のサブページでは、分散型科学(DeSci)自体が、別のプログラムとしてではなく、AEOSの作業を通じて具体的に探求されてきたことが述べられています。AEOSと並行して、研究所の研究部門であるReInferenceは、この推論指向のフレームワークを自身の運営にも適用しています。学際的な研究チームを編成し、研究所のミッションに沿った研究提案を開発・実行し、可能な限りオープンソースまたは同様にアクセス可能なライセンスの下でデータ、調査結果、出版物、ツールをホストおよび共有することにコミットしています。

形式的な橋:位相論

内部の Institute のノートは、チャイス・フィールズ博士(科学諮問委員会のメンバー)が2024年に行なった「アイデンティティオペレータとは何か?」というタイトルの講演をモチーフに、活性化推論とカテゴリ論理間の形式的な橋渡しについての提案を含んでいます。ノートは、生成モデルが変更する過程で起こる必要がある推論によって予測される変換に対して、カテゴリ論理が形式的な数学言語を提供できるという観点から述べています。アイデンティティオペレータは、システムがそのような変化を通じてコherenceを維持する方法について考えることを示唆しています。これはまだ概念的なスケッチであり、公表されたものや同行評価を受けたものではなく、実証済みのフレームワークでもありません。また、このノートだけが独自のプロジェクトや出版物を持つわけではありません。

未解決の問題

最も基本的な未解決問題は経験的なものです。上記のフレームワーク(分散型科学、生成型研究チーム、AEOS)のいずれも、実際の研究チーム、ジャーナル、または分散型科学コミュニティからのデータに対してテストされていません。したがって、その価値は現在、実証されたものではなく、概念的および組織的なものです。AEOSが集中型科学と分散型科学の橋渡しを試みていることは、ガバナンス、インセンティブ設計、そして構成可能なオントロジーがモデリング演習に留まるのではなく、実際に機能する研究グループにどのように採用されるかについて、未解決の疑問を提起しています。圏論の橋渡しは、このページで最も未開発の分野です。これは、単一の講演と短い内部メモに基づいており、提案された数学的対応が実際に成り立つか、または有用であるかについての正式な証明、実装、または独立した評価はありません。より広範には、このレポートは、科学をアクティブ・インファレンスとして記述することと、研究者がその記述の下で自身の仕事を計画、整理、または評価するために実際に使用するツールを構築することとの間のギャップを特定しています。

リファレンス・バックボーン

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.

キーの表面

科学的方法を一目で理解する:Active Inferenceと

生成的研究チーム

研究所所長のダニエル・アリ・フリードマンとヤクブ・スメカルによる2023年の論文では、研究チームとメタサイエンス自体をアクティブ・インファレンスの構成要素としてモデル化しており、これはこの分野に対する研究所の最も具体的な貢献です。

AEOSはCeSciとDeSciを結ぶAEOS

科学のActive Entity ontologyは、科学活動を集中的な機関科学と分散的な科学を一転として一つのスパンの端に扱うために集中型の機関科学と分散型の科学を故意に処理します。

カテゴリ論:未証の初期の橋

titleは2024年のsingle講演と内部の短いメモに基づいており、まだ公表された証明や実験はありません。

関連リソース

このページの公開リンク