論文の概要: Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
- arxiv url: http://arxiv.org/abs/2604.17511v2
- Date: Tue, 21 Apr 2026 18:00:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-23 15:36:10.356377
- Title: Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
- Title（参考訳）: 原子決定境界:自律システムにおける実行時間許容性を保証するための構造要件
- Authors: Marcelo Fernandez,
- Abstract要約: 入場制御系の構造的特性である原子決定境界を導入する。
我々は原子系と分裂評価系という2つのクラスを区別する。
提案手法は,原子系と等価な分割系を作る構造が存在しないことを,反例トレースを用いて証明する。
- 参考スコア（独自算出の注目度）: 0.4929694290403903
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Autonomous systems increasingly execute actions that directly modify shared state, creating an urgent need for precise control over which transitions are permitted to occur. Existing governance mechanisms evaluate policies prior to execution or reconstruct behavior post hoc, but do not enforce admissibility at the exact moment a state transition is committed. We introduce the atomic decision boundary, a structural property of admission control systems in which the decision and the resulting state transition are jointly determined as a single indivisible step in the labeled transition system (LTS) model of execution. We distinguish two classes: atomic systems, where evaluation and transition are coupled within a single LTS step, and split evaluation systems, where they are separate transitions interleaved by environmental actions. The separation introduces an architectural gap -- the decision is evaluated in one system state; the transition fires in a potentially different one -- that no policy, regardless of sophistication, can close from within a split architecture. Under realistic concurrent environments, we prove via a constructive counterexample trace that no construction can make a split system equivalent to an atomic system with respect to admissibility. Three corollaries follow: impossibility of execution-time guarantees in split systems, insufficiency of external state enrichment, and admissibility as an execution-time rather than evaluation-time property. We further formalize the Escalate outcome -- absent from classical TOCTOU analyses -- proving that it transfers rather than eliminates the atomicity requirement: resolution is safe if and only if it is itself atomic. We classify RBAC, ABAC, OPA, Cedar, and AWS IAM as split systems and ACP as atomic, providing a structural taxonomy of existing governance mechanisms. Admissibility is a property of execution, not evaluation.
- Abstract（参考訳）: 自律的なシステムは、共有状態を直接変更するアクションをますます実行し、どのトランジションを許可するかを正確に制御する緊急の要求を発生させる。
既存のガバナンスメカニズムは、実行前にポリシーを評価したり、ホック後の動作を再構築するが、状態遷移がコミットされた正確な瞬間に許容性を強制しない。
本稿では,決定と結果の遷移がラベル付き遷移系(LTS)モデルにおいて,単一の不可分なステップとして共同で決定される,入場制御系の構造的特性である原子決定境界を導入する。
評価と遷移を1つのLTSステップで結合する原子系と、環境行動によって分離された遷移である分割評価系という2つのクラスを区別する。
この分離はアーキテクチャ上のギャップを導入します -- 決定はひとつのシステム状態で評価されます。
現実的なコンカレント環境下では、構成上の反例トレースを通じて、許容性に関して原子系と等価な分割システムを構築できないことが証明される。
分割システムにおける実行時の保証の欠如、外部状態の豊かさの欠如、評価時間特性よりも実行時の許容性である。
古典的なTOCTOU分析を欠いたエスカレートの結果をさらに形式化し、原子性要件を排除するのではなく、移行することを示した。
我々は、RBAC、ABAC、OPA、Cedar、AWS IAMを分割システム、ACPをアトミックに分類し、既存のガバナンスメカニズムの構造的分類を提供する。
許容性は実行の特性であり、評価ではない。
関連論文リスト
- Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems [51.82266520875928]
実行セマンティクスは、第一級のエンジニアリングエンティティとして扱われない。
モデリングとシミュレーションに基づくエンジニアリングは、正式な実行、実験的な実行、検証、アクティビティによる検証を交互に行う反復サイクルのエンジニアリングを組織する。
これらの応用は、フレームワークがCPSを超えて、明示的に定義された実行条件に依存するあらゆるシステムに一般化することを示している。
論文 参考訳（メタデータ） (2026-04-13T12:42:12Z) - Governed Reasoning for Institutional AI [0.0]
認知コア(Cognitive Core)は、9種類の認知プリミティブから構築された決定基盤である。
ヒューマンレビューは、ポストホックチェックではなく実行条件である。
我々は、11ケースの事前承認控訴評価セットで3つのシステムをベンチマークした。
論文 参考訳（メタデータ） (2026-04-12T14:09:18Z) - 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) - Agent Control Protocol: Admission Control for Agent Actions [0.4929694290403903]
エージェントコントロールプロトコル(エージェントコントロールプロトコル、ACP)は、B2Bの機関環境における自律エージェントの受け入れ制御ガバナンスのための正式な仕様である。
ACPは、暗号ID、能力に基づく認可、決定論的リスク評価、連鎖デリゲート、および暗号化連鎖監査を定義する。
ACPはRBACとZero Trustの上で動作し、どちらのモデルも解決しない問題に対処する。
論文 参考訳（メタデータ） (2026-03-19T12:28:28Z) - Self-Evolving Coordination Protocol in Multi-Agent AI Systems: An Exploratory Systems Feasibility Study [0.0]
自己進化コーディネーションプロトコル(SECP)
SECP: 限定的で、外部から検証された自己修正を可能にする調整プロトコル。
本稿では,自己進化コーディネーションプロトコルの探索システムの実現可能性について述べる。
論文 参考訳（メタデータ） (2026-02-02T14:45:04Z) - Behavior Trees vs Executable Ontologies: a Comparative Analysis of Robot Control Paradigms [51.56484100374058]
ロボット行動のモデリングには,インペラティブ・ビヘイビア・ツリー(BT)と宣言的実行可能オントロジー(EO)の2つのアプローチを比較した。
一方、EOはデータフロールールによって駆動される時間的イベントベースのセマンティックグラフとしてドメインを表現している。
論文 参考訳（メタデータ） (2025-11-19T09:38:01Z) - Subject-Event Ontology Without Global Time: Foundations and Execution Semantics [51.56484100374058]
形式化は9つの公理(A1-A9)を含み、実行可能性の正しさを保証する:履歴の単調性(I1)、因果性の非巡回性(I2)、トレーサビリティ(I3)である。
フォーマル化は、分散システム、マイクロサービスアーキテクチャ、DLTプラットフォーム、およびマルチパースペクティビティシナリオ(異なる主題から事実を分解する)に適用できる。
モデルに基づくアプローチ(A9): スキーマによるイベント検証、アクター認可、グローバル時間なしで因果連鎖の自動構築(W3)。
論文 参考訳（メタデータ） (2025-10-20T19:26:44Z) - Exploiting Exogenous Structure for Sample-Efficient Reinforcement Learning [44.17068570786194]
マルコフ決定過程(MDPs)の構造クラスであるExo-MDPsについて検討する。
外因性状態はエージェントの行動とは独立して進化し、内因性状態は状態成分と行動の両方に基づいて決定的に進化する。
Exo-MDPは在庫管理、ポートフォリオ管理、ライドシェアリングなどのアプリケーションに有用である。
論文 参考訳（メタデータ） (2024-09-22T18:45:38Z) - Sufficient condition for universal quantum computation using bosonic
circuits [44.99833362998488]
我々は、計算普遍性にシミュレート可能な回路の促進に重点を置いている。
まず、連続変数状態をキュービット状態にマッピングするための一般的なフレームワークを紹介します。
次に、モジュラーおよび安定化サブシステム分解を含む既存のマップをこのフレームワークにキャストします。
論文 参考訳（メタデータ） (2023-09-14T16:15:14Z) - A New Bandit Setting Balancing Information from State Evolution and
Corrupted Context [52.67844649650687]
本稿では,2つの確立されたオンライン学習問題と包括的フィードバックを組み合わせた,逐次的意思決定方式を提案する。
任意の瞬間にプレーする最適なアクションは、エージェントによって直接観察できない基礎となる変化状態に付随する。
本稿では,レフェリーを用いて,コンテキストブレイジットとマルチアームブレイジットのポリシーを動的に組み合わせるアルゴリズムを提案する。
論文 参考訳（メタデータ） (2020-11-16T14:35:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。