Fugu-MT 論文翻訳(概要): On the KLM properties of a fuzzy DL with Typicality

論文の概要: On the KLM properties of a fuzzy DL with Typicality

arxiv url: http://arxiv.org/abs/2106.00390v1
Date: Tue, 1 Jun 2021 10:57:46 GMT
ステータス: 処理完了
システム内更新日: 2021-06-02 14:22:51.958021
Title: On the KLM properties of a fuzzy DL with Typicality
Title（参考訳）: 典型性を有するファジィDLのKLM特性について
Authors: Laura Giordano
Abstract要約: ファジィ論理を典型演算子で拡張することにより,多層パーセプトロンのファジィ多重参照セマンティクスを定義する手法が提案されている。本稿では,その特性について考察する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is considered (called ALCFT) and a reformulation the KLM properties of a preferential consequence relation for this logic is devised. Most of the properties are satisfied, depending on the reformulation and on the fuzzy combination functions considered. We then strengthen ALCFT with a closure construction by introducing a notion of faithful model of a weighted knowledge base, which generalizes the notion of coherent model of a conditional knowledge base previously introduced, and we study its properties.
Abstract（参考訳）: 本稿では,ファジィ論理の典型的特性について考察する。近年,多層パーセプトロンのファジィ多参照セマンティクスを,ニューラルネットワークを条件付き知識ベースとして定義するために,ファジィ論理を典型演算子で拡張する手法が提案されている。本稿では,その特性について考察する。まず、ファジィALCの典型性を持つ単調拡張(ALCFT)を考慮し、この論理に対する優先的な帰結関係のKLM特性を再構成する。ほとんどの性質は、再編成と考慮されたファジィ結合関数によって満足される。次に,前述した条件付き知識基盤のコヒーレントモデルの概念を一般化した重み付き知識ベースの概念を導入することにより,alcftを閉包構成で強化し,その性質について検討する。

関連論文リスト

Disentanglement via Latent Quantization [60.37109712033694]
本研究では,組織化された潜在空間からの符号化と復号化に向けた帰納的バイアスを構築する。本稿では,基本データレコーダ (vanilla autoencoder) と潜時再構成 (InfoGAN) 生成モデルの両方に追加することで,このアプローチの広範な適用性を実証する。
論文参考訳（メタデータ） (2023-05-28T06:30:29Z)
Data Topology-Dependent Upper Bounds of Neural Network Widths [52.58441144171022]
まず、3層ニューラルネットワークがコンパクトな集合上のインジケータ関数を近似するように設計可能であることを示す。その後、これは単純複体へと拡張され、その位相構造に基づいて幅の上界が導かれる。トポロジカルアプローチを用いて3層ReLUネットワークの普遍近似特性を証明した。
論文参考訳（メタデータ） (2023-05-25T14:17:15Z)
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality [2.3103579794296736]
典型性を持つ単純な記述論理の重み付き知識ベースは、(多くの価値を持つ)概念的なマルチ参照セマンティクスに基づいて検討される。セマンティクスは、MultiLayer Perceptrons(MLP)の優先的な解釈を提供するために使用されるモデルチェックとentailmentベースのアプローチがLayersの条件特性の検証に活用される。
論文参考訳（メタデータ） (2023-04-29T17:15:36Z)
Learning an Invertible Output Mapping Can Mitigate Simplicity Bias in Neural Networks [66.76034024335833]
バックボーンによって多様・複雑な特徴が学習される理由を考察し、その脆さは、主に最も単純な特徴に依存する線形分類ヘッドによるものである。本稿では,学習した特徴がログから復元可能であることを保証するために,特徴再構成正則化器(FRR)を提案する。我々は、最近導入された極端分布シフトを持つ半合成データセットにおいて、OOD精度が最大15%向上することを示した。
論文参考訳（メタデータ） (2022-10-04T04:01:15Z)
Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
論文参考訳（メタデータ） (2022-05-06T11:41:23Z)
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT [10.843231120912757]
我々は、KnorrらによるハイブリッドMKNF知識ベースのためのよく確立されたセマンティクスの研究が、事実、AFTの擬似近似であることを示した。これらの知識ベースに対する近似器の改良について,Knorr et al. の構成から定式化されたものよりも,最も安定した固定点が情報豊かであることを示す。この研究は AFT の拡張の上に構築され、誘導された製品ビラティキにおける一貫性と一貫性のないペアをサポートする。
論文参考訳（メタデータ） (2021-05-24T02:32:51Z)
Finite-Function-Encoding Quantum States [52.77024349608834]
任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。それらの構造的特性について検討する。
論文参考訳（メタデータ） (2020-12-01T13:53:23Z)
Relevant OTOC operators: footprints of the classical dynamics [68.8204255655161]
OTOC-RE定理(OTOC-RE theorem)は、作用素の完備な基底にまとめられたOTOCを第二レニイエントロピー(Renyi entropy)に関連付ける定理である。関係作用素の小さな集合に対する和は、エントロピーの非常によい近似を得るのに十分であることを示す。逆に、これは複雑性の別の自然な指標、すなわち時間と関連する演算子の数のスケーリングを提供する。
論文参考訳（メタデータ） (2020-07-31T19:23:26Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
論文参考訳（メタデータ） (2020-04-20T14:50:31Z)
A Neural Network Based on First Principles [13.554038901140949]
ニューラルネットワークは、各層が線形次元還元変換から始まると仮定して、第一原理から導かれる。この手法は最大エントロピー(MaxEnt)の原理に訴え、各層の入力データの後方分布を求める。
論文参考訳（メタデータ） (2020-02-18T10:16:59Z)

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