Fugu-MT 論文翻訳(概要): On formal concepts of random formal contexts

論文の概要: On formal concepts of random formal contexts

arxiv url: http://arxiv.org/abs/2101.11023v1
Date: Tue, 26 Jan 2021 19:00:06 GMT
ステータス: 処理完了
システム内更新日: 2021-03-14 05:15:59.838872
Title: On formal concepts of random formal contexts
Title（参考訳）: ランダムな形式的文脈の形式的概念について
Authors: Taro Sakurai (Chiba University)
Abstract要約: ランダムな形式的文脈に対する確率モデルを提案する。形式的概念の平均数は超多項下界を持つことを証明する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average number of formal concepts has a superpolynomial asymptotic lower bound.
Abstract（参考訳）: 形式的概念解析では、最悪の場合、形式的概念の数は指数関数的であることが知られている。平均ケースを解析するために、ランダムな形式的文脈に対する確率モデルを導入し、形式的概念の平均数が超ポリノミカル漸近的下界を持つことを示す。

関連論文リスト

MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Global Convergence of Over-parameterized Deep Equilibrium Models [52.65330015267245]
ディープ均衡モデル(Deep equilibrium model, DEQ)は、入射を伴う無限深度重み付きモデルの平衡点を通して暗黙的に定義される。無限の計算の代わりに、ルートフィンディングで直接平衡点を解き、暗黙の微分で勾配を計算する。本稿では,無限深度重み付きモデルの非漸近解析における技術的困難を克服する新しい確率的枠組みを提案する。
論文参考訳（メタデータ） (2022-05-27T08:00:13Z)
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。これは、説明に表される論理述語に基づいて、反実仮説を生成する。そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文参考訳（メタデータ） (2022-05-25T03:40:59Z)
Average capacity of quantum entanglement [3.8265321702445267]
絡み合いのキャパシティは、量子二部系の度合いを探索し、推定する上で有望な候補となる。特に、平均容量の正確な公式と公式は、ヒルベルト=シュミットとビュール=ハルのアンサンブルの下で導かれた。エンタングルメント指標としての平均容量の有用性を示すために, 数値解析を行った。
論文参考訳（メタデータ） (2022-05-12T20:10:34Z)
Towards Unifying Logical Entailment and Statistical Estimation [0.6853165736531939]
本稿では,データ駆動論理推論のための形式論理の解釈モデルを提案する。生成モデルは論理学と統計学におけるいくつかの異なるタイプの推論の統一理論であることが示されている。
論文参考訳（メタデータ） (2022-02-27T17:51:35Z)
Instance-Based Neural Dependency Parsing [56.63500180843504]
依存関係解析のための解釈可能な推論プロセスを持つニューラルモデルを開発する。私たちのモデルはインスタンスベースの推論を採用しており、トレーニングセットのエッジと比較することで、依存関係のエッジを抽出し、ラベル付けします。
論文参考訳（メタデータ） (2021-09-28T05:30:52Z)
PSD Representations for Effective Probability Models [117.35298398434628]
最近提案された非負関数に対する正半定値(PSD)モデルがこの目的に特に適していることを示す。我々はPSDモデルの近似と一般化能力の両方を特徴付け、それらが強い理論的保証を享受していることを示す。本研究では,PSDモデルの密度推定,決定理論,推論への応用への道を開く。
論文参考訳（メタデータ） (2021-06-30T15:13:39Z)
Distributional Formal Semantics [0.18352113484137625]
形式モデルレベルでの形式的意味論システムへの分布性を統合する分布形式的セマンティクスを提案する。このアプローチは、本質的に構成的である確率的で分散的な意味表現を提供する。これらの表現が確率的推論を可能にする方法と、「情報」の情報理論的概念がそれから自然に従う方法を示す。
論文参考訳（メタデータ） (2021-03-02T13:38:00Z)
Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation [0.0]
4値のパラ一貫性真理値(ここでは「pビット」と呼ばれる)は、確率論的論理とプログラミングと概念形成の高度AI関連形式の概念的、数学的、実践的な基礎として機能する。構成的双対(CD)論理に従って動作している4値のpビットの平均平均値と再正規化がPLN(Probabilistic Logic Networks)の強度と自信の真理値をもたらすことが示されている。
論文参考訳（メタデータ） (2020-12-28T20:14:49Z)
Combinatorial Decision Dags: A Natural Computational Model for General Intelligence [0.0]
合成論理を利用して高次決定木を生成する新しい計算モデル(CoDD)を提案する。パターン認識とパターン形成の形式理論の観点からの一般知能の理論解析を概説する。
論文参考訳（メタデータ） (2020-04-11T00:23:35Z)
Interpolation Technique to Speed Up Gradients Propagation in Neural ODEs [71.26657499537366]
本稿では,ニューラルネットワークモデルにおける勾配の効率的な近似法を提案する。我々は、分類、密度推定、推論近似タスクにおいて、ニューラルODEをトレーニングするリバースダイナミック手法と比較する。
論文参考訳（メタデータ） (2020-03-11T13:15:57Z)

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