論文の概要: Compiling Sufficient Governance Context from Declared Losses and Reachable States: Exact Observation-Contract Synthesis with Cardinality and Cost Objectives

• arxiv url: http://arxiv.org/abs/2609.26016v1
• Date: Tue, 22 Sep 2026 11:20:31 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-23 18:04:04.3406
• Title: Compiling Sufficient Governance Context from Declared Losses and Reachable States: Exact Observation-Contract Synthesis with Cardinality and Cost Objectives
• Title（参考訳）: 宣言された損失と到達可能な状態から十分なガバナンスコンテキストをコンパイルする: 心的・費用的目的を伴う厳密な観察-契約合成
• Abstract要約: 十分な観測セットを計算し、共同で十分である契約と個別に欠かせない属性を区別し、基数や宣言されたコスト目標の下で十分な契約の中から選択する。 包括的列挙が安価である包括的かつ最小限の契約をSAT/MaxSATエンコードによる最小限の契約または最小限のコストで合成し、直接精査する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We call the object this paper derives and certifies a minimal sufficient governance context: given a finite reachable-state model, a deterministic declared verdict, and candidate observable attributes, we compute sufficient observation sets, distinguish attributes that are individually indispensable from contracts that are jointly sufficient, and select among sufficient contracts under a cardinality or declared-cost objective. An observation contract is a set of candidate attributes whose values determine the declared verdict on every reachable state; an authority contract is one selected under an objective and bound to a gate schema. We synthesize every inclusion-minimal sufficient contract where exhaustive enumeration is affordable, and a minimum-cardinality or minimum-cost contract by SAT/MaxSAT encoding otherwise, checking sufficiency directly. On a constructed code/cloud domain, the individually-indispensable core is not sufficient as an observation contract and two distinct reducts exist; a preregistered cost model separates them exactly. On a second, larger, constructed domain, the same pattern recurs, but that domain's cost model does not separate the alternatives: a fully explained cost tie, reported as found. We measure discernibility-family scaling where exhaustive enumeration is confirmed infeasible within a registered timeout, while SAT/MaxSAT synthesis solves in well under a second; MaxSAT showed no measured cardinality advantage over plain SAT. AuthorityBench compares four baselines across three domains; the declared-only baseline is not exactly sufficient on any. Every selected contract is checked for sufficiency, with a counterexample on failure and a check summary, not a portable certificate, on success -- the compiler-focused scope of a two-scope table; an independently specified end-to-end case study is registered follow-up work, not claimed here.
• Abstract（参考訳）: 有限到達可能な状態モデル、決定論的に宣言された判断、および候補可観測属性が与えられた場合、我々は十分な観測セットを計算し、共同で十分である契約から個々に欠かせない属性を識別し、基数や宣言されたコスト目的の目的の下で十分な契約の中から選択する。 観測契約は、到達可能な状態ごとに宣言された判定を決定する値が決定される候補属性のセットであり、権限契約は、目標の下で選択され、ゲートスキーマにバインドされる。 包括的列挙が安価である包括的かつ最小限の契約をSAT/MaxSATエンコードによる最小限の契約または最小限のコストで合成し、直接精査する。 構築されたコード/クラウドドメインでは、個々の不必要なコアは観測契約として十分ではなく、2つの異なるリダクトが存在し、事前登録されたコストモデルがそれらを正確に分離する。 第二に、より大きく構築されたドメインでは、同じパターンが再帰するが、そのドメインのコストモデルは代替案を分離しない。 一方, SAT/MaxSAT合成は1秒以下で解けるが, MaxSATは通常のSATに比べて測定濃度の優位性は認められなかった。 AuthorityBenchは3つのドメインで4つのベースラインを比較している。 それぞれの選択されたコントラクトは、障害に対する反例と、ポータブルな証明書ではなく、成功時のチェックサマリー -- 2スコープテーブルのコンパイラ中心のスコープ -- によって、十分チェックされる。

関連論文リスト

• Compute-Bounded Security Assurance - Coverage, Verification, and Response under Resource Constraints [0.0]
  追加の推論計算は、正しく解決されたセキュリティ保証タスクの数を増やすことができる。 我々は、成功、ユニークなカバレッジ、承認された証拠、運用上の保護を分離するリソース制約のあるフレームワークを開発する。 概念的防御アーキテクチャは、証拠分析、判断、運用権限を分離する。
  論文  参考訳（メタデータ） (2026-09-07T13:07:55Z)
• Conformal Cascade: Distribution-Free Accuracy Guarantees for Multi-Tier LLM Inference [6.094431019524038]
  大規模言語モデル(LLM)のカスケードは、簡単なクエリを小さなモデルにルーティングし、ハードクエリを大きなモデルに遅延することで、推論コストを削減する。 我々は,多層推論フレームワークであるtextbfConformal Cascade (CC) を導入する。
  論文  参考訳（メタデータ） (2026-07-27T19:19:58Z)
• ECO/CPO-DAG: A Contradiction-Based Accountability Layer for Adversarial Supply Chains [0.0]
  ECO/CPO-DAGは、敵対的なサプライチェーンのためのドメイン固有の説明責任プロトコルである。 補足検証層として矛盾検出を形式化する。 プロトコルの境界は明示的であり、証明可能な矛盾を検出し、一貫性のある嘘は検出しない。
  論文  参考訳（メタデータ） (2026-07-07T21:03:26Z)
• Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability [8.964195566025824]
  大規模言語モデル (LLM) は、暗黙的にBoolean satisfiability (SAT) に還元されるタスクに、ますます使われている。 本稿では,2-SATと3-SATのLCMについて,Vertex Coverと離散3Dパッキングの2つの標準化とともに系統的研究を行った。
  論文  参考訳（メタデータ） (2026-05-27T15:18:45Z)
• Neural Router: Semantic Content Matching for Agentic AI [41.39228253084888]
  大規模言語モデル(LLM)は、エージェントAIのためのコンテンツベースのパブリッシュ/サブスクライブブローカのセマンティックマッチングエンジンとして機能する。 3つの公開データセット上でオフラインのマルチラベル検索として評価され、我々の中心的な貢献は2つのクロスオーバーコストのキャラクタリゼーションである。
  論文  参考訳（メタデータ） (2026-05-25T10:58:53Z)
• Localizing Factual Inconsistencies in Attributable Text Generation [74.11403803488643]
  本稿では,帰属可能なテキスト生成における事実の不整合をローカライズするための新しい形式であるQASemConsistencyを紹介する。 QASemConsistencyは、人間の判断とよく相関する事実整合性スコアを得られることを示す。
  論文  参考訳（メタデータ） (2024-10-09T22:53:48Z)
• Reliability-Adaptive Consistency Regularization for Weakly-Supervised Point Cloud Segmentation [80.07161039753043]
  極端に限られたラベルを持つ弱教師付きポイントクラウドセグメンテーションは、高額な注釈付き3Dポイントの収集コストを軽減するのが望ましい。 本稿では、弱教師付き学習において一般的に用いられる一貫性の正則化を、複数のデータ固有の拡張を伴うポイントクラウドに適用することを検討する。 疑似ラベルの信頼性を評価するために,予測信頼性とモデル不確実性を両立させる新しい信頼性適応整合ネットワーク(RAC-Net)を提案する。
  論文  参考訳（メタデータ） (2023-03-09T10:41:57Z)
• ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts [39.75232199445175]
  契約書に対する文書レベルの自然言語推論(NLI)を提案する。 システムには一連の仮説と契約が与えられ、それぞれの仮説が「関連づけられている」か、「矛盾している」か、「言及されていない」か(中立である)を分類するよう求められる。 これまでで最大のコーパスを607のアノテート契約でリリースしています。
  論文  参考訳（メタデータ） (2021-10-05T03:22:31Z)

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

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