Fugu-MT 論文翻訳(概要): Characterization of AGM Belief Contraction in Terms of Conditionals

論文の概要: Characterization of AGM Belief Contraction in Terms of Conditionals

arxiv url: http://arxiv.org/abs/2307.05629v1
Date: Tue, 11 Jul 2023 07:07:15 GMT
ステータス: 処理完了
システム内更新日: 2023-07-13 15:58:39.660908
Title: Characterization of AGM Belief Contraction in Terms of Conditionals
Title（参考訳）: 条件条件下におけるAGM信頼収縮の評価
Authors: Giacomo Bonanno (University of California, Davis)
Abstract要約: Kripke の信念関係と Stalnaker-Lewis 選択関数からなるフレームに基づく AGM の信念収縮のセマンティックキャラクタリゼーションを提案する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial belief set and K-A be the contraction of K by the formula A; then B belongs to the set K-A if and only if, at the actual state, the agent believes B and believes that if not-A is (were) the case then B is (would be) the case.
Abstract（参考訳）: Kripke の信念関係と Stalnaker-Lewis 選択関数からなるフレームに基づく AGM の信念収縮のセマンティックキャラクタリゼーションを提案する。中心となる考え方は次のとおりである。 K を初期信念集合とし、K-A を公式 A によるK の縮約とし、B が集合 K-A に属するとき、エージェントが実際の状態において B を信じ、もし not-A がケースであるならば、B はケースである(そうである)。

関連論文リスト

Equivalence Relations in Quantum Theory: An Objective Account of Bases and Factorizations [0.0]
正統的な標準量子力学(SQM)の基底と分解は、相対論的用語で量子状態と絡み合いを定義するものとして考えられている。基底と分解の不変な説明を提供することにより、フォーマリズムと量子現象の間の概念的操作的ブリッジを構築することができる。
論文参考訳（メタデータ） (2024-04-23T10:17:49Z)
On the Convergence of Bounded Agents [80.67035535522777]
境界エージェントは、エージェントの将来の振る舞いを記述するために必要な最小の状態数が減少できない場合に収束する。第2の見解では、エージェントの内部状態が変更された場合にのみ、エージェントのパフォーマンスが変化するときのみ、境界エージェントが収束した。
論文参考訳（メタデータ） (2023-07-20T17:27:29Z)
A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文参考訳（メタデータ） (2023-05-19T13:15:48Z)
The Degree of Quantum Contextuality in terms of Concurrence for the KCBS Scenario [0.0]
KCBSシナリオにおける量子テクスチュアリティとコンカレンスとの相関関係を示す。 KCBSとCHSHの不平等の最大違反が、任意の絡み合いにどのように関係しているかを示す。
論文参考訳（メタデータ） (2023-02-22T11:48:18Z)
ABC: Adversarial Behavioral Cloning for Offline Mode-Seeking Imitation Learning [48.033516430071494]
本稿では,GAN(Generative Adversarial Network)トレーニングの要素を取り入れて,モード探索行動を示す行動クローニング(BC)の修正版を紹介する。我々は,DeepMind Control スイートから Hopper をベースとした玩具ドメインとドメイン上でABC を評価し,モード探索により標準 BC よりも優れていることを示す。
論文参考訳（メタデータ） (2022-11-08T04:54:54Z)
Galois theory for analogical classifiers [1.7132914341329848]
A is to B as C is to D" と書かれた 4-ary 関係である。最近の研究は、そのような関係が類似推論と呼ばれる特定の形の推論を支持できるという事実を強調している。
論文参考訳（メタデータ） (2022-05-09T23:03:56Z)
A Conditional Perspective on the Logic of Iterated Belief Contraction [8.314830611853168]
我々は、条件付き信念を尊重する契約のプロパティを特定することを目的として、契約の反復原則を考察する。これらすべての原理に対して、セマンティック・キャラクタリゼーションの定理を提供し、仮定による定式化を提供する。
論文参考訳（メタデータ） (2022-02-04T10:33:19Z)
Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文参考訳（メタデータ） (2021-01-21T16:06:25Z)
A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文参考訳（メタデータ） (2020-10-27T13:04:08Z)
Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文参考訳（メタデータ） (2018-03-10T05:31:38Z)

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