自律エージェントシステムは、誤った決定を下すことだけでなく、実行時にその権限がもはや有効でない決定を実行することによっても失敗する。先行研究では「再構成的オーソリティ(RAM)」が有効な実行の条件として定義されていた。すなわち、現在の状態から権限が構築可能な場合にのみアクションが許可される。しかし、この条件を実行時にどのように強制するかは未解決の問題であった。今回、arXivに投稿された論文(番号:2605.23935)は、この課題に取り組むランタイム実行モデルを提案する。
このモデルの核心は、アクション実行時に権限を評価し、実行を権限の構築可能性に依存させる点にある。従来のシステムの実行状態空間は通常「許可」と「拒否」の二値であったが、新モデルは第三の状態「停止」を導入する。観測が不完全または不確実なため権限が明確に定義できない場合、システムは「停止」状態に入り、さらなる情報を待つ。
論文は、動的依存関係解決、権限再構築、明示的な決定意味論を含む具体的な実行プロトコルを定義する。動的依存関係解決により、システムは実行前に必要なすべての権限依存関係を正しく識別し取得できる。権限再構築は、現在の状態から権限の根拠を再度構築するプロセスである。明示的な決定意味論は、システムがいつ許可、拒否、停止を選択すべきかの条件を明確にする。
さらに研究チームは、ドリフト検出(IML)と実行制御(ACP)を統合した「回復ループ」を導入する。システムが環境や内部状態のドリフトを検出し、それが権限の無効化につながる可能性がある場合、回復ループが自動的に作動する。システムは実行を中断し、不足している情報を能動的に取得した後、権限の再構築を再試行する。このプロセスは、権限が構築可能になるか最終的に失敗するまで繰り返される。
論文は形式証明により、このモデルが安全性と条件付き生存性を保証することを示している。安全性とは、構築可能な権限なしにアクションが実行されないことである。条件付き生存性とは、権限を定義する変数が観測可能になった時点で実行が再開されることを意味する。この研究は、再構成的オーソリティを理論的概念からランタイム強制メカニズムへと具体化し、実際のシステムでRAMを適用するために必要な実行意味論を提供する。
本論文は「エージェントガバナンスシリーズ」の第6作(P6)であり、関連する先行研究はarXiv(P0-P2)で公開されている。P3/4およびP5は同時に投稿された(arXiv IDは未割り当て)。補足データとコードはZenodoで入手可能である。詳細な論文はarXivで閲覧できる。