論文の概要: An Abstract Worlds Semantic Framework for Belief Change Operators
- arxiv url: http://arxiv.org/abs/2606.02163v1
- Date: Mon, 01 Jun 2026 12:24:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-02 21:34:31.994363
- Title: An Abstract Worlds Semantic Framework for Belief Change Operators
- Title（参考訳）: 信念変化演算子のための抽象ワールドセマンティックフレームワーク
- Authors: Daniel Grimaldi, M. Vanina Martinez, Ricardo O. Rodriguez,
- Abstract要約: 本稿では、抽象世界意味論(Abstract Worlds Semantics)と呼ばれる、信念変化のための集合論的な枠組みを提案する。
グローヴ(1988)の結果にインスパイアされた我々の手法は、世界収縮と世界修正作用素が定義された原始的要素として世界を扱う。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed. Inspired by Grove's (1988) results, our approach treats worlds as primitive elements, over which world contraction and world revision operators are defined. This semantic framework enables a unified analysis of belief change models. Within this framework, we unify classical and non-prioritized belief change constructions by defining versatile operators. When classical propositional logic is considered, our framework provides a homogeneous account of AGM, KM, and Multiple Change models. In summary, AWS systematizes belief change frameworks and operators, simplifying and generalizing belief change theory over belief sets.
- Abstract（参考訳）: 本稿では,抽象世界意味論 (Abstract Worlds Semantics) と呼ばれる信念変化の集合論的な枠組みを提案する。
グローヴ(1988)の結果にインスパイアされた我々の手法は、世界収縮と世界修正作用素が定義された原始的要素として世界を扱う。
このセマンティックフレームワークは、信念の変化モデルの統一的な分析を可能にする。
この枠組みの中では、多元作用素を定義することによって古典的および非原始的信念変化構造を統一する。
古典命題論理を考えると、我々のフレームワークはAGM、KM、Multiple Changeモデルの均質な説明を提供する。
要約すると、AWSは信念変更フレームワークとオペレータを体系化し、信念セットよりも信念変更理論を簡素化し、一般化する。
関連論文リスト
- CHAL: Council of Hierarchical Agentic Language [0.5156484100374058]
我々は、議論の真の価値と弁証的システム全体が、実現不可能な領域にあると論じている。
提案する階層的エージェント言語協議会(CHAL, Council of Hiserarchical Agentic Language)は,デファシブルな議論を信念最適化のエンジンとして扱う多言語弁証法である。
論文 参考訳（メタデータ） (2026-05-12T20:26:41Z) - MidSteer: Optimal Affine Framework for Steering Generative Models [53.89402578892719]
MidSteerは概念操作のためのより一般的なアフィンフレームワークで、仮定を緩和し、指向性の最小分散変換を可能にする。
私たちは、様々なタスク、モダリティ、アーキテクチャにおいて、MidSteerが好適に機能することを示します。
論文 参考訳（メタデータ） (2026-04-17T19:23:33Z) - OMNIFLOW: A Physics-Grounded Multimodal Agent for Generalized Scientific Reasoning [51.33849811496781]
大規模言語モデル (LLM) は例外的な論理的推論能力を示しているが、部分微分方程式 (PDE) による連続力学としばしば競合する。
OMNIFLOWは, 領域固有のパラメータ更新を必要とせず, 基本物理法則で凍結LDMを基底として設計したマルチモーダルシンボリックアーキテクチャである。
我々は, 微視的乱流, 理論的ナビエ・ストークス, マクロ的世界天気予報のベンチマークでこれを評価した。
論文 参考訳（メタデータ） (2026-03-16T18:29:01Z) - Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。
伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。
本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
論文 参考訳（メタデータ） (2025-06-12T18:35:01Z) - 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) - AGM Belief Revision, Semantically [1.7403133838762446]
最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。
我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
論文 参考訳（メタデータ） (2021-12-27T07:53:21Z) - On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope [2.7071541526963805]
本稿では,制限された世界に対する全プレオーダーで表現可能なリビジョンである動的リビジョンの概念を紹介する。
信条変更作業者に対しては、改訂の成功をもたらす信条からなる範囲を考察する。
単文閉包と解離完全性を満たす各集合に対して、この集合がスコープとして設定された信念と合わさった動的制限付きリビジョンが存在することを示す。
論文 参考訳（メタデータ） (2021-08-17T17:22:29Z) - Dynamic Preference Logic meets Iterated Belief Change: Representation
Results and Postulates Characterization [6.329584233209157]
AGMの信念改訂は、信念変更操作の研究における主要なパラダイムの1つです。
信念と情報の変化に関するいくつかの論理が文献に提案されている。
本研究では,動的前提論理を用いて動的信念変化演算子の特性について検討する。
論文 参考訳（メタデータ） (2021-01-05T17:47:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。