Fugu-MT 論文翻訳(概要): Capability Safety as Datalog: A Foundational Equivalence

論文の概要: Capability Safety as Datalog: A Foundational Equivalence

arxiv url: http://arxiv.org/abs/2603.26725v1
Date: Fri, 20 Mar 2026 03:28:14 GMT
ステータス: 翻訳完了
システム内更新日: 2026-04-06 02:36:13.112236
Title: Capability Safety as Datalog: A Foundational Equivalence
Title（参考訳）: データログとしてのキャパビリティの安全性 - 基本的等価性
Authors: Cosimo Spera,
Abstract要約: 我々は、機能安全性が命題データログ評価として正確に表現されていることを証明している(Datalogprop:一階論理のモナディック、基底、関数フリーフラグメント)。これはSpera[2026]の機能ハイパーグラフフレームワークの2つの構造的制限に対処する: 効率的なインクリメンタルメンテナンスの欠如と、監査面の封じ込めの決定手順の欠如である。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic), enabling the transfer of algorithmic and structural results unavailable in the native formulation. This addresses two structural limitations of the capability hypergraph framework of Spera [2026]: the absence of efficient incremental maintenance, and the absence of a decision procedure for audit surface containment. The equivalence is tight: capability hypergraphs correspond to exactly this fragment, no more.
Abstract（参考訳）: 我々は,機能安全性が命題データログ評価の正確な表現(Datalogprop: 1次論理のモナディック,グラウンド,ファンクションフリーフラグメント)を許容していることを証明し,ネイティブな定式化では利用できないアルゴリズム的および構造的結果の転送を可能にする。これはSpera[2026]の機能ハイパーグラフフレームワークの2つの構造的制限に対処する: 効率的なインクリメンタルメンテナンスの欠如と、監査面の封じ込めの決定手順の欠如である。関数ハイパーグラフは、この断片と正確に一致するが、もはや一致しない。

関連論文リスト

Causal Identification from Counterfactual Data: Completeness and Bounding Results [54.147490305295456]
本研究では,任意のレイヤ3分布の集合から対実的なクエリを識別するアルゴリズムを開発した。我々は、物理的に実現可能な分布から反事実を特定できる理論的限界を確立する。我々は、そのような量の新たな解析的境界を、実現可能な対実データを用いて導出する。
論文参考訳（メタデータ） (2026-02-26T22:48:12Z)
Disentangling Ambiguity from Instability in Large Language Models: A Clinical Text-to-SQL Case Study [0.3437656066916039]
テキストから言語までを2段階のプロセスとしてモデル化するフレームワークであるCLUESを提案する。意味的不確実性を曖昧性スコアと不安定性スコアに分解する。 CLUESは最先端のカーネルエントロピー行列の故障予測を改善する。
論文参考訳（メタデータ） (2026-02-12T14:46:20Z)
Feasibility Preservation under Monotone Retrieval Truncation [0.12183405753834557]
本研究では,構造的観点からの検索について検討し,クエリ応答をトランケーション下で実現可能な問題としてモデル化する。個々の問合せに対する有限可視性を保証するために, 単調トランケーションが十分であることを示す。さらに,非単調なトランケーション,非有限生成クエリクラス,純粋にスロットワイズなカバレッジの失敗を示すシャープな反例を示す。
論文参考訳（メタデータ） (2026-01-21T18:25:16Z)
Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction [0.0]
大規模言語モデル(LLM)は、しばしば、モデル自身によって高い確率で割り当てられる幻覚文を生成する。このことは、幻覚はしばしば低信頼現象ではなく、構造的整合性の失敗であることを示している。我々は,LLM推論を,生成可能性とは独立に動作する制約満足度問題(CSP)として検証する。
論文参考訳（メタデータ） (2025-12-19T05:29:43Z)
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
我々は、安全でない出力の階層構造を検証する抽象的DNN検証と呼ばれる新しい問題定式化を導入する。出力到達可能な集合に関する抽象的解釈と推論を活用することにより,形式的検証プロセスにおいて,複数の安全性レベルを評価することができる。我々の貢献には、新しい抽象的安全性の定式化と既存のアプローチとの関係を理論的に探求することが含まれる。
論文参考訳（メタデータ） (2025-05-08T13:29:46Z)
BERM: Training the Balanced and Extractable Representation for Matching to Improve Generalization Ability of Dense Retrieval [54.66399120084227]
本稿では,BERMと呼ばれるマッチング信号の取得により,高密度検索の一般化を改善する手法を提案する。センス検索は、ドメイン内のラベル付きデータセットでトレーニングされた場合、第1段階の検索プロセスにおいて有望であることが示されている。
論文参考訳（メタデータ） (2023-05-18T15:43:09Z)
Reinforcement Learning from Partial Observation: Linear Function Approximation with Provable Sample Efficiency [111.83670279016599]
部分観察決定過程(POMDP)の無限観測および状態空間を用いた強化学習について検討した。線形構造をもつPOMDPのクラスに対する部分可観測性と関数近似の最初の試みを行う。
論文参考訳（メタデータ） (2022-04-20T21:15:38Z)
Distributionally robust risk evaluation with a causality constraint and structural information [0.0]
ニューラルネットワークによるテスト関数を近似し、Rademacherの複雑さによるサンプルの複雑さを証明する。我々のフレームワークは、分散的にロバストなポートフォリオ選択問題において、従来のものよりも優れています。
論文参考訳（メタデータ） (2022-03-20T14:48:37Z)
Dive into Ambiguity: Latent Distribution Mining and Pairwise Uncertainty Estimation for Facial Expression Recognition [59.52434325897716]
DMUE(DMUE)という,アノテーションのあいまいさを2つの視点から解決するソリューションを提案する。前者に対しては,ラベル空間における潜伏分布をよりよく記述するために,補助的マルチブランチ学習フレームワークを導入する。後者の場合、インスタンス間の意味的特徴のペアワイズ関係を完全に活用して、インスタンス空間のあいまいさの程度を推定する。
論文参考訳（メタデータ） (2021-04-01T03:21:57Z)
A tetrachotomy of ontology-mediated queries with a covering axiom [1.749935196721634]
我々の懸念は、標準的なデータベースクエリへの記述とそれらの最適な書き換えを介し、クエリに応答する際のデータ複雑さを効率的に決定することである。我々は、疎結合シロップ(d-シロップ)と呼ばれるブール共役型クエリに焦点を当てる。一部のd-シロップは指数的な大きさの分解能しか持たないが、そのうちのいくつかは二重指数サイズの正存在量書き換えと単帰的データログ書き換えのみである。
論文参考訳（メタデータ） (2020-06-07T14:47:07Z)

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