論文の概要: Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems
- arxiv url: http://arxiv.org/abs/2605.23935v1
- Date: Fri, 24 Apr 2026 13:32:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-01 02:55:42.948977
- Title: Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems
- Title（参考訳）: 再構築機関の運用:自律エージェントシステムにおける実行時構築、依存性解決、実行時ゲーティング
- Authors: Marcelo Fernandez - TraslaIA,
- Abstract要約: 本稿では,実行時に権限が評価され,その構成性に応じて実行が条件付けられるランタイム実行モデルを提案する。
私たちは、このモデルが安全を保証することを示します -- 建設可能な権限なしでは、アクションは実行されません -- そして、条件付き生きたままです。
- 参考スコア（独自算出の注目度）: 0.4929694290403903
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Autonomous agent systems fail not only due to incorrect decisions, but due to executing decisions whose authority no longer holds at runtime. Prior work defined Reconstructive Authority (RAM) as a condition for valid execution: actions are permitted only if authority can be constructed from current state. This paper addresses enforcement at runtime: how to enforce this condition in a running system. We introduce a runtime execution model in which authority is evaluated at action time and execution is conditioned on its constructibility. This extends the execution state space beyond admit/deny with a third state, halt, representing cases where authority is undefined due to incomplete or uncertain observability. We define a concrete execution protocol including dynamic dependency resolution, authority reconstruction, and explicit decision semantics. We further introduce a Recovery Loop that integrates drift detection (IML) with execution control (ACP), allowing the system to suspend execution, acquire missing information, and re-attempt authority reconstruction. We show that this model guarantees safety -- no action is executed without constructible authority -- and conditional liveness: execution resumes when authority-defining variables become observable. This work operationalizes reconstructive authority as a runtime enforcement mechanism, providing the execution semantics required to apply RAM in real systems.
- Abstract（参考訳）: 自律エージェントシステムは、誤った決定だけでなく、実行時に権限が保持されない決定を実行するために失敗する。
以前の作業では、リコンストラクティブ・オーソリティ(RAM)を、有効な実行条件として定義していた。
本稿では,実行時の実行時の実行状況について述べる。
本稿では,実行時に権限が評価され,その構成性に応じて実行が条件付けられるランタイム実行モデルを提案する。
これは、不完全または不確実な可観測性のために権限が定義されていないケースを表現するために、第3の状態でアクセプト/デニーを越えて実行状態空間を拡張する。
動的依存関係解決、権限再構築、明示的な決定意味論を含む具体的な実行プロトコルを定義する。
さらに、ドリフト検出(IML)と実行制御(ACP)を統合したリカバリループを導入し、システムの実行を停止し、行方不明情報を取得し、権限の再構築を再開する。
私たちは、このモデルが安全を保証することを示しています -- コンストラクタのないアクションは実行されず -- および条件付き生存 – 権限定義変数が観測可能になったときに実行が再開されます。
この作業は再構築権限を実行時執行機構として運用し、実際のシステムにRAMを適用するために必要な実行セマンティクスを提供する。
関連論文リスト
- Securing LLM Agents Need Intent-to-Execution Integrity [49.490963596514185]
我々は, LLMエージェントの確保には, エージェントの実行がユーザの意図を忠実に反映した場合に規定するエンドツーエンドの正当性を定義する必要があると主張している。
LLMエージェントはコンパイラと構造的に類似しており、セキュリティ違反はユーザ意図を保存しない誤った実行に対応する。
emphTool整合性、emph命令整合性、emphJudgment整合性、emphData整合性。
論文 参考訳（メタデータ） (2026-05-16T12:53:31Z) - Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems [0.4929694290403903]
入場制御系の構造的特性である原子決定境界を導入する。
我々は原子系と分裂評価系という2つのクラスを区別する。
提案手法は,原子系と等価な分割系を作る構造が存在しないことを,反例トレースを用いて証明する。
論文 参考訳（メタデータ） (2026-04-19T16:03:47Z) - Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems [51.82266520875928]
実行セマンティクスは、第一級のエンジニアリングエンティティとして扱われない。
モデリングとシミュレーションに基づくエンジニアリングは、正式な実行、実験的な実行、検証、アクティビティによる検証を交互に行う反復サイクルのエンジニアリングを組織する。
これらの応用は、フレームワークがCPSを超えて、明示的に定義された実行条件に依存するあらゆるシステムに一般化することを示している。
論文 参考訳（メタデータ） (2026-04-13T12:42:12Z) - OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains [2.124730017640531]
OpenKedgeは、突然変異を支配プロセスとして再定義するプロトコルである。
EEC(Intent-to-Execution Evidence Chain)は、意図、文脈、政策決定、実行境界、成果を統一された系統にリンクする。
マルチエージェントのコンフリクトシナリオとクラウドインフラストラクチャの変異に対してOpenKedgeを評価した。
論文 参考訳（メタデータ） (2026-04-07T22:51:08Z) - Verification of Robust Properties for Access Control Policies [51.736723807086385]
既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。
本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。
可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
論文 参考訳（メタデータ） (2026-03-13T17:14:38Z) - Robust and Efficient Tool Orchestration via Layered Execution Structures with Reflective Correction [55.13278005189741]
私たちは、高レベルのツール依存関係をキャプチャする階層化された実行構造を学ぶために、ツールオーケストレーションをモデル化します。
本稿では,局所的にエラーを検出し,修正するスキーマ対応反射補正機構を提案する。
この設計では、エラーを個々のツールコールに限定し、実行軌跡全体の再計画を避ける。
論文 参考訳（メタデータ） (2026-02-21T22:20:01Z) - Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems [0.0]
Farameshはプロトコルに依存しない実行制御プレーンで、エージェント駆動アクションの実行時間認証を強制する。
これらのプリミティブが自律的な実行に対して、強制可能で予測可能なガバナンスを実現する方法を示します。
論文 参考訳（メタデータ） (2026-01-25T08:27:27Z) - LERA: Reinstating Judgment as a Structural Precondition for Execution in Automated Systems [1.4231914840649322]
判決は一般的に、実行に対するネイティブの前提条件ではなく、外部の介入として導入される。
本稿では,強制的かつ回避不能な前提条件として判断を強制する構造的枠組みであるLERAを提案する。
論文 参考訳（メタデータ） (2026-01-12T14:39:55Z) - Monadic Context Engineering [59.95390010097654]
本稿では,エージェント設計の正式な基盤を提供するために,モナディックコンテキストエンジニアリング(MCE)を紹介する。
我々は、モナドがロバストなコンポジションをどのように実現し、Applicativesが並列実行に原則化された構造を提供し、また、モナドトランスフォーマーがこれらの機能の体系的なコンポジションをどのように可能にしているかを実証する。
この階層化されたアプローチにより、開発者は、単純で独立した検証可能なコンポーネントから、複雑でレジリエントで効率的なAIエージェントを構築することができる。
論文 参考訳（メタデータ） (2025-12-27T01:52:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。