論文の概要: Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems

• arxiv url: http://arxiv.org/abs/2604.17511v1
• Date: Sun, 19 Apr 2026 16:03:47 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-21 21:52:52.564005
• Title: Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
• Title（参考訳）: 原子決定境界:自律システムにおける実行時間許容性を保証するための構造要件
• Abstract要約: 既存のガバナンスメカニズムは、実行前にポリシーを評価したり、ホック後の動作を再構築するが、状態遷移がコミットされた正確な瞬間に許容性を強制しない。 我々は、決定と結果の遷移を1つの不可分なステップとして共同で決定する、入場制御系の構造的特性である原子決定境界を導入する。
• 参考スコア（独自算出の注目度）: 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. Formalizing execution as a labeled transition system (LTS), 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 that may be interleaved by environmental actions. Under realistic concurrent environments, we prove that no construction can make a split system equivalent to an atomic system with respect to admissibility under all execution traces. This limitation is structural, not a matter of policy expressiveness or state availability. We further formalize the Escalate outcome -- absent from classical TOCTOU analyses -- and show its resolution is itself subject to the atomic boundary requirement. We map RBAC and OPA to the split model and contrast them with atomic systems. Admissibility is a property of execution, not evaluation. This paper is the formal foundation of a 4-paper Agent Governance Series: ACP/Paper 1 (arXiv:2603.18829), IML/Paper 2 (10.5281/zenodo.19643761), Fair Allocation/Paper 3 (10.5281/zenodo.19643928), Irreducibility/Paper 4 (10.5281/zenodo.19643950).
• Abstract（参考訳）: 自律的なシステムは、共有状態を直接変更するアクションをますます実行し、どのトランジションを許可するかを正確に制御する緊急の要求を発生させる。 既存のガバナンスメカニズムは、実行前にポリシーを評価したり、ホック後の動作を再構築するが、状態遷移がコミットされた正確な瞬間に許容性を強制しない。 我々は、決定と結果の遷移を1つの不可分なステップとして共同で決定する、入場制御系の構造的特性である原子決定境界を導入する。 ラベル付き遷移系 (LTS) としての実行を形式化し, 評価と遷移を単一のLTSステップで結合する原子系と, 環境作用によってインターリーブされる別の遷移である分割評価系という2つのクラスを区別する。 現実的な並行環境下では、全ての実行トレース下での許容性に関して、原子システムと等価な分割システムを構築できないことが証明される。 この制限は構造的であり、政策表現性や状態可用性の問題ではない。 我々は、古典的なTOCTOU分析を欠いたエスカレート結果をさらに形式化し、その解決がそれ自体が原子境界条件に従属していることを示します。 RBACとOPAを分割モデルにマッピングし、それらを原子システムと対比します。 許容性は実行の特性であり、評価ではない。 本稿では, ACP/Paper 1 (arXiv:2603.18829), IML/Paper 2 (10.5281/zenodo. 19643761), Fair Allocation/Paper 3 (10.5281/zenodo. 19643928), Irreducibility/Paper 4 (10.5281/zenodo. 19643950) の正式な基礎となる。

関連論文リスト

• 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)

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

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