論文の概要: 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（参考訳）: 原子決定境界:自律システムにおける実行時間許容性を保証するための構造要件
• 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をアトミックに分類し、既存のガバナンスメカニズムの構造的分類を提供する。 許容性は実行の特性であり、評価ではない。

関連論文リスト

• ASTELD: A Six-Axis Classification Framework for Autonomous AI Agents - Design, Evaluation, and an OpenClaw Case Study [31.080136605890004]
  ASTELDは、自律型AIエージェントのための6軸分類フレームワークである。 事前エージェントを可観測性のあるプラットフォームプロパティと明示的なカテゴリ固有のルールで合成することで構築される。
  論文  参考訳（メタデータ） (2026-08-05T05:05:20Z)
• Constraint-Driven Synthesis of Hyper Petri Nets [46.9047309711542]
  本稿では,ペトリネット(PN)を用いた制約ロボットシステムのモデリングと合成について述べる。 全ての可観測系状態が与えられた論理的制約を満たしつつ、実行可能な遷移意味論と整合性を維持したモデルを構築する方法について検討する。 提案手法では,観測可能な状態に対する明示的な実行セマンティクスを導入する。
  論文  参考訳（メタデータ） (2026-07-24T07:57:19Z)
• PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
  我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。 セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。 SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。 ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
  論文  参考訳（メタデータ） (2026-07-18T04:46:53Z)
• Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems [0.4929694290403903]
  本稿では,実行時に権限が評価され,その構成性に応じて実行が条件付けられるランタイム実行モデルを提案する。 私たちは、このモデルが安全を保証することを示します -- 建設可能な権限なしでは、アクションは実行されません -- そして、条件付き生きたままです。
  論文  参考訳（メタデータ） (2026-04-24T13:32:09Z)
• Governed Auditable Decisioning Under Uncertainty: Synthesis and Agentic Extension [0.0]
  自動決定システムが失敗すると、組織はしばしば、公式に準拠したガバナンスインフラストラクチャが、何が起きたのか、なぜ起きたのかを再構築できないことに気付く。 本稿では,運用管理エビデンス・フレームワークを統合連鎖に合成し,その伝達可能性を4つの意思決定システムアーキテクチャ間で解析的に評価する。
  論文  参考訳（メタデータ） (2026-04-21T05:45:04Z)
• 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)
• AEGIS: An Operational Infrastructure for Post-Market Governance of Adaptive Medical AI Under US and EU Regulations [39.89241412792336]
  本稿では,医療AIシステムに適用可能なガバナンスフレームワークであるAEGISについて述べる。 PMS ALARM信号を用いた4つのカテゴリのデプロイメント決定分類(APPROVE, CONDITIONAL APPROVAL, CLINICAL REVIEW, REJECT)を実装した。 その結果, AEGISは規制変更制御の概念を実行可能なガバナンス手順に変換することを実証した。
  論文  参考訳（メタデータ） (2026-03-20T11:56:59Z)
• Agent Control Protocol: Admission Control for Agent Actions [0.4929694290403903]
  エージェントコントロールプロトコル(エージェントコントロールプロトコル、ACP)は、B2Bの機関環境における自律エージェントの受け入れ制御ガバナンスのための正式な仕様である。 ACPは、暗号ID、能力に基づく認可、決定論的リスク評価、連鎖デリゲート、および暗号化連鎖監査を定義する。 ACPはRBACとZero Trustの上で動作し、どちらのモデルも解決しない問題に対処する。
  論文  参考訳（メタデータ） (2026-03-19T12:28:28Z)
• Beyond Benchmark Islands: Toward Representative Trustworthiness Evaluation for Agentic AI [45.21562889170875]
  シナリオ多様体に対するエージェントの信頼性を特徴付けるシステム評価パラダイムを提案する。 このフレームワークは,静的認知と政策分析,対話型サンドボックスシミュレーション,社会倫理アライメントアライメントアセスメント,および(iv)分散対応の代表サンプリングエンジンの4つの補完的コンポーネントを統合している。
  論文  参考訳（メタデータ） (2026-03-16T08:51:33Z)
• Self-Evolving Coordination Protocol in Multi-Agent AI Systems: An Exploratory Systems Feasibility Study [0.0]
  自己進化コーディネーションプロトコル(SECP) SECP: 限定的で、外部から検証された自己修正を可能にする調整プロトコル。 本稿では,自己進化コーディネーションプロトコルの探索システムの実現可能性について述べる。
  論文  参考訳（メタデータ） (2026-02-02T14:45:04Z)
• LERA: Reinstating Judgment as a Structural Precondition for Execution in Automated Systems [1.4231914840649322]
  判決は一般的に、実行に対するネイティブの前提条件ではなく、外部の介入として導入される。 本稿では,強制的かつ回避不能な前提条件として判断を強制する構造的枠組みであるLERAを提案する。
  論文  参考訳（メタデータ） (2026-01-12T14:39:55Z)
• The Loss of Control Playbook: Degrees, Dynamics, and Preparedness [39.39076397908963]
  本報告では,新たな分類と準備の枠組みを開発することにより,AIシステムにおけるロス・オブ・コントロール(Los of Control, LoC)の実用的な定義が欠如していることに対処する。 そこで本研究では,重度と持続性の指標に基づいて,偏差,境界LoC,Strict LoCを区別したLoC分類法を提案する。 我々は,社会的脆弱性が到達した場合に,準備の維持と LoC 結果の発生防止を計画した。
  論文  参考訳（メタデータ） (2025-11-19T20:10:39Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。