Fugu-MT 論文翻訳(概要): A modal logic translation of the AGM axioms for belief revision

論文の概要: A modal logic translation of the AGM axioms for belief revision

arxiv url: http://arxiv.org/abs/2502.14176v1
Date: Thu, 20 Feb 2025 01:07:01 GMT
ステータス: 翻訳完了
システム内更新日: 2025-02-21 17:44:03.358019
Title: A modal logic translation of the AGM axioms for belief revision
Title（参考訳）: 信念修正のためのAGM公理のモーダル論理変換
Authors: Giacomo Bonanno,
Abstract要約: ボナンノ(Artificial Intelligence, 2025)の分析に基づいて、3つのモーダル演算子を含む単純なモーダル論理を導入する。信念修正のための各 AGM 公理に対して、対応するモーダル公理を提供する。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.
Abstract（参考訳）: ボナンノ (Artificial Intelligence, 2025) の分析に基づいて, 3つのモーダル演算子を含む単純なモーダル論理を導入する。信念修正のための各 AGM 公理に対して、対応するモーダル公理を提供する。それぞれの AGM 公理はボナンノ (Artificial Intelligence, 2025) で考慮されたクリプケ・ルイスのフレームの性質によって特徴づけられ、その性質は提案されたモーダル公理を特徴づける。

関連論文リスト

Agency Is Frame-Dependent [94.91580596320331]
エージェンシーは、目標に向かって成果を操縦するシステムの能力である。私たちは、エージェンシーは基本的にフレーム依存であると主張している。我々はあらゆる基礎科学がフレーム依存を必要とすると結論付けている。
論文参考訳（メタデータ） (2025-02-06T08:34:57Z)
The Causal Axioms of Algebraic Quantum Field Theory: A Diagnostic [0.0]
代数的場の量子論は、相対論的因果関係を実装した理論を特徴づけることを目的とした3つの「因果公理」(causal axioms)を前進させる。本稿は,AQFTに適した因果関係の概念を完全に説明していないことを,最小限の技術的手法で示すことを目的としている。私は、AQFTの因果構造が、その中の公理と特権に対抗して、文学における戦略に対してどのように特徴付けられるかという全体論的な解釈を提唱する。
論文参考訳（メタデータ） (2024-01-12T11:00:28Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version) [13.249453757295083]
非決定論的AFTにはさらに3つの貢献をしている。非決定論的作用素の究極の近似を定義し,研究する。本稿では,解法論理プログラムの特性を集約した解法論理プログラムに一般化する。
論文参考訳（メタデータ） (2023-05-18T09:59:12Z)
Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文参考訳（メタデータ） (2022-11-16T21:33:31Z)
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
論文参考訳（メタデータ） (2022-04-02T17:58:14Z)
AGM Belief Revision, Semantically [1.7403133838762446]
最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
論文参考訳（メタデータ） (2021-12-27T07:53:21Z)
A Logic for Conditional Local Strategic Reasoning [0.0]
個人的および集団的目的の追求において行動し、相互作用する合理的エージェントのシステムを考える。我々は、条件付き戦略的推論の新しい3つのモーダル作用素でパウリの対合論理を拡張した。
論文参考訳（メタデータ） (2021-02-11T17:45:36Z)
Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文参考訳（メタデータ） (2021-01-21T16:06:25Z)
Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文参考訳（メタデータ） (2020-10-30T12:16:45Z)
Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文参考訳（メタデータ） (2020-08-06T02:13:11Z)

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