論文の概要: Semantic Characterizations of General Belief Base Revision
- arxiv url: http://arxiv.org/abs/2112.13557v1
- Date: Mon, 27 Dec 2021 07:53:21 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-28 16:50:18.696957
- Title: Semantic Characterizations of General Belief Base Revision
- Title（参考訳）: 一般信念ベースリビジョンの意味的特徴
- Authors: Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
- Abstract要約: 我々は、任意のタルスキアン論理における(多重)基底修正の設定に対するK&Mのアプローチを一般化する。
我々の一般的な定式化は、「基礎」の様々な概念(信念集合、任意の文または有限文の集合、単一文など)に適用する。
- 参考スコア（独自算出の注目度）: 3.2872586139884623
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The AGM postulates by Alchourr\'on, G\"ardenfors, and Makinson continue to
represent a cornerstone in research related to belief change. Katsuno and
Mendelzon (K&M) adopted the AGM postulates for changing belief bases and
characterized AGM belief base revision in propositional logic over finite
signatures. We generalize K&M's approach to the setting of (multiple) base
revision in arbitrary Tarskian logics, covering all logics with a classical
model-theoretic semantics and hence a wide variety of logics used in knowledge
representation and beyond. Our generic formulation applies to various notions
of "base" (such as belief sets, arbitrary or finite sets of sentences, or
single sentences). The core result is a representation theorem showing a
two-way correspondence between AGM base revision operators and certain
"assignments": functions mapping belief bases to total - yet not transitive -
"preference" relations between interpretations. Alongside, we present a
companion result for the case when the AGM postulate of syntax-independence is
abandoned. We also provide a characterization of all logics for which our
result can be strengthened to assignments producing transitive preference
relations (as in K&M's original work), giving rise to two more representation
theorems for such logics, according to syntax dependence vs. independence.
- Abstract（参考訳）: The AGM postulates by Alchourr\'on, G\"ardenfors, and Makinson continue to represent a cornerstone in research related to belief change. Katsuno and Mendelzon (K&M) adopted the AGM postulates for changing belief bases and characterized AGM belief base revision in propositional logic over finite signatures. We generalize K&M's approach to the setting of (multiple) base revision in arbitrary Tarskian logics, covering all logics with a classical model-theoretic semantics and hence a wide variety of logics used in knowledge representation and beyond. Our generic formulation applies to various notions of "base" (such as belief sets, arbitrary or finite sets of sentences, or single sentences). The core result is a representation theorem showing a two-way correspondence between AGM base revision operators and certain "assignments": functions mapping belief bases to total - yet not transitive"preference" relations between interpretations.
同時に、AGMの構文独立性の仮定が放棄された場合の相補的な結果を示す。
我々はまた、この結果が(K&Mの原著のように)推移的選好関係を生み出す代入に強化され、構文依存と独立性に応じて、そのような論理に対する2つのさらなる表現定理がもたらされるような全ての論理の特徴づけも提供する。
関連論文リスト
- Nondeterministic Causal Models [7.550566004119157]
非巡回決定論的構造方程式モデルを非決定論的ケースに一般化する。
結果の論理の完全公理化を行う。
論文 参考訳（メタデータ） (2024-05-22T21:17:52Z) - A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。
チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文 参考訳（メタデータ） (2024-05-11T09:53:15Z) - Position Paper: Generalized grammar rules and structure-based
generalization beyond classical equivariance for lexical tasks and
transduction [7.523978255716284]
一般化文法規則(GGR)の概念を用いて構成的に一般化可能なモデル構築のための汎用フレームワークを提案する。
私たちのフレームワークは、多くの既存の作品を特別なケースとして含めるのに十分な一般性を持っています。
我々は、GGRの実装方法に関するアイデアを提示し、その過程で強化学習やその他の研究分野との関連性を引き出す。
論文 参考訳（メタデータ） (2024-02-02T18:44:37Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - 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) - Mix and Reason: Reasoning over Semantic Topology with Data Mixing for
Domain Generalization [48.90173060487124]
ドメイン一般化(DG)は、複数のソースドメインから見えないターゲットドメインへの学習マシンを可能にする。
mire は2つのキーコンポーネント、すなわち Category-Aware Data Mixing (CDM) と Adaptive Semantic Topology Refinement (ASTR) で構成されている。
複数のDGベンチマーク実験により,提案法の有効性とロバスト性を検証した。
論文 参考訳（メタデータ） (2022-10-14T06:52:34Z) - Compositional Generalization Requires Compositional Parsers [69.77216620997305]
直近のCOGSコーパスにおける構成原理によって導かれるシーケンス・ツー・シーケンスモデルとモデルを比較した。
構造一般化は構成一般化の重要な尺度であり、複雑な構造を認識するモデルを必要とする。
論文 参考訳（メタデータ） (2022-02-24T07:36:35Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
合成一般化のための代数的組換え学習のためのエンドツーエンドニューラルモデルLeARを提案する。
主要な洞察は、意味解析タスクを潜在構文代数学と意味代数学の間の準同型としてモデル化することである。
2つの現実的・包括的構成一般化の実験は、我々のモデルの有効性を実証している。
論文 参考訳（メタデータ） (2021-07-14T07:23:46Z) - A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base
Revision for Arbitrary Monotonic Logics [3.2872586139884623]
AGM ベースリビジョンを特徴付けるために,Kichino と Mendelzon のアプローチを一般化する。
我々の核となる結果は全数の割当を用いた表現定理である。
我々は,すべての論理のキャラクタリゼーションを提供し,その結果を前順序割当に補強する。
論文 参考訳（メタデータ） (2021-04-29T17:24:21Z) - On a plausible concept-wise multipreference semantics and its relations
with self-organising maps [0.0]
我々は,この提案がKLMなどの望ましい性質を満足し,溺れの問題を回避することを主張する。
我々は、自己組織化マップの論理的意味論を開発することにより、概念的多言語意味論の妥当性を動機づける。
論文 参考訳（メタデータ） (2020-08-30T21:06:06Z) - Invariant Rationalization [84.1861516092232]
典型的な合理化基準、すなわち最大相互情報(MMI)は、合理性のみに基づいて予測性能を最大化する合理性を見つける。
ゲーム理論の不変な有理化基準を導入し、各環境において同じ予測器を最適にするために、有理を制約する。
理論的にも実証的にも、提案された理性は、素早い相関を除外し、異なるテストシナリオをより一般化し、人間の判断とよく一致させることができることを示す。
論文 参考訳（メタデータ） (2020-03-22T00:50:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。