論文の概要: A Conditional Perspective on the Logic of Iterated Belief Contraction
- arxiv url: http://arxiv.org/abs/2202.03196v1
- Date: Fri, 4 Feb 2022 10:33:19 GMT
- ステータス: 処理完了
- システム内更新日: 2022-02-08 16:43:23.704530
- Title: A Conditional Perspective on the Logic of Iterated Belief Contraction
- Title(参考訳): 反復的信念収縮の論理に関する条件論的考察
- Authors: Kai Sauerwald and Gabriele Kern-Isberner and Christoph Beierle
- Abstract要約: 我々は、条件付き信念を尊重する契約のプロパティを特定することを目的として、契約の反復原則を考察する。
これらすべての原理に対して、セマンティック・キャラクタリゼーションの定理を提供し、仮定による定式化を提供する。
- 参考スコア(独自算出の注目度): 8.314830611853168
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: In this article, we consider iteration principles for contraction, with the
goal of identifying properties for contractions that respect conditional
beliefs. Therefore, we investigate and evaluate four groups of iteration
principles for contraction which consider the dynamics of conditional beliefs.
For all these principles, we provide semantic characterization theorems and
provide formulations by postulates which highlight how the change of beliefs
and of conditional beliefs is constrained, whenever that is possible. The first
group is similar to the syntactic Darwiche-Pearl postulates. As a second group,
we consider semantic postulates for iteration of contraction by Chopra, Ghose,
Meyer and Wong, and by Konieczny and Pino P\'erez, respectively, and we provide
novel syntactic counterparts. Third, we propose a contraction analogue of the
independence condition by Jin and Thielscher. For the fourth group, we consider
natural and moderate contraction by Nayak. Methodically, we make use of
conditionals for contractions, so-called contractionals and furthermore, we
propose and employ the novel notion of $ \alpha $-equivalence for formulating
some of the new postulates.
- Abstract(参考訳): 本稿では,条件付き信念を尊重する収縮の性質を特定することを目的として,収縮の反復原理を考える。
そこで,条件付き信念のダイナミクスを考慮した4つの反復原理を考察し,評価した。
これらすべての原則に対して、私たちは意味的特徴付けの定理を提供し、信念の変化と条件付き信念が、可能であればどのように制約されるかを強調した仮定による定式化を提供する。
最初のグループは、シンタクティックなダルウィッヒ・パールの仮定に類似している。
第2群として,chopra,ghose,meyer,wong,konieczny および pino p\'erez による収縮の反復のための意味的仮定を考察し,新しい構文対応子を提供する。
第三に、ジンとティールシャーによる独立状態の縮約類似体を提案する。
第4群については,nayakによる自然収縮と中等収縮を考える。
理論的には、契約条件、いわゆる契約条件を利用しており、さらに新しい仮定のいくつかを定式化するために$ \alpha $-equivalenceという新しい概念を提案し、採用する。
関連論文リスト
- A probabilistic analysis of selected notions of iterated conditioning
under coherence [0.0]
デ・フィネッティの条件付き概念は3つの値を持つ対象であり、賭けの枠組みにおける条件付き乱数量であると考えている。
複素確率定理やその他の基本的な性質がこれらの対象によって保存されないことを示す。
すべての基本特性は, 主に Gilio と Sanfilippo によって開発された反復条件によってのみ満たされる。
論文 参考訳(メタデータ) (2023-08-20T18:48:37Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳(メタデータ) (2023-05-19T13:15:48Z) - Revisiting Quantum Contextuality in an Algebraic Framework [0.0]
我々は、コシェン=スペーカーの定理とグリーソンの定理を関連付けることができるような、文脈外性(extracontextuality)と外部値(extravalence)の考えについて議論する。
「我々の文脈外アプローチは、しかしながらハイゼンベルク切断を記述する方法を必要とする。」
論文 参考訳(メタデータ) (2023-04-16T12:06:44Z) - Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
我々は、真理条件と自然言語条件の確率の3値意味論を開発する。
いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。
その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
論文 参考訳(メタデータ) (2022-07-17T20:06:00Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Revisiting Born's rule through Uhlhorn's and Gleason's theorems [0.0]
本稿では,「文脈,システム,モダリティ」という簡単な公理の集合に基づいて,ボルンの規則を得る(あるいは推論する)ための議論を示す。
ここでは、これらの仮説の中で不可欠なもの(異なる文脈を関連づけるユニタリ変換の必要性)が取り除かれることを示し、ウルホーンの定理の必然的な結果と見なされる。
論文 参考訳(メタデータ) (2021-11-21T07:54:45Z) - Probabilistic modelling of rational communication with conditionals [0.0]
条件に関する実用的推論には確率論的アプローチを採用する。
本モデルは,文献で検証された推論を一様に説明できることを示す。
論文 参考訳(メタデータ) (2021-05-12T08:21:25Z) - Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
2つの粒子は、スピンや電荷のような固有の性質がすべて同じである場合、同一である。
量子力学は、エージェントが主観的信念を(一貫性のある)ギャンブルの集合として表すように導く規範的かつアルゴリズム的な理論と見なされる。
測定結果から交換可能な可観測物(ギャンブル)の集合をどのように更新するかを示し、不明瞭な粒子系の絡み合いを定義する問題について論じる。
論文 参考訳(メタデータ) (2021-05-10T13:11:59Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳(メタデータ) (2021-01-21T16:06:25Z) - Topology of Word Embeddings: Singularities Reflect Polysemy [68.8204255655161]
本稿では,単語の意味の実際の数とよく相関する,永続的ホモロジーに基づく多意味性のトポロジカル尺度を提案する。
本稿では,SemEval-2010における単語センスの誘導と曖昧さに対する単純なトポロジ的な解決法を提案する。
論文 参考訳(メタデータ) (2020-11-18T17:21:51Z) - A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。
より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文 参考訳(メタデータ) (2020-10-27T13:04:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。