Fugu-MT 論文翻訳(概要): Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

論文の概要: Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

arxiv url: http://arxiv.org/abs/2105.06570v1
Date: Thu, 13 May 2021 22:20:44 GMT
ステータス: 処理完了
システム内更新日: 2021-05-18 00:56:47.535295
Title: Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
Title（参考訳）: K45-like Godel modal logicの単純クリプキ意味論とその公理的拡張
Authors: Ricardo Rodriguez and Olim Tuyt and Lluis Godo and Francesc Esteva
Abstract要約: 我々は、K45(G)を、W が空でない世界の集合である確率的ゴデルクリプケフレーム W,pi> のクラスの有効な公式の集合として特徴付ける。より正確には、K45(G) を、W が空でない世界の集合である確率的ゴベルクリプケフレーム W,pi> のクラスの有効な公式の集合として特徴づける。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper, we provide simplified semantics for the logic K45(G), i.e. the many-valued Godel counterpart of the classical modal logic K45. More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Godel Kripke Frames <W,\pi> where W is a non-empty set of worlds and \pi: W \to [0, 1] is a possibility distribution on W.
Abstract（参考訳）: 本稿では,論理K45(G)の簡易意味論,すなわち論理K45(G)について述べる。古典的な様相論理 K45 の多くの値を持つゴデルより正確には、K45(G) を、W が空でない世界の集合で \pi: W \to [0, 1] が W 上の可能性分布であるような確率論的ゴデル・クリプケフレームのクラスの有効公式の集合として特徴づける。

関連論文リスト

Dagger linear logic and categorical quantum mechanics [0.0]
この論文は、非コンパクト乗法的ダガー線形論理の分類的証明理論を発展させている。カテゴリー量子力学(CQM)への応用に関する研究
論文参考訳（メタデータ） (2023-03-24T18:52:50Z)
The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures [0.0]
我々はリンドストロームの特徴化プログラムを無限論理系のクラスに拡張する。特に、Hajekの積分論理は、新しいタイプのHajekの満足度を持つ抽象論理として再定義されている。
論文参考訳（メタデータ） (2023-02-26T21:48:25Z)
The tilted CHSH games: an operator algebraic classification [77.34726150561087]
本稿では,バイナリ・インプット・バイナリ・アウトプットゲームを解くための一般的な体系的手順を紹介する。次に、傾いたCHSHゲームの顕著なクラスについて説明する。我々はこれらを、量子的優位性を示す領域全体の特性化から導いた。
論文参考訳（メタデータ） (2023-02-16T18:33:59Z)
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
論文参考訳（メタデータ） (2022-04-02T17:58:14Z)
AGM Belief Revision, Semantically [1.7403133838762446]
最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
論文参考訳（メタデータ） (2021-12-27T07:53:21Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
K-Net: Towards Unified Image Segmentation [78.32096542571257]
K-Netと名付けられたこのフレームワークは、学習可能なカーネルのグループによってインスタンスとセマンティックカテゴリの両方を一貫して分割する。 K-Netは双方向マッチングでエンドツーエンドでトレーニングすることができ、そのトレーニングと推論は自然にNMSフリーで、ボックスフリーである。
論文参考訳（メタデータ） (2021-06-28T17:18:21Z)
Exact thermalization dynamics in the "Rule 54" Quantum Cellular Automaton [0.0]
我々は、量子セルオートマトン「ルール54」の平衡外ダイナミクスについて研究する。低絡み合いの初期状態のクラスに対しては、有限部分系に対する大域的進化の影響を解析的に記述する。
論文参考訳（メタデータ） (2020-12-22T18:53:33Z)
Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文参考訳（メタデータ） (2020-08-06T02:13:11Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
From a quantum theory to a classical one [117.44028458220427]
量子対古典的交叉を記述するための形式的アプローチを提示し議論する。この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
論文参考訳（メタデータ） (2020-04-01T09:16:38Z)

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