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

• arxiv url: http://arxiv.org/abs/2111.08564v3
• Date: Sat, 18 Mar 2023 07:02:01 GMT
• ステータス: 処理完了
• システム内更新日: 2023-03-24 05:41:02.330845
• Title: Doxastic Extensions of \L ukasiewicz Logic
• Title（参考訳）: L ukasiewicz 論理のドクサスティック拡張
• Authors: Doratossadat Dastgheib, Hadi Farahani
• Abstract要約: ファジィL ウカシエヴィチ論理のドクサスティック拡張のクラスを2つ提案する。 1つのクラスは、古典的信念に類似した特性を持つ疑似古典的信念を備えている。 他のクラスは、私たちがそれをテキスト懐疑的な信念と呼ぶ新しい信念に基づいている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We propose two classes of doxastic extensions of fuzzy \L ukasiewicz logic that are sound and complete with respect to some appropriate classes of Kripke-based models in which both atomic propositions and accessibility relations are fuzzy. One class of these extensions is equipped with pseudo-classical belief that has properties similar to the classical belief, and the other class is based on a new notion of belief that we call it \textit{skeptical} belief. We model a fuzzy version of the muddy children problem using pseudo-classical belief and a CPA-security experiment using skeptical belief, then by showing that the pseudo-classical belief is not appropriate for modeling the belief of an adversary in a CPA-experiment we justify proposing the notion of skeptical belief. Furthermore, we prove the soundness and completeness theorems for some of the proposed doxastic extensions.
• Abstract（参考訳）: 本稿では,原子命題とアクセシビリティの関係がファジィであるクリプケモデル(kripke-based model)の適切なクラスに対して,健全かつ完備なファジィ論理のドキスティック拡張の2つのクラスを提案する。 これらの拡張の1つのクラスは、古典的信念に似た性質を持つ疑似古典的信念を持ち、もう1つのクラスは、我々がそれを \textit{skeptical} beliefと呼ぶ新しい信念の概念に基づいている。 疑似古典的信念と懐疑的信念を用いたCPA-セキュリティ実験を用いて泥だらけ児問題のファジィバージョンをモデル化し,CPA-実験において敵の信念をモデル化するには疑似古典的信念が適切でないことを示した。 さらに,提案するドキサスティック拡張のいくつかについて,健全性と完全性定理を証明した。

関連論文リスト

• 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)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。