論文の概要: Forgetting Formulas and Signature Elements in Epistemic States
- arxiv url: http://arxiv.org/abs/2108.08603v1
- Date: Thu, 19 Aug 2021 10:21:52 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-20 23:42:13.797291
- Title: Forgetting Formulas and Signature Elements in Epistemic States
- Title（参考訳）: てんかん状態におけるフォーミュラと署名要素
- Authors: A. Becker, G. Kern-Isberner, K. Sauerwald, C. Beierle
- Abstract要約: デルグランデの知識レベルの説明は、式から構文要素を忘れるための一般的なアプローチを提供する。
限界化はDelgrandeによるてんかん状態のレベルへのアプローチの拡張と見なすことができる。
この発見は、構文要素を忘れることは信念の収縮とは本質的に異なるという主張を支持している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Delgrande's knowledge level account of forgetting provides a general approach
to forgetting syntax elements from sets of formulas with links to many other
forgetting operations, in particular, to Boole's variable elimination. On the
other hand, marginalisation of epistemic states is a specific approach to
actively reduce signatures in more complex semantic frameworks, also aiming at
forgetting atoms that is very well known from probability theory. In this
paper, we bring these two perspectives of forgetting together by showing that
marginalisation can be considered as an extension of Delgrande's approach to
the level of epistemic states. More precisely, we generalize Delgrande's axioms
of forgetting to forgetting in epistemic states, and show that marginalisation
is the most specific and informative forgetting operator that satisfies these
axioms. Moreover, we elaborate suitable phrasings of Delgrande's concept of
forgetting for formulas by transferring the basic ideas of the axioms to
forgetting formulas from epistemic states. However, here we show that this
results in trivial approaches to forgetting formulas. This finding supports the
claim that forgetting syntax elements is essentially different from belief
contraction, as e.g. axiomatized in the AGM belief change framework.
- Abstract（参考訳）: 忘れることに関するデルグランデの知識レベルの説明は、多くの他の忘れる操作、特にブールの変数除去にリンクした公式の集合から構文要素を忘れる一般的なアプローチを提供する。
一方、認識状態の限界化は、より複雑な意味論の枠組みで積極的にシグネチャを減らすための特別なアプローチであり、確率論でよく知られた原子を忘れることを目的としている。
本稿では,この2つの視点を,Delgrandeの疫学的状態へのアプローチの延長と見なすことができることを示すことによって,共に考えることができる。
より正確には、我々はデルグランデの公理を認識論的に忘れてしまうことを一般化し、辺縁化がこれらの公理を満たす最も具体的で有益な忘れる作用素であることを示す。
さらに, 公理の基本概念を認識状態から忘れることに移行させることにより, 公式を忘れるというデルグランデの考え方を適切に表現する。
しかし、ここでは、この結果が式を忘れる自明なアプローチをもたらすことを示す。
この発見は、例えば構文要素を忘れることが信念の収縮と本質的に異なるという主張を支持する。
axiomatized in the AGM belief change framework。
関連論文リスト
- A Unified View on Forgetting and Strong Equivalence Notions in Answer
Set Programming [14.342696862884704]
文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。
次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
論文 参考訳（メタデータ） (2023-12-13T09:05:48Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
モノイド圏における図式推論を代数演算や方程式で拡張する。
この構造が量子系におけるノイズの図解的推論にどのように利用できるかを示す。
論文 参考訳（メタデータ） (2023-10-17T14:12:39Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳（メタデータ） (2023-05-19T13:15:48Z) - Enriching Disentanglement: From Logical Definitions to Quantitative Metrics [59.12308034729482]
複雑なデータにおける説明的要素を遠ざけることは、データ効率の表現学習にとって有望なアプローチである。
論理的定義と量的指標の関連性を確立し, 理論的に根ざした絡み合いの指標を導出する。
本研究では,非交叉表現の異なる側面を分離することにより,提案手法の有効性を実証的に実証する。
論文 参考訳（メタデータ） (2023-05-19T08:22:23Z) - The tilted CHSH games: an operator algebraic classification [77.34726150561087]
本稿では,バイナリ・インプット・バイナリ・アウトプットゲームを解くための一般的な体系的手順を紹介する。
次に、傾いたCHSHゲームの顕著なクラスについて説明する。
我々はこれらを、量子的優位性を示す領域全体の特性化から導いた。
論文 参考訳（メタデータ） (2023-02-16T18:33:59Z) - Quantification and Aggregation over Concepts of the Ontology [0.0]
いくつかのKRアプリケーションでは、ボキャブラリのシンボルによって形式的に表される概念の集合を定量化したいと論じる。
本稿では,このような抽象化をサポートする一階述語論理の拡張について述べる。
論文 参考訳（メタデータ） (2022-02-02T07:49:23Z) - Revisiting Born's rule through Uhlhorn's and Gleason's theorems [0.0]
本稿では,「文脈,システム,モダリティ」という簡単な公理の集合に基づいて,ボルンの規則を得る(あるいは推論する)ための議論を示す。
ここでは、これらの仮説の中で不可欠なもの(異なる文脈を関連づけるユニタリ変換の必要性)が取り除かれることを示し、ウルホーンの定理の必然的な結果と見なされる。
論文 参考訳（メタデータ） (2021-11-21T07:54:45Z) - Universality of swap for qudits: a representation theory approach [0.0]
量子情報理論のオープンな問題は、$d>2$に対して$d$状態系に符号化された量子ビットに対して、普遍交換のみの計算がどのような条件で可能であるかを決定することである。
まず、キューディットの積上の特殊ユニタリ代数から転置によって生成されるリー代数の表現への写像という観点から、交換のみの普遍性の数学的定義を与える。
次に、交換のみの普遍性を認める符号化クイディットの族であるクイディットの普遍的な族を特徴づけるタスクを進める。
論文 参考訳（メタデータ） (2021-03-23T04:42:49Z) - Lexically-constrained Text Generation through Commonsense Knowledge
Extraction and Injection [62.071938098215085]
我々は、ある入力概念のセットに対して妥当な文を生成することを目的としているcommongenベンチマークに焦点を当てる。
生成したテキストの意味的正しさを高めるための戦略を提案する。
論文 参考訳（メタデータ） (2020-12-19T23:23:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。