六羽の鳥に石を投げるには:エージェントとエージェント性について

arXiv cs.AI / 2026/4/7

💬 オピニオンSignals & Early TrendsIdeas & Deep AnalysisModels & Research

要点

  • 本論文は「六羽の鳥理論(Six Birds Theory, SBT)」の枠内で、対象としての持続(persistence-as-object)と反実仮想的な差分としての制御(control-as-counterfactual difference)を切り分けることで、エージェンシーを型整合的に説明する考え方を提示し、エージェンシー主張をより検証可能にする。
  • エージェントを、フェasible(実行可能)なインターフェース・ポリシーを備えた、維持される(maintained)理論上の対象として定義し、それにより将来の外側へと導く(steer)一方で、台帳(ledger)に記録された制約によって健全性(viability)を保てるとする。
  • 著者らは、この理論を有限の制御付きシステムで実装し、検証可能な4つの構成要素で運用する:台帳でゲートされた実行可能性(ledger-gated feasibility)、後続支持(successor-support)セマンティクスのもとでの健全性の核(最大不動点、greatest fixed point)、差を生み出すことの代理としての実行可能なエンパワメント(feasible empowerment)、および粗い観測下での対象性(objecthood)を定量化する「冪等性欠陥(idempotence defect)」。
  • 設定可能なトグルを備えた最小の「リングワールド(ring-world)」での実験では、明確な分離が示される:修復(repairs)は冪等性欠陥を崩し、プロトコルは複数ステップの地平(multi-step horizons)でのみエンパワメントを高め、学習したオペレータ書き換え(operator rewriting)は単調に中央値のエンパワメントを引き上げる。
  • 本研究は、再現可能で監査可能な成果物を重視し、目標(goals)、意識、もしくは生物学的仮定を用いることなく、エージェント性(agenthood)をエージェンシー(agency)と区別することを狙ったハッシュで追跡可能なテストを提案する。

要旨: 六鳥理論(SBT)は、巨視的対象を原始物ではなく誘導された閉包として扱います。エージェンシーに関する経験的な議論では、しばしば持続(ある対象であること)と制御(反実仮想における差を作ること)が混同され、その結果、エージェンシーの主張は検証しにくく、また容易に偽装されがちです。私たちはSBTの中で、エージェンシーの型(タイプ)に正しい説明を与えます。すなわち、理論は明示的なインターフェースと台帳化された制約を備えた層を誘導し、エージェントとは、維持されている理論の対象であって、その実現可能なインターフェース方策が、実行可能性を保ったまま外部の未来を導くことができる、というものです。私たちは、この契約を有限の制御されたシステム上で、検証可能な4つの構成要素によって実装します。具体的には、台帳によってゲートされた実現可能性、後続サポート意味論に基づく最大の不動点として計算される頑健なヴィアビリティ・カーネル、差異を生み出すための代理指標としての実現可能なエンパワメント(チャネル容量)、そして、粗い観測のもとでの対象性(objecthood)を定量化する、経験的なパッケージング写像の冪等性の欠陥です。修復のためのトグル、プロトコルのホロノミー、アイデンティティの段階付け、オペレーターの書き換えを備えた最小のリング世界において、対応した制御のアブレーションにより4つの分離が得られます。すなわち、単一アクションのみを用いる較正済みのヌル状態では、エンパワメントがゼロとなり、モデルのミスペシフィケーションによる偽陽性がブロックされます。修復を有効にすると冪等性の欠陥が崩れ落ちます。プロトコルは、2ステップ以上の地平でのみエンパワメントを増加させます。そして、オペレーターを書き換えることを学習すると、中央値のエンパワメントが単調に増加します(0.73から1.34ビット)。これらの結果は、目標、意識、生物学的な生物に関する主張を行うことなく、エージェント性とエージェンシーを分離する、ハッシュで追跡可能なテストを提供します。さらに、そのテストに付随する再現可能で監査可能な成果物が添えられています。