論文の概要: 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。
関連論文リスト
- Nonparametric Partial Disentanglement via Mechanism Sparsity: Sparse
Actions, Interventions and Sparse Temporal Dependencies [58.179981892921056]
この研究は、メカニズムのスパーシティ正則化(英語版)と呼ばれる、アンタングルメントの新たな原理を導入する。
本稿では,潜在要因を同時に学習することで,絡み合いを誘発する表現学習手法を提案する。
学習した因果グラフをスパースに規則化することにより、潜伏因子を復元できることを示す。
論文 参考訳(メタデータ) (2024-01-10T02:38:21Z) - 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) - 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) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。
対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。
我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文 参考訳(メタデータ) (2020-10-30T12:16:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。