論文の概要: Minimum-Cost Robust Evidence Certificates for Horn Reasoning under Correlated Source Failures
- arxiv url: http://arxiv.org/abs/2610.25865v1
- Date: Mon, 19 Oct 2026 06:20:44 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-24 04:08:56.119865
- Title: Minimum-Cost Robust Evidence Certificates for Horn Reasoning under Correlated Source Failures
- Title（参考訳）: 共起源条件下でのホーン推論のための最小コストロバスト証拠
- Abstract要約: 我々は,ほとんどのkソースドメインが削除されるたびに,Hhornの結論を維持する最小コスト証明書について検討する。
正確な手順は、重み付きエビデンス選択とソース障害オラクルを交互に置き換える。
ルールクローズされた逆解釈は、サポートや障害シナリオを列挙することなく、グローバルに有効な選択カットをもたらす。
- 参考スコア（独自算出の注目度）: 2.398386906858336
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: A small justification for a rule-based conclusion may disappear when a source is withdrawn, and multiple derivations need not provide independent evidence. We study minimum-cost certificates that preserve a Horn conclusion under every withdrawal of at most k source domains. Evidence records remain distinct from asserted facts, supporting replicated attestations and overlapping failure dependencies. Transversals of minimal-support footprints characterize robustness and explain why disjoint-proof requirements can reject valid certificates. An exact procedure alternates weighted evidence selection with a source-failure oracle. A rule-closed counterinterpretation yields a globally valid selection cut without enumerating supports or failure scenarios. We prove correctness, finite termination, and cost optimality, establish coNP-completeness of unrestricted verification and NP-completeness of synthesis for every fixed budget, and identify a tractable reachability restriction. Experiments on controlled benchmarks, reachability graphs, and ontology-derived instances demonstrate that our counterinterpretation-guided synthesis achieves up to 92% optimum coverage within practical resource bounds, outperforming scenario expansion and general abduction while confirming the necessity of transversal-based reasoning over proof-packing heuristics.
- Abstract（参考訳）: ルールに基づく結論の小さな正当化は、ソースが取り除かれたときに消える可能性があり、複数の導出は独立した証拠を提供する必要はない。
我々は,少なくともk個のソースドメインが削除されるたびに,Hhornの結論を維持する最小コスト証明書について検討する。
エビデンスレコードは、アサートされた事実とは相変わらず、複製された証明と重複する障害依存関係をサポートする。
最小サポートフットプリントのトランスバーサルは堅牢性を特徴付け、不整合性要件が有効な証明書を拒否できる理由を説明する。
正確な手順は、重み付きエビデンス選択とソース障害オラクルを交互に置き換える。
ルールクローズされた逆解釈は、サポートや障害シナリオを列挙することなく、グローバルに有効な選択カットをもたらす。
我々は、正当性、有限終端性、コスト最適性を証明し、固定予算毎に非制限検証のcoNP完全性と合成のNP完全性を確立し、トラクタブルリーチビリティ制限を識別する。
制御されたベンチマーク、到達可能性グラフ、オントロジー由来のインスタンスの実験により、我々の逆解釈誘導合成は、実証パッケージングヒューリスティックスに対する超越的推論の必要性を確認しつつ、実用的なリソース境界内で最大92%の最適カバレッジを実現していることが示された。
関連論文リスト
- Watermarking: from Impossibility to Auditable Compliance [78.87513208320995]
EU人工知能法第50条(2)は、合成出力を機械可読かつ検出可能にするために、生成システムの提供者を要求する。
自由形式のテキストにとって、重要な実装の1つは、生成的な透かし処理の実装である。
本稿は、強い透かしに代わる聴覚的な代替品を開発する。
論文 参考訳（メタデータ） (2026-10-05T13:32:41Z) - Online Verification of Language Model Responses Under Cost Constraints [25.495949162960624]
OMVV (Online Multi-Verifier Verification) はコストと検証性能の異なる$K$の弱い検証器のプールを維持するアルゴリズムである。
OMVVは、様々な運用予算において、どの固定検証器よりも低い検証コストで高い精度を達成する。
論文 参考訳（メタデータ） (2026-10-02T00:45:36Z) - Claim-Gated Source-Risk Auditing for Generative Search [5.329247092746233]
生成検索は、サポートされたパスを引用するが、その解釈を変えるソース関係を省略することができる。
クェリソース回答のクレームゲート監査を指定する。
我々は、セマンティックな妥当性を確立するために、独立したアノテーション、保留評価、およびペアのユーティリティテストを定義する。
論文 参考訳（メタデータ） (2026-09-24T07:22:14Z) - Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency [4.273094752480624]
我々は,証明者と検証者の間の相互作用として,人間-LLMの議論をモデル化する。
偽のクレームを受け入れる確率は、少なくとも選択されたエラーレベルである。
供給された境界が特定されたローカルチェックのシーケンスを認証する条件を同定するが、その条件は特定されたグローバルチェックではない。
論文 参考訳（メタデータ） (2026-09-21T17:00:15Z) - Autoformalizing Argumentative Material Inferences [26.35292656634472]
我々は、ガード補完として議論材料推論のための自己形式化を開発する。
GUARDは、証明された信条を大幅に改善する。
シンボル的ソフトな批判と明示的な仮定層がこれらの利益の大部分を担っていることを示す。
論文 参考訳（メタデータ） (2026-09-15T11:05:26Z) - ProofPulse: Interactive Proof Coverage Analysis for Dafny [47.23158426199152]
帰納的検証は、実装がその仕様を満たすことを保証しますが、成功した検証は仕様の品質を保証しません。
本稿では,3値の証明カバレッジモデルを用いて,仕様品質を診断するDafny用ツールであるProgrampulseを提案する。
論文 参考訳（メタデータ） (2026-08-31T14:00:31Z) - Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。
プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
論文 参考訳（メタデータ） (2026-01-23T17:17:32Z) - Feasibility Preservation under Monotone Retrieval Truncation [0.12183405753834557]
本研究では,構造的観点からの検索について検討し,クエリ応答をトランケーション下で実現可能な問題としてモデル化する。
個々の問合せに対する有限可視性を保証するために, 単調トランケーションが十分であることを示す。
さらに,非単調なトランケーション,非有限生成クエリクラス,純粋にスロットワイズなカバレッジの失敗を示すシャープな反例を示す。
論文 参考訳（メタデータ） (2026-01-21T18:25:16Z) - Latent Veracity Inference for Identifying Errors in Stepwise Reasoning [78.29317733206643]
本稿では、精度割当てに対する離散探索アルゴリズムであるVeracity Search(VS)を紹介する。
その他の方法では、後続の精度値よりも後続の分布において難解な推論を行う。
VSを一般化し、新しいコンテキストで正確なゼロショットの精度推論を可能にする。
論文 参考訳（メタデータ） (2025-05-17T04:16:36Z) - AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。
アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。
我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
論文 参考訳（メタデータ） (2021-04-01T17:40:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。