Fugu-MT 論文翻訳(概要): Union and Intersection of all Justifications

論文の概要: Union and Intersection of all Justifications

arxiv url: http://arxiv.org/abs/2109.11216v1
Date: Thu, 23 Sep 2021 08:57:24 GMT
ステータス: 処理完了
システム内更新日: 2021-09-24 22:00:10.274455
Title: Union and Intersection of all Justifications
Title（参考訳）: すべての正当化の結合と交差
Authors: Jieying Chen, Yue Ma, Rafael Pe\~naloza, Hui Yang
Abstract要約: 与えられた存在論的結果に対するすべての正当化の結合と交わりを計算するための新しいアルゴリズムを提案する。本手法は, 表現型DLに対して有効であることを示す。
参考スコア（独自算出の注目度）: 5.871055939824747
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. Through an empirical evaluation, we show that our approach works well in practice for expressive DLs. In particular, the union of all justifications can be computed much faster than with existing justification-enumeration approaches. We further discuss how to use these results to repair ontologies efficiently.
Abstract（参考訳）: 我々は,まずすべての正当性の集合を計算せずに,与えられた存在論的結果に対するすべての正当性の結合と交差を計算するための新しいアルゴリズムを提案する。経験的評価を通して,我々のアプローチが表現力のあるdlsではうまく機能することを示す。特に、すべての正当化の結合は、既存の正当化列挙アプローチよりもはるかに高速に計算できる。さらに、これらの結果をオントロジの効率よく修復する方法についても論じる。

関連論文リスト

Efficient Fairness-Performance Pareto Front Computation [51.558848491038916]
最適公正表現はいくつかの有用な構造特性を持つことを示す。そこで,これらの近似問題は,凹凸プログラミング法により効率的に解けることを示す。
論文参考訳（メタデータ） (2024-09-26T08:46:48Z)
Efficient Alternating Minimization Solvers for Wyner Multi-View Unsupervised Learning [0.0]
本稿では,計算効率のよい解法の開発を可能にする2つの新しい定式化法を提案する。提案した解法は, 計算効率, 理論的収束保証, ビュー数による局所最小値複雑性, 最先端技術と比較して, 例外的な精度を提供する。
論文参考訳（メタデータ） (2023-03-28T10:17:51Z)
Linearization Algorithms for Fully Composite Optimization [61.20539085730636]
本稿では,完全合成最適化問題を凸コンパクト集合で解くための一階アルゴリズムについて検討する。微分可能および非微分可能を別々に扱い、滑らかな部分のみを線形化することで目的の構造を利用する。
論文参考訳（メタデータ） (2023-02-24T18:41:48Z)
Synergies between Disentanglement and Sparsity: Generalization and Identifiability in Multi-Task Learning [79.83792914684985]
我々は,最大スパース基底予測器が不整合表現をもたらす条件を提供する新しい識別可能性の結果を証明した。この理論的な結果から,両レベル最適化問題に基づくアンタングル表現学習の実践的アプローチを提案する。
論文参考訳（メタデータ） (2022-11-26T21:02:09Z)
Making Linear MDPs Practical via Contrastive Representation Learning [101.75885788118131]
マルコフ決定過程(MDP)における次元性の呪いに、低ランク表現を利用することで対処することが一般的である。本稿では,効率的な表現学習を可能にしつつ,正規化を自動的に保証する線形MDPの代替的定義について考察する。いくつかのベンチマークにおいて、既存の最先端モデルベースおよびモデルフリーアルゴリズムよりも優れた性能を示す。
論文参考訳（メタデータ） (2022-07-14T18:18:02Z)
Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文参考訳（メタデータ） (2022-07-02T06:20:57Z)
String Theories involving Regular Membership Predicates: From Practice to Theory and Back [12.98284167710378]
文字列制約系に対する満足度問題に対するアルゴリズムは、対象ケースに存在する制約の構造を徹底的に理解する必要がある。本稿では,正規表現構成述語を含む文献で提示されるベンチマークを調査し,異なる一階述語論理理論を抽出し,決定不能性を証明する。特に、現実世界のベンチマークで最も一般的な理論はPSPACE完全であり、文字列制約を解決するためのより効率的なアルゴリズムの実装に直結する。
論文参考訳（メタデータ） (2021-05-15T13:13:50Z)
Of Moments and Matching: Trade-offs and Treatments in Imitation Learning [26.121994149869767]
我々は、モーメントマッチングのレンズを通して、過去の模倣学習アルゴリズムの大規模なファミリの統一ビューを提供する。学習者と専門家の行動の相違を考慮することで、政策パフォーマンスの限界を導出することができる。 AdVILとAdRILという2つの新しいアルゴリズムテンプレートを、強力な保証、シンプルな実装、競争力のある実証的パフォーマンスで導出します。
論文参考訳（メタデータ） (2021-03-04T18:57:11Z)
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof [0.0]
本稿では,Ulrich Junker の QuickXPlain アルゴリズムの正当性を示す。他のアルゴリズムを証明するためのガイダンスとして使用できる。また、QuickXPlainによって計算された結果に依存するシステムの"ギャップレス"な正しさを提供する可能性も提供する。
論文参考訳（メタデータ） (2020-01-07T01:37:41Z)
Polynomial-Time Exact MAP Inference on Discrete Models with Global Dependencies [83.05591911173332]
ジャンクションツリーアルゴリズムは、実行時の保証と正確なMAP推論のための最も一般的な解である。本稿では,ノードのクローン化による新たなグラフ変換手法を提案する。
論文参考訳（メタデータ） (2019-12-27T13:30:29Z)

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