論文の概要: Before Agents Act: Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems

• arxiv url: http://arxiv.org/abs/2609.34376v1
• Date: Mon, 28 Sep 2026 05:50:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-03 21:20:37.667357
• Title: Before Agents Act: Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems
• Title（参考訳）: before Agents Act: 分散システムにおけるエビデンス獲得のための保証対応セマンティックスケジューリング
• Abstract要約: Assurance-Aware Semantic Scheduling (AAS)は整数プログラムの選択、ディスパッチ・アウェアの時間スケジューリング、境界診断拡張、レシート・アウェアの修復を組み合わせたものである。 AAS は 1,075/1,200 の有効候補を生成するが、647/1,200 は制約を意識した前方スケジューリングを行う。 修正されたタイムアウト介入は、静的計画において、修復または完全再合成を伴う18/20の入場が0/20に対して見出され、レシートの再利用時にコミットコストが低下する。
• 参考スコア（独自算出の注目度）: 2.124730017640531
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Tool-using agents can initiate consequential infrastructure changes, yet evidence required for admission may expire while other checks run or depend on a shared fault domain. We formulate evidence acquisition as joint witness selection and scheduling under quorum, diversity, freshness, deadline, and resource constraints. Assurance-Aware Semantic Scheduling (AAS) combines integer-program selection, dispatch-aware temporal scheduling, bounded diagnostic expansion, and receipt-aware repair. Formal results state the assumptions needed for dispatch-time freshness and finite diagnostic expansion. In three generated infrastructure workloads, AAS produces 1,075/1,200 valid candidates versus 647/1,200 for constraint-aware forward scheduling; stale candidates fall from 440 to 12. Paired sensitivity studies reuse the same instances and operation latency draws across parameter settings. A corrected timeout intervention finds 18/20 admissions with repair or full resynthesis versus 0/20 for a static plan, with lower committed cost when receipts are reused. On 20 constructed cases requiring a certified decomposition cut, refinement recovers an oracle-matching feasible plan every time. These are controlled simulation results; the bounded oracle shares a temporal search component, and transfer to deployed systems remains untested.
• Abstract（参考訳）: ツールを使用するエージェントは、連続的なインフラストラクチャの変更を開始することができるが、受け入れに必要な証拠は有効であり、他のチェックが実行され、あるいは共有障害ドメインに依存している。 我々は、クォーラム、多様性、新鮮さ、期限、リソース制約の下で、共同証人選定とスケジューリングとして証拠取得を定式化する。 Assurance-Aware Semantic Scheduling (AAS)は整数プログラムの選択、ディスパッチ・アウェアの時間スケジューリング、境界診断拡張、レシート・アウェアの修復を組み合わせたものである。 公式な結果には、ディスパッチ時の鮮度と有限な診断拡張に必要な仮定が述べられている。 3つの生成されたインフラストラクチャワークロードでは、AASは制約を意識した前方スケジューリングにおいて、1,075/1,200の有効な候補を生成する。 ペア感度の研究は、同じインスタンスを再利用し、パラメータ設定間で動作遅延が引き起こされる。 修正されたタイムアウト介入は、静的計画において、修復または完全再合成を伴う18/20の入場が0/20に対して見出され、レシートの再利用時にコミットコストが低下する。 確認済みの分解カットを必要とする20の建設ケースでは、精製が毎回、オラクルマッチング可能なプランを回復する。 これらは制御されたシミュレーション結果であり、有界オラクルは時間探索コンポーネントを共有し、デプロイされたシステムへの転送は未検証のままである。

関連論文リスト

• Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change [0.0]
  利用可能な証拠の少なくともコストの低いサブセットが要求された資産を再確立するかどうかを問う。 私たちは、クロージャを信頼するのではなく、クロージャによってすべての選択を検証する。 Rust、IronBlocks、Pongの結果の小さなグラフは、最小エンベロープがタスクに依存することを示している。
  論文  参考訳（メタデータ） (2026-09-14T20:06:46Z)
• EAVer: Long-Form Factuality Verification as an End-to-End Agentic Policy [50.665874114632]
  我々は、完全な応答レベルの検証ワークフローを統一ポリシーとして制御することを学ぶ、エンドツーエンドのエージェント検証であるEAVerを紹介する。 EAVerはセマンティック関連クレームをグループ化し、信頼に基づいた直接検証やターゲット検索にルートし、コンパクトなインコンテキストメモで検索によって返される証拠を保持する。
  論文  参考訳（メタデータ） (2026-09-02T21:00:35Z)
• SynthGuard-ReleaseBench: Locked-Audit Evidence for Synthetic Tabular Data Releases [0.0]
  SynthGuard-ReleaseBenchは、評価の前に使用、候補パネル、許容度、監査スケジュールをロックする監査フレームワークである。 保護されたデータ上で、実際のトレーニングと合成トレーニングを比較し、損失ギャップの有限サンプル境界を同時に与え、コントロールを必要とし、実用性と経験的なプライバシーリスクメカニズムを分離する。
  論文  参考訳（メタデータ） (2026-08-14T03:12:17Z)
• From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
  研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。 生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。 本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-08-05T13:37:38Z)
• Mean Time to Remediate Is Not a Fielding Model: A Cadence Audit for Enterprise Vulnerability Management [51.56484100374058]
  本稿では,企業脆弱性管理のための改善ケイデンス監査について紹介する。 平均ラグ、放出期間、放出率、コホート幾何、緊急/ルーチン分割、非着地遅延、局所残留圧証拠、宣言されたレートシナリオを記録している。
  論文  参考訳（メタデータ） (2026-07-05T21:23:26Z)
• RAVEN: A Regime-Aware Variable-context Expert Network for Financial Time Series Forecasting [83.06074370551887]
  固定コンテキストウィンドウは、非定常価格プロセスの時間変化最適振り返りと一致しない。 本稿では,各サンプルの時間的文脈を適応的に決定するMixture-of-Expertsフレームワークを提案する。 累積ログリターン予測(HS300、S&P500)およびファンド販売予測の実験では、RAVENはSOTAのパフォーマンスを達成し、HS300ではピアソン相関を9.2%改善し、S&P500では20.2%改善し、MSEを18.2%削減している。
  論文  参考訳（メタデータ） (2026-06-23T02:11:04Z)
• Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
  制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。 観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
  論文  参考訳（メタデータ） (2026-05-18T07:52:13Z)
• Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
  Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。 本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
  論文  参考訳（メタデータ） (2026-05-01T13:45:16Z)

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

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