Fugu-MT 論文翻訳(概要): Propositional Measure Logic

論文の概要: Propositional Measure Logic

arxiv url: http://arxiv.org/abs/2505.14693v1
Date: Thu, 24 Apr 2025 16:21:16 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-25 10:52:49.06461
Title: Propositional Measure Logic
Title（参考訳）: 命題測度論理
Authors: Francisco Aragão,
Abstract要約: 基本確率論的意味論を用いた命題論理を提案する。この意味論は古典論理の双対性に置き換わり、導出的構造を保存する。提案手法は,不確実性を考慮した推論に適していることを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present a propositional logic with fundamental probabilistic semantics, in which each formula is given a real measure in the interval $[0,1]$ that represents its degree of truth. This semantics replaces the binarity of classical logic, while preserving its deductive structure. We demonstrate the soundness theorem, establishing that the proposed system is sound and suitable for reasoning under uncertainty. We discuss potential applications and avenues for future extensions of the theory. We apply probabilistic logic to a still refractory problem in Bayesian Networks.
Abstract（参考訳）: 基本確率論的意味論を持つ命題論理を示し、各式はその真理の度合いを表す区間$[0,1]$で実測度を与えられる。この意味論は古典論理の双対性に置き換わり、導出的構造を保存する。提案手法は,不確実性を考慮した推論に適していることを示す。この理論の今後の拡張への潜在的な応用と道筋について論じる。ベイジアンネットワークにおけるまだ屈折問題に対して確率論的論理を適用する。

関連論文リスト

Connecting classical finite exchangeability to quantum theory [45.76759085727843]
交換性は確率論と統計学の基本的な概念である。観測順序が重要でない状況のモデル化を可能にする。両定理が有限交換可能な列に対して成り立たないことはよく知られている。
論文参考訳（メタデータ） (2023-06-06T17:15:19Z)
A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文参考訳（メタデータ） (2023-05-19T13:15:48Z)
Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility [0.6853165736531939]
本稿では,データから記号的知識を生成する時間確率モデルを提案する。モデルの正しさは、コルモゴロフの公理、フェンシュタットの定理、最大推定値との整合性の観点から正当化される。
論文参考訳（メタデータ） (2023-01-20T10:55:49Z)
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。これは、説明に表される論理述語に基づいて、反実仮説を生成する。そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文参考訳（メタデータ） (2022-05-25T03:40:59Z)
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
論文参考訳（メタデータ） (2022-04-02T17:58:14Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
A natural deduction system for orthomodular logic [0.0]
オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。非線形非可換論理である。これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
論文参考訳（メタデータ） (2021-09-11T22:28:17Z)
Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic [0.0]
確率論理とファジィ論理は 2つの異なる仮定に対応します証拠ベースが現在利用できない命題の組み合わせについてこの2つの式は、線形論理における乗法および加法的作用素集合の自然な基底を与える。資源の論理としての線形論理の概念」は、証拠の保存の原理を通じてここで証明される。
論文参考訳（メタデータ） (2020-09-28T00:19:42Z)
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)

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