論文の概要: Updating belief functions over Belnap--Dunn logic
- arxiv url: http://arxiv.org/abs/2205.15159v1
- Date: Mon, 30 May 2022 15:07:27 GMT
- ステータス: 処理完了
- システム内更新日: 2022-05-31 17:54:02.107502
- Title: Updating belief functions over Belnap--Dunn logic
- Title（参考訳）: ベルナップ上の更新信念関数-ダン論理
- Authors: Sabine Frittella, Ondrej Majer, Sajad Nazari
- Abstract要約: 我々は新しい情報を用いて信条機能を更新する方法を研究する。
ベルナップ・ダン論理は不完全かつ矛盾した情報について推論するために導入された。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Belief and plausibility are weaker measures of uncertainty than that of
probability. They are motivated by the situations when full probabilistic
information is not available. However, information can also be contradictory.
Therefore, the framework of classical logic is not necessarily the most
adequate. Belnap-Dunn logic was introduced to reason about incomplete and
contradictory information. Klein et al and Bilkova et al generalize the notion
of probability measures and belief functions to Belnap-Dunn logic,
respectively. In this article, we study how to update belief functions with new
pieces of information. We present a first approach via a frame semantics of
Belnap-Dunn logic.
- Abstract（参考訳）: 信念と可能性は確率よりも不確実性の弱い尺度である。
完全な確率的情報が得られない状況に動機づけられている。
しかし、情報は矛盾することもある。
したがって、古典論理の枠組みが必ずしも最も適切とは限らない。
belnap-dunn論理は不完全で矛盾する情報を推論するために導入された。
Klein et al と Bilkova et al はそれぞれ確率測度と信念関数の概念をベルナップ・ダン論理に一般化する。
本稿では,新しい情報を用いた信念機能の更新方法について検討する。
本稿では,Belnap-Dunn論理のフレームセマンティクスによる最初のアプローチを提案する。
関連論文リスト
- A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024) [0.0]
本稿では,不整合知識を用いた推論の論理について述べる。
信頼関係は、相容れない仮定を選択するために用いられる。
矛盾が導出されない限り、その知識は一貫していると仮定される。
論文 参考訳（メタデータ） (2024-11-15T13:53:05Z) - A Simple Generative Model of Logical Reasoning and Statistical Learning [0.6853165736531939]
統計的学習と論理的推論は、AIの2つの主要な分野であり、人間のようなマシンインテリジェンスに統一されることが期待されている。
本稿では、論理的推論と統計的学習の単純なベイズモデルを提案する。
我々は、形式論理におけるその満足度の観点から、データがどのように象徴的知識を引き起こすかをモデル化する。
論文 参考訳（メタデータ） (2023-05-18T16:34:51Z) - An elementary belief function logic [6.091096843566857]
可能性と必要性の尺度、信念と妥当性の関数と不正確な確率の双対性は、モーダル論理と共通の特徴を共有している。
本稿では,MEL上にLukasiewicz論理を追加することにより,より単純な信念関数論理を考案できることを示す。
論文 参考訳（メタデータ） (2023-03-23T10:39:18Z) - Generative Logic with Time: Beyond Logical Consistency and Statistical
Possibility [0.6853165736531939]
本稿では,データから記号的知識を生成する時間確率モデルを提案する。
モデルの正しさは、コルモゴロフの公理、フェンシュタットの定理、最大推定値との整合性の観点から正当化される。
論文 参考訳（メタデータ） (2023-01-20T10:55:49Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳（メタデータ） (2022-10-22T16:01:13Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
運用確率論におけるテストの整合性の概念について検討する。
ある理論が不整合性テストを認めていることは、ある情報が障害なく抽出できない場合に限る。
論文 参考訳（メタデータ） (2022-04-17T08:44:29Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳（メタデータ） (2021-09-25T00:00:47Z) - 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) - Non-Boolean Hidden Variables model reproduces Quantum Mechanics'
predictions for Bell's experiment [91.3755431537592]
ベルの不等式に反することを目的とした理論は、ブール論理を諦めることから始めなければならない。
ハード」問題は、単一粒子が検出された時の時間値を予測することである。
「ソフト」の問題は、ベルの不平等が(非ブール的)地方リアリズムに違反していることを説明することである。
論文 参考訳（メタデータ） (2020-05-20T21:46:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。