論文の概要: A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions

• arxiv url: http://arxiv.org/abs/2508.21441v1
• Date: Fri, 29 Aug 2025 09:08:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-01 19:45:10.98436
• Title: A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
• Title（参考訳）: てんかん予防の一般的な枠組みとランキング機能による検証
• Authors: Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald,
• Abstract要約: 知識管理業務としての蓄積は、エージェントの知識や信念の一部を意図的に無視する。 忘れることに適した2つの主要な演算子を提案し, 深く検討した。
• 参考スコア（独自算出の注目度）: 44.81343216787352
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Forgetting as a knowledge management operation deliberately ignores parts of the knowledge and beliefs of an agent, for various reasons. Forgetting has many facets, one may want to forget parts of the syntax, a proposition, or a conditional. In the literature, two main operators suitable for performing forgetting have been proposed and investigated in depth: First, variable elimination is a syntactical method that blends out certain atomic variables to focus on the rest of the language. It has been mainly used in the area of logic programming and answer set programming. Second, contraction in AGM belief revision theory effectively removes propositions from belief sets under logical deduction. Both operations rely mainly on classical logics. In this article, we take an epistemic perspective and study forgetting operations in epistemic states with richer semantic structures, but with clear links to propositional logic. This allows us to investigate what forgetting in the epistemic background means, thereby lifting well-known and novel forgetting operations to the epistemic level. We present five general types of epistemic forgetting and instantiate them with seven concrete forgetting operations for Spohn's ranking functions. We take inspiration from postulates of forgetting both from logic programming and AGM theory to propose a rich landscape of axioms for evaluating forgetting operations. Finally, we evaluate all concrete forgetting operations according to all postulates, leading to a novel comprehensive overview highlighting differences and commonalities among the forgetting operators.
• Abstract（参考訳）: 知識管理業務としての蓄積は、エージェントの知識や信念の一部を、様々な理由で意図的に無視する。 forttingには多くのファセットがあり、構文や命題、条件の一部を忘れたい場合もあります。 第一に、変数の除去は、ある原子変数をブレンドして言語の他の部分に集中する構文的手法である。 主に論理プログラミングと解集合プログラミングの分野で使われている。 第2に、AGMの信念修正理論の収縮は、論理的推論の下での信念集合からの命題を効果的に除去する。 どちらの操作も、主に古典論理に依存している。 本稿では,より豊かな意味構造を持つてんかん状態の操作を忘れることについて考察する。 これにより、先天的な背景にある忘れ物が何を意味するかを調べることができ、よく知られた新しい忘れ物操作を先天的なレベルまで持ち上げることができる。 本研究では,スポンのランク関数を7つの具体的忘れる操作で,5種類の認識的忘れとインスタンス化を行う。 我々は、論理プログラミングとAGM理論の両方から忘れることの仮定から着想を得て、忘れる操作を評価するためのリッチな公理の風景を提案する。 最後に,すべての仮定に従って,すべての具体的忘れ操作を評価した結果,忘れ演算子間の相違点と共通点を明らかにする新しい包括的概要が得られた。

関連論文リスト

• DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy [76.58614128865652]
  非決定性から決定性への進化として推論過程を再考する新しい視点であるDetermLRを提案する。 まず、既知の条件を次の2つのタイプに分類する: 決定的および不決定的前提 これは、推論プロセスのオール方向を提供し、不決定的データを段階的決定的洞察に変換する際のLCMを導く。 我々は、利用可能な施設の保存と抽出、推論メモリによる推論パスの自動化、そしてその後の推論ステップに関する歴史的推論の詳細を保存する。
  論文  参考訳（メタデータ） (2023-10-28T10:05:51Z)
• Epistemic Logic Programs: a study of some properties [4.459996749171579]
  Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。 最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。 ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
  論文  参考訳（メタデータ） (2023-09-28T11:08:37Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• DiPlomat: A Dialogue Dataset for Situated Pragmatic Reasoning [89.92601337474954]
  プラグマティック推論は、実生活における会話でしばしば起こる暗黙の意味を解読する上で重要な役割を担っている。 そこで我々は,現実的な推論と会話理解の場所に関するマシンの能力のベンチマークを目的とした,新しい挑戦であるDiPlomatを紹介した。
  論文  参考訳（メタデータ） (2023-06-15T10:41:23Z)
• OPERA:Operation-Pivoted Discrete Reasoning over Text [33.36388276371693]
  OPERA(オペラ)は、機械読解のための操作駆動型離散推論フレームワークである。 推論能力と解釈可能性を促進するために、軽量なシンボル操作をニューラルモジュールとして使用する。 DROPとRACENumのデータセットの実験は、OPERAの推論能力を示している。
  論文  参考訳（メタデータ） (2022-04-29T15:41:47Z)
• AGM Belief Revision, Semantically [1.7403133838762446]
  最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。 我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
  論文  参考訳（メタデータ） (2021-12-27T07:53:21Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• Generalized Inverse Planning: Learning Lifted non-Markovian Utility for Generalizable Task Representation [83.55414555337154]
  本研究では,人間の実演からこのような有用性を学ぶことを研究する。 本稿では,本領域におけるユーティリティ学習のための新しい探索手法である一般化逆計画を提案する。 計算フレームワークである最大エントロピー逆計画(MEIP)について概説し、非マルコフ的効用と関連する概念を生成的に学習する。
  論文  参考訳（メタデータ） (2020-11-12T21:06:26Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。