論文の概要: Vector logic allows counterfactual virtualization by The Square Root of
NOT
- arxiv url: http://arxiv.org/abs/2003.11519v3
- Date: Tue, 1 Sep 2020 21:59:24 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-25 09:18:29.702066
- Title: Vector logic allows counterfactual virtualization by The Square Root of
NOT
- Title(参考訳): ベクトル論理はNOTのSquare Rootによる反ファクト仮想化を可能にする
- Authors: Eduardo Mizraji
- Abstract要約: 本稿では, ベクトル論理, 行列ベクトルの論理関数と真理値に対する定式化法を用いて, 対実条件の表現について検討する。
この基本的表現の後、与えられた反事実の妥当性の判断は、決定を受理または拒絶へとシフトさせることができる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this work we investigate the representation of counterfactual conditionals
using the vector logic, a matrix-vectors formalism for logical functions and
truth values. Inside this formalism, the counterfactuals can be transformed in
complex matrices preprocessing an implication matrix with one of the square
roots of NOT, a complex matrix. This mathematical approach puts in evidence the
virtual character of the counterfactuals. This happens because this
representation produces a valuation of a counterfactual that is the
superposition of the two opposite truth values weighted, respectively, by two
complex conjugated coefficients. This result shows that this procedure gives an
uncertain evaluation projected on the complex domain. After this basic
representation, the judgment of the plausibility of a given counterfactual
allows us to shift the decision towards an acceptance or a refusal. This shift
is the result of applying for a second time one of the two square roots of NOT.
- Abstract(参考訳): 本研究では, ベクトル論理, 行列ベクトル形式, 論理関数, 真理値を用いた対実条件の表現について検討する。
この形式論の中では、反事実は複素行列に変換され、複素行列であるNOTの平方根の1つで含意行列を前処理する。
この数学的アプローチは、反事実の仮想的特徴を証明している。
これは、この表現が2つの複素共役係数によって重み付けされた2つの反対真理値の重み付けである反事実の値を生成するためである。
この結果は、この手順が複素領域に投影された不確定な評価を与えることを示している。
この基本的な表現の後、与えられた反事実の可能性の判断は、決定を受容または拒絶に移すことができる。
このシフトは、2つのNOTの平方根のうちの1つを2回適用した結果である。
関連論文リスト
- Algebras of actions in an agent's representations of the world [51.06229789727133]
我々は、対称性に基づく非交叉表現学習形式から対称性に基づく表現を再現するために、我々のフレームワークを使用する。
次に、簡単な強化学習シナリオで発生する特徴を持つ世界の変換の代数について研究する。
私たちが開発した計算手法を用いて、これらの世界の変換の代数を抽出し、それらの性質に応じてそれらを分類する。
論文 参考訳(メタデータ) (2023-10-02T18:24:51Z) - Adaptive n-ary Activation Functions for Probabilistic Boolean Logic [2.294014185517203]
マッチングやアリティ向上の活性化関数を用いて,任意の論理を単一層で学習できることが示される。
我々は,非ゼロパラメータの数を信念関数の有効アリティに直接関連付ける基礎を用いて,信念表を表現する。
これにより、パラメータの間隔を誘導することで論理的複雑性を低減する最適化アプローチが開かれる。
論文 参考訳(メタデータ) (2022-03-16T22:47:53Z) - Fast Differentiable Matrix Square Root and Inverse Square Root [65.67315418971688]
微分可能な行列平方根と逆平方根を計算するためのより効率的な2つの変種を提案する。
前方伝搬には, Matrix Taylor Polynomial (MTP) を用いる方法と, Matrix Pad'e Approximants (MPA) を使用する方法がある。
一連の数値実験により、両方の手法がSVDやNSの繰り返しと比較してかなりスピードアップすることが示された。
論文 参考訳(メタデータ) (2022-01-29T10:00:35Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - Generalized "Square roots of Not" matrices, their application to the
unveiling of hidden logical operators and to the definition of fully matrix
circular Euler functions [0.0]
Notの平方根は量子コンピューティング理論において重要な論理演算子である。
物理学では、次元 2 の平方複素行列である。
演算子の2つの平方根に対する一般表現がどのように得られるかを示す。
論文 参考訳(メタデータ) (2021-06-22T03:43:53Z) - Finite dimensional systems of free Fermions and diffusion processes on
Spin groups [0.0]
有限次元フェルミオン(英: finite dimensional Fermions)は、外部代数自身に埋め込まれた有限次元複素空間のベクトルである。
リー群 $mathrmSpin(2n+1)$ 上の不変複素ベクトル場をフェルミオン生成および消滅作用素に関連付ける。
確率論的解釈は、第二次作用素に付随する拡散過程に関して、ファインマン・カック風の公式の観点で与えられる。
論文 参考訳(メタデータ) (2021-02-01T17:25:08Z) - A Study of Continuous Vector Representationsfor Theorem Proving [2.0518509649405106]
我々は,論理特性の保存と可逆性を考慮したエンコードを開発した。
これは、すべての記号を含む公式のツリー形状が密度ベクトル表現から再構築できることを意味する。
これらの構文的および意味的特性のトレーニングに使用できるデータセットを提案する。
論文 参考訳(メタデータ) (2021-01-22T15:04:54Z) - Joint Estimation of Image Representations and their Lie Invariants [57.3768308075675]
画像は世界の状態とコンテンツの両方をエンコードする。
この情報の自動抽出は、画像表現に固有の高次元かつ絡み合った符号化のために困難である。
本稿では,これらの課題の解決を目的とした2つの理論的アプローチを紹介する。
論文 参考訳(メタデータ) (2020-12-05T00:07:41Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Understanding Implicit Regularization in Over-Parameterized Single Index
Model [55.41685740015095]
我々は高次元単一インデックスモデルのための正規化自由アルゴリズムを設計する。
暗黙正則化現象の理論的保証を提供する。
論文 参考訳(メタデータ) (2020-07-16T13:27:47Z) - J-matrix method of scattering in one dimension: The relativistic theory [0.0]
散乱の一次元J行列法の相対論的拡張を行う。
相対論的ポテンシャル行列はベクトル、スカラー、擬スカラー成分の組み合わせである。
論文 参考訳(メタデータ) (2020-01-14T19:02:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。