Fugu-MT 論文翻訳(概要): Eigenlogic and Probabilistic Inference; when Bayes meets Born

論文の概要: Eigenlogic and Probabilistic Inference; when Bayes meets Born

arxiv url: http://arxiv.org/abs/2506.10045v1
Date: Wed, 11 Jun 2025 06:58:04 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-13 15:37:22.340527
Title: Eigenlogic and Probabilistic Inference; when Bayes meets Born
Title（参考訳）: 固有・確率的推論 : ベイズが生まれると
Authors: François Dubois, Zeno Toffano,
Abstract要約: 線形代数における固有射影作用素の文脈内で推論がどのように扱われるかを示す。拡張により、固有作用素の固有系の外側のベクトルを用いて確率論的解釈が提案される。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This paper shows how inference is treated within the context of Eigenlogic projection operators in linear algebra. In Eigenlogic operators represent logical connectives, their eigenvalues the truth-values and the associated eigenvectors the logical models. By extension, a probabilistic interpretation is proposed using vectors outside the eigensystem of the Eigenlogic operators. The probability is calculated by the quantum mean value (Born rule) of the logical projection operators. We look here for possible connections between the Born rule in quantum mechanics and Bayes' theorem from probability theory and show that Eigenlogic offers an innovative approach to address the probabilistic version of logical inference (material implication) in a quantum context.
Abstract（参考訳）: 本稿では、線形代数における固有射影作用素の文脈内での推論がどのように扱われるかを示す。固有論理作用素は論理連結を表現し、その固有値は真理値、それに付随する固有ベクトルは論理モデルを表す。拡張により、固有作用素の固有系の外側のベクトルを用いて確率論的解釈が提案される。確率は論理射影作用素の量子平均値(ボン則)によって計算される。ここでは、量子力学におけるボルン則と確率論からのベイズの定理の関連性を探り、固有論が量子文脈における論理的推論(物質的含意)の確率論的バージョンに対処するための革新的なアプローチを提供することを示す。

関連論文リスト

Propositional Measure Logic [0.0]
基本確率論的意味論を用いた命題論理を提案する。この意味論は古典論理の双対性に置き換わり、導出的構造を保存する。提案手法は,不確実性を考慮した推論に適していることを示す。
論文参考訳（メタデータ） (2025-04-24T16:21:16Z)
Connecting classical finite exchangeability to quantum theory [45.76759085727843]
交換性は確率論と統計学の基本的な概念である。観測順序が重要でない状況のモデル化を可能にする。両定理が有限交換可能な列に対して成り立たないことはよく知られている。
論文参考訳（メタデータ） (2023-06-06T17:15:19Z)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
Quantum Bayesian Inference in Quasiprobability Representations [0.0]
ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
論文参考訳（メタデータ） (2023-01-05T08:16:50Z)
Spectral theorem for dummies: A pedagogical discussion on quantum probability and random variable theory [0.0]
ジョン・フォン・ノイマンの自己随伴作用素に対するスペクトル定理は量子力学の基礎となっている。本稿では、ディラックのブラとケット表記の観点から、この定理の平凡な定式化を述べる。
論文参考訳（メタデータ） (2022-11-23T07:05:47Z)
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文参考訳（メタデータ） (2022-09-08T17:55:30Z)
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System [0.0]
TPTNDの導出性は、与えられたカテゴリー分布から特定の周波数で$n$サンプルを抽出する過程として解釈される。本稿では,TPTND のセマンティクスを解析し,そのセマンティクスについて述べる。構造的・メタセオレティックな性質を概説し、特に「進化」と「論理的規則」をどの用語で表すかを確立する能力に焦点をあてる。
論文参考訳（メタデータ） (2022-06-26T17:55:32Z)
Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
一般確率論として量子論(QT)の定式化を導入するが、準観測作用素(QEOs)で表される。区別不可能な粒子と識別不能な粒子の両方に対するQTをこの方法で定式化できることを示します。古典的なダイスに対する有限交換可能な確率は、QTと同じくらい奇数であることを示す。
論文参考訳（メタデータ） (2022-03-08T14:47:39Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文参考訳（メタデータ） (2021-09-14T16:08:37Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
At the Interface of Algebra and Statistics [0.0]
この論文は量子物理学からインスピレーションを得て、代数と統計学の界面にある数学的構造を研究する。有限集合上のすべての合同確率分布は階数 1 の密度作用素としてモデル化できる。条件付き確率に類似していることを示し、固有ベクトルが元の関節分布に固有の「概念」を捕捉する程度について調べる。
論文参考訳（メタデータ） (2020-04-12T15:22:07Z)

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