Fugu-MT 論文翻訳(概要): Finite Model Theory of the Triguarded Fragment and Related Logics

論文の概要: Finite Model Theory of the Triguarded Fragment and Related Logics

arxiv url: http://arxiv.org/abs/2101.08377v2
Date: Sat, 23 Jan 2021 08:56:14 GMT
ステータス: 翻訳完了
システム内更新日: 2021-03-21 07:49:32.462593
Title: Finite Model Theory of the Triguarded Fragment and Related Logics
Title（参考訳）: 三ガードフラグメントの有限モデル理論と関連する論理
Authors: Emanuel Kiero\'nski and Sebastian Rudolph
Abstract要約: Triguarded Fragment (TGF)は第一次論理の最も表現力のある決定可能な断片の1つである。そこで, TGF は有限モデル特性を持ち, 有限満足度は N2ExpTime-complete として知られる満足度と一致することを示した。
参考スコア（独自算出の注目度）: 3.883460584034766
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments without equality. We show that the TGF has the finite model property (providing a tight doubly exponential bound on the model size) and hence finite satisfiability coincides with satisfiability known to be N2ExpTime-complete. Using similar constructions, we also establish 2ExpTime-completeness for finite satisfiability of the constant-free (tri)guarded fragment with transitive guards.
Abstract（参考訳）: Triguarded Fragment (TGF) は、一階述語論理の最も表現力に富んだ断片であり、その2変数とガードされた断片の両方を等しく仮定している。 TGF は有限モデル特性(モデルサイズに厳密な2倍指数境界を与える)を持ち、したがって有限満足度は N2ExpTime 完全であることが知られている満足度と一致することを示す。同様の構成を用いると、遷移ガード付き固定自由(tri)ガードフラグメントの有限充足性に対する2ExpTime完全性も確立する。

関連論文リスト

Temporal Fair Division of Indivisible Items [61.235172150247614]
分割不可能なアイテムが順次到着し,即時かつ無効に割り当てられなければならない公平な分割モデルについて検討する。オンラインフェアディビジョンに関する以前の研究は、これらの制約の下で近似的なうらやみのない結果が得られないことを示してきた。各ラウンドにおける累積割り当てが1項目までの時間的エンビーフリーネス(TEF1)に近似することを確実にすることを目指している。
論文参考訳（メタデータ） (2024-10-18T16:43:36Z)
Emergent multi-loop nested point gap in a non-Hermitian quasiperiodic lattice [2.8271134123622064]
幾何級数変調された非エルミート準周期格子モデルを提案する。このシステムでは、複数のモビリティエッジと高い巻線数を持つ非エルミート点ギャップを誘導できることが示される。
論文参考訳（メタデータ） (2024-10-06T12:59:14Z)
Decidable Fragments of LTLf Modulo Theories (Extended Version) [66.25779635347122]
一般に、fMTは、任意の決定可能な一階述語理論(例えば、線形算術)に対して、テーブルーベースの半決定手順で半決定可能であることが示されている。有限メモリと呼ぶ抽象的意味条件を満たす任意のfMT式に対して、新しい規則で拡張されたテーブルーもまた終了することが保証されていることを示す。
論文参考訳（メタデータ） (2023-07-31T17:02:23Z)
Understanding and Constructing Latent Modality Structures in Multi-modal Representation Learning [53.68371566336254]
優れたパフォーマンスの鍵は、完全なモダリティアライメントではなく、有意義な潜在モダリティ構造にある、と我々は主張する。具体的には,1)モダリティ内正規化のための深い特徴分離損失,2)モダリティ間正規化のためのブラウン橋損失,3)モダリティ内正規化およびモダリティ間正規化のための幾何学的整合損失を設計する。
論文参考訳（メタデータ） (2023-03-10T14:38:49Z)
Digitizing SU(2) Gauge Fields and What to Look Out for When Doing So [0.0]
我々は、SU(2) の非自明な例に対するいくつかの離散化アプローチについて、その結果を提示する。フィボナッチ・スパイラルの一般化されたバージョンは、特に効率的で最適に近いように見える。
論文参考訳（メタデータ） (2022-12-19T14:31:47Z)
From Gradient Flow on Population Loss to Learning with Stochastic Gradient Descent [50.4531316289086]
SGD(Gradient Descent)は、大規模非ルートモデルの学習方法である。集団損失のGFが収束すると仮定して、総合的な条件 SGD が収束する。我々は、凸損失のような古典的な設定だけでなく、Retrieval Matrix sq-rootのようなより複雑な問題に対してもGD/SGDを統一的に解析する。
論文参考訳（メタデータ） (2022-10-13T03:55:04Z)
Temporal Inference with Finite Factored Sets [0.07614628596146598]
有限因子集合は時間的関係を推定するための強力なツールであることを示す。因子集合に対するd-分離の類似性、条件性を導入する。
論文参考訳（メタデータ） (2021-09-23T17:33:30Z)
Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random Fields [53.31927549039624]
断片的な離散化は既存の離散化問題と矛盾しないことを示す。この理論を2つの画像のマッチング問題に適用する。
論文参考訳（メタデータ） (2021-07-13T12:31:06Z)
On the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization [1.6973426830397942]
平滑な非有限和最適化における高階法の下限を証明する。 pth-order regularized method は有限和の目的から利益を得ることができないことを示す。新たな二階平滑性仮定は一階平均二乗平滑性に類似していると考えられる。
論文参考訳（メタデータ） (2021-03-08T23:33:58Z)
Complete entropic inequalities for quantum Markov chains [17.21921346541951]
有限次元代数上のすべての GNS-対称量子マルコフ半群が、修正対数ソボレフの不等式を満たすことを証明する。また、相対エントロピーの最初の一般近似特性を確立する。
論文参考訳（メタデータ） (2021-02-08T11:47:37Z)
Best Arm Identification for Cascading Bandits in the Fixed Confidence Setting [81.70513857417106]
CascadeBAIを設計し、分析する。これは、$K$アイテムのベストセットを見つけるアルゴリズムである。 CascadeBAIの時間的複雑さの上限は、決定的な分析課題を克服することによって導かれる。その結果,カスケードBAIの性能は,時間的複雑性の低い境界の導出により,いくつかの実践的状況において最適であることが示唆された。
論文参考訳（メタデータ） (2020-01-23T16:47:52Z)

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