論文の概要: Coalgebraic Fuzzy geometric logic
- arxiv url: http://arxiv.org/abs/2205.13387v2
- Date: Wed, 7 Sep 2022 15:36:57 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-14 20:24:06.391611
- Title: Coalgebraic Fuzzy geometric logic
- Title（参考訳）: 代数的ファジィ幾何論理
- Authors: Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
- Abstract要約: コルージュブラの手法を用いて、モダル作用素はファジィ幾何学論理の言語で導入される。
ファジィ位相空間とファジィ連続写像の圏 $textbfFuzzy-Top$ の内包ベクトル $T$ のココヘブラに基づいて、コデジィファジィ幾何学論理のモデルを構築する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The paper aims to develop a framework for coalgebraic fuzzy geometric logic
by adding modalities to the language of fuzzy geometric logic. Using the
methods of coalgebra, the modal operators are introduced in the language of
fuzzy geometric logic. To define the modal operators, we introduce a notion of
fuzzy-open predicate lifting. Based on coalgebras for an endofunctor $T$ on the
category $\textbf{Fuzzy-Top}$ of fuzzy topological spaces and fuzzy continuous
maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations
for the defined models are discussed in this work.
- Abstract（参考訳）: 本論文は, ファジィ幾何論理の言語にモダリティを加えることにより, 協調的ファジィ幾何論理の枠組みを開発することを目的とする。
コルージュブラの手法を用いて、モダル作用素はファジィ幾何学論理の言語で導入される。
モーダル作用素を定義するために、ファジィ開述語リフトの概念を導入する。
cogebras for a endofunctor $t$ on the category $\textbf{fuzzy-top}$ ofファジィ位相空間とファジィ連続写像のカテゴリに基づいて、我々はコブラ的ファジィ幾何論理のモデルを構築する。
本研究で定義されたモデルのシミュレーションについて述べる。
関連論文リスト
- Geometric Neural Operators (GNPs) for Data-Driven Deep Learning of Non-Euclidean Operators [0.0]
演算子のデータ駆動深層学習における幾何学的寄与を考慮に入れた幾何学的ニューラルネットワーク(GNP)を導入する。
GNPが計量や曲率などの幾何学的性質を推定し、偏微分方程式を近似するためにどのように使用できるかを示す。
開発されたGNPは、演算子のデータ駆動学習における幾何学の役割を取り入れるためのアプローチを提供する。
論文 参考訳（メタデータ） (2024-04-16T18:43:27Z) - Information-Theoretic Thresholds for Planted Dense Cycles [52.076657911275525]
本研究では,社会科学や生物科学においてユビキタスな小世界ネットワークのランダムグラフモデルについて検討する。
植え込み高密度サイクルの検出と回復の両面において、情報理論の閾値を$n$, $tau$、エッジワイド信号対雑音比$lambda$で特徴づける。
論文 参考訳（メタデータ） (2024-02-01T03:39:01Z) - Local topological order and boundary algebras [0.0]
局所基底状態投影のネットの観点から、局所的に位相的に順序付けられた量子スピン系に対する公理を導入する。
$mathbbZk$ 上の局所位相的に順序付けられたスピン系に対して、$mathbbZk-1$ 上の境界代数の局所ネットを定義する。
境界準局所代数上の状態が境界ハミルトニアンに言及せずにバルク境界状態にパラメータ化するように、正準量子チャネルを構築する。
論文 参考訳（メタデータ） (2023-07-24T06:38:48Z) - Geometric Clifford Algebra Networks [53.456211342585824]
本稿では,動的システムのモデリングのためのGeometric Clifford Algebra Networks (GCANs)を提案する。
GCANは幾何学的(クリフォード)代数を用いた対称性群変換に基づいている。
論文 参考訳（メタデータ） (2023-02-13T18:48:33Z) - Chiral topologically ordered states on a lattice from vertex operator
algebras [0.0]
これらの状態は熱力学の限界においてよく定義されており、相関の指数的減衰を有することを示す。
また、E_8$相を含む非自明な可逆相におけるボゾン状態の候補を与える。
論文 参考訳（メタデータ） (2023-01-20T17:33:12Z) - Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras
from First Principles [55.41644538483948]
ラベル付きデータセットに存在する連続した対称性群の検出と同定のためのディープラーニングアルゴリズムを設計する。
完全に接続されたニューラルネットワークを用いて、変換対称性と対応するジェネレータをモデル化する。
また,Lie群とその性質の数学的研究に機械学習アプローチを使うための扉を開く。
論文 参考訳（メタデータ） (2023-01-13T16:25:25Z) - Isotropic Gaussian Processes on Finite Spaces of Graphs [71.26737403006778]
種々の非重み付きグラフの集合上でガウス過程の先行を定義するための原理的手法を提案する。
さらに、未重み付きグラフの同値類の集合を検討し、それに対する事前の適切なバージョンを定義する。
化学の応用に触発されて、我々は、小データ構造における実際の分子特性予測タスクについて、提案手法を解説した。
論文 参考訳（メタデータ） (2022-11-03T10:18:17Z) - Dist2Cycle: A Simplicial Neural Network for Homology Localization [66.15805004725809]
単純複体は多方向順序関係を明示的にエンコードするグラフの高次元一般化と見なすことができる。
単体錯体の$k$-homological特徴によってパラメータ化された関数のグラフ畳み込みモデルを提案する。
論文 参考訳（メタデータ） (2021-10-28T14:59:41Z) - Turing approximations, toric isometric embeddings & manifold
convolutions [0.0]
任意の位相と次元の多様体に対する畳み込み作用素を定義する。
1938年のアラン・チューリングの結果は、大域的な畳み込みの定義を達成するためにそのようなトーリック等尺的埋め込みアプローチの必要性を浮き彫りにした。
論文 参考訳（メタデータ） (2021-10-05T18:36:16Z) - q-Paths: Generalizing the Geometric Annealing Path using Power Means [51.73925445218366]
我々は、幾何学と算術の混合を特別なケースとして含むパスのファミリーである$q$-pathsを紹介した。
幾何経路から離れた小さな偏差がベイズ推定に経験的利得をもたらすことを示す。
論文 参考訳（メタデータ） (2021-07-01T21:09:06Z) - Orthologics for Cones [5.994412766684843]
本稿では,そのような幾何学的構造の論理について考察する。
閉凸円錐を保った部分モジュラリティ則を持つ最小オルソロジーの拡張を記述する。
この論理は、(凸性/凸性を明らかにする)実現可能なデータ構造と、完全な直交を含む十分な表現性を組み合わせたものである。
論文 参考訳（メタデータ） (2020-08-07T13:28:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。