Fugu-MT 論文翻訳(概要): Doxastic Extensions of \L ukasiewicz Logic

論文の概要: Doxastic Extensions of \L ukasiewicz Logic

arxiv url: http://arxiv.org/abs/2111.08564v1
Date: Thu, 4 Nov 2021 07:24:20 GMT
ステータス: 処理完了
システム内更新日: 2021-11-21 14:51:27.742138
Title: Doxastic Extensions of \L ukasiewicz Logic
Title（参考訳）: L ukasiewicz 論理のドクサスティック拡張
Authors: Doratossadat Dastgheib, Hadi Farahani
Abstract要約: ファジィLウカシエヴィチ論理の2つの新しいドクサスティック拡張を提案する。これらの拡張のクラスは非形式的信念演算子を備えており、他のクラスは懐疑的信念という新しい概念に基づいている。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We propose two new doxastic extensions of fuzzy \L ukasiewicz logic in which their semantics are Kripke-based with both fuzzy atomic propositions and fuzzy accessibility relations. A class of these extensions is equipped with uninformed belief operator, and the other class is based on a new notion of skeptical belief. We model a fuzzy version of muddy children problem and a CPA-security experiment using uniformed belief and skeptical belief, respectively. Moreover, we prove soundness and completeness for both of these belief extensions.
Abstract（参考訳）: ファジィ論理の2つの新しいドキサスティック拡張を提案し,それらの意味論はファジィ原子命題とファジィアクセシビリティ関係の両方を持つクリプケベースである。これらの拡張のクラスは非形式的信念演算子を備えており、他のクラスは懐疑的信念の新しい概念に基づいている。我々は,泥だらけ児問題のファジィ版と,統一信念と懐疑的信念を用いたCPAセキュリティ実験をモデル化した。さらに,これら2つの信念拡張に対して,健全性と完全性を証明する。

関連論文リスト

Characterization of Randomness in Quantum Circuits of Continuous Gate Sets [0.0]
我々は、対称局所乱数回路によって生成される近似ユニタリ設計の最大順序を特徴付ける方法を確立した。ここでは、一般対称性および具体的な対称性に対する主定理の導出の詳細について述べる。
論文参考訳（メタデータ） (2024-08-24T05:20:26Z)
Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations [56.78271181959529]
GAM(Generalized Additive Models)は、変数とターゲットの間の非線形関係をキャプチャできるが、複雑な特徴相互作用をキャプチャすることはできない。本稿では,GAMのフレキシブルな形状関数と,数学的表現に見られる複雑な特徴相互作用を融合させる形状表現算術(SHARE)を提案する。また、標準制約を超えた表現の透明性を保証するSHAREを構築するための一連のルールを設計する。
論文参考訳（メタデータ） (2024-04-15T13:44:01Z)
Lexinvariant Language Models [84.2829117441298]
離散語彙記号から連続ベクトルへの写像であるトークン埋め込みは、任意の言語モデル(LM)の中心にある我々は、語彙記号に不変であり、したがって実際に固定トークン埋め込みを必要としないテクスチトレキシン変種モデルについて研究する。十分長い文脈を条件として,レキシン変項LMは標準言語モデルに匹敵する難易度が得られることを示す。
論文参考訳（メタデータ） (2023-05-24T19:10:46Z)
The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures [0.0]
我々はリンドストロームの特徴化プログラムを無限論理系のクラスに拡張する。特に、Hajekの積分論理は、新しいタイプのHajekの満足度を持つ抽象論理として再定義されている。
論文参考訳（メタデータ） (2023-02-26T21:48:25Z)
Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras from First Principles [55.41644538483948]
ラベル付きデータセットに存在する連続した対称性群の検出と同定のためのディープラーニングアルゴリズムを設計する。完全に接続されたニューラルネットワークを用いて、変換対称性と対応するジェネレータをモデル化する。また,Lie群とその性質の数学的研究に機械学習アプローチを使うための扉を開く。
論文参考訳（メタデータ） (2023-01-13T16:25:25Z)
Decay of multi-point correlation functions in $\mathbb{Z}^d$ [7.334752859070876]
対称距離を持つ任意の$dgeq 1$に対して$mathbbZd$の多点相関境界を証明する。応用として、$mathbbZd$上のIsingモデルに対する多点相関境界と、一様局所化された乱システムに対する期待における多点動的局所化を証明した。
論文参考訳（メタデータ） (2022-08-04T02:53:39Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Pseudo-bosons and bi-coherent states out of $\Lc^2(\mathbb{R})$ [0.0]
我々は、変形した正準交換関係と関連する擬似ボソン状態および双コヒーレント状態の解析を継続する。ヒルベルト空間 $Lc2(mathbbR)$ 以外の元のアプローチをどのように拡張するかを示し、ある数のような作用素の固有状態を定義する可能性については触れられていない。この可能性も双コヒーレントな状態にまで拡張し、citebag 2010jmpで最初に導入された超ポテンシャルの例を、多くの詳細で論じる。
論文参考訳（メタデータ） (2021-02-10T18:19:36Z)
Finite-Function-Encoding Quantum States [52.77024349608834]
任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。それらの構造的特性について検討する。
論文参考訳（メタデータ） (2020-12-01T13:53:23Z)
Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文参考訳（メタデータ） (2020-06-03T17:54:43Z)
Algebraic Approach to Directed Rough Sets [0.0]
一般粗集合へのリレーショナルアプローチでは、有向関係の考えは追加条件で補足される。この関係は、上向き、反射的、反対称な一般部分群の表現にも特化している。
論文参考訳（メタデータ） (2020-04-25T15:39:14Z)

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