論文の概要: On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
- arxiv url: http://arxiv.org/abs/2108.07769v1
- Date: Tue, 17 Aug 2021 17:22:29 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-18 13:11:17.093481
- Title: On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
- Title（参考訳）: ダイナミックスコープを有する限定的非優先的信念修正演算子について
- Authors: Kai Sauerwald and Gabriele Kern-Isberner and Christoph Beierle
- Abstract要約: 本稿では,制限された世界に対する全プレオーダーで表現可能なリビジョンである動的リビジョンの概念を紹介する。
信条変更作業者に対しては、改訂の成功をもたらす信条からなる範囲を考察する。
単文閉包と解離完全性を満たす各集合に対して、この集合がスコープとして設定された信念と合わさった動的制限付きリビジョンが存在することを示す。
- 参考スコア（独自算出の注目度）: 2.7071541526963805
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The research on non-prioritized revision studies revision operators which do
not accept all new beliefs. In this paper, we contribute to this line of
research by introducing the concept of dynamic-limited revision, which are
revisions expressible by a total preorder over a limited set of worlds. For a
belief change operator, we consider the scope, which consists of those beliefs
which yield success of revision. We show that for each set satisfying single
sentence closure and disjunction completeness there exists a dynamic-limited
revision having the union of this set with the beliefs set as scope. We
investigate iteration postulates for belief and scope dynamics and characterise
them for dynamic-limited revision. As an application, we employ dynamic-limited
revision to studying belief revision in the context of so-called inherent
beliefs, which are beliefs globally accepted by the agent. This leads to
revision operators which we call inherence-limited. We present a representation
theorem for inherence-limited revision, and we compare these operators and
dynamic-limited revision with the closely related credible-limited revision
operators.
- Abstract（参考訳）: すべての新しい信念を受け入れない非優先リビジョン研究リビジョン演算子に関する研究。
本稿では,限定された世界に対する全事前注文で表現可能なリビジョンである動的リビジョンの概念を導入することで,この研究行に貢献する。
信念変化演算子については、修正の成功をもたらす信念からなるスコープを考察する。
単文閉包と解離完全性を満たす各集合に対して、この集合がスコープとして設定された信念と合わさったダイナミックリビジョンが存在することを示す。
信念とスコープダイナミクスのためのイテレーション仮定を調査し,動的に限定されたリビジョンを特徴付ける。
一例として, エージェントがグローバルに受け入れる信念であるいわゆる本質的信念の文脈において, 信念の修正を研究するために, 動的に限定された修正を適用する。
これは、継承制限と呼ばれるリビジョン演算子につながります。
そこで本論文では,inherence-limited revisionの表現定理を述べるとともに,これらの演算子と動的限定リビジョンを,近縁のcredible-limited revision operatorと比較する。
関連論文リスト
- Credibility-Limited Revision for Epistemic Spaces [0.0]
信頼性に制限のあるリビジョン演算子のクラスを、すべてのAGMリビジョン演算子を含めるように拡張する。
可能世界に対する全事前注文を利用する拡張信頼度制限リビジョン演算子のセマンティックキャラクタリゼーションについて述べる。
論文 参考訳（メタデータ） (2024-09-11T09:15:43Z) - Deep Backtracking Counterfactuals for Causally Compliant Explanations [57.94160431716524]
本稿では,DeepBC(Deep Backtracking counterfactuals)と呼ばれる手法を導入する。
特別な場合として、我々の定式化は、対実的説明の分野における手法に還元される。
論文 参考訳（メタデータ） (2023-10-11T17:11:10Z) - SCREWS: A Modular Framework for Reasoning with Revisions [58.698199183147935]
我々は、リビジョンを伴う推論のためのモジュラーフレームワークであるSCREWSを紹介する。
我々は、SCREWSが、共通のフレームワークの下で、いくつかの以前のアプローチを統合することを示す。
我々は,多種多様な推論タスクに基づいて,最先端のLCMを用いてフレームワークの評価を行った。
論文 参考訳（メタデータ） (2023-09-20T15:59:54Z) - System of Spheres-based Two Level Credibility-limited Revisions [0.0]
2段階の信頼性制限による改訂では、2段階の信頼性と1段階の信頼性が考慮される。
本稿では,Groveの球面系に基づく2レベル信頼度制限付きリビジョン演算子の構成を提案する。
論文 参考訳（メタデータ） (2023-07-11T07:10:39Z) - Hallucinated Adversarial Control for Conservative Offline Policy
Evaluation [64.94009515033984]
本研究では,環境相互作用のオフラインデータセットが与えられた場合,政策のパフォーマンスを低く抑えることを目的とした,保守的非政治評価(COPE)の課題について検討する。
本稿では,遷移力学の不確実性を考慮した学習モデルに基づくHAMBOを紹介する。
結果のCOPE推定値が妥当な下界であることを証明し、正則性条件下では、真に期待された戻り値への収束を示す。
論文 参考訳（メタデータ） (2023-03-02T08:57:35Z) - Conservative-Progressive Collaborative Learning for Semi-supervised
Semantic Segmentation [50.51992191965432]
本稿では,2つの予測ネットワークを並列に学習するCPCL(Reserve-Progressive Collaborative Learning)という新しい学習手法を提案する。
あるネットワークは、交差点の監督を通じて共通の基盤を求め、より信頼性の高い監督を保証するために、高品質なラベルによって監督されている。
他のネットワークは組合の監督を通じて違いを保ち、すべての擬似ラベルによって監督され、好奇心を追求し続ける。
論文 参考訳（メタデータ） (2022-11-30T02:47:25Z) - GroupifyVAE: from Group-based Definition to VAE-based Unsupervised
Representation Disentanglement [91.9003001845855]
他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。
グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。
提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
論文 参考訳（メタデータ） (2021-02-20T09:49:51Z) - On the use of evidence theory in belief base revision [0.0]
本稿では,2つの新しい公式ベースのリビジョン演算子を定義するために,信頼できる信念ベースリビジョンのアイデアを提案する。
これらの作用素は、集合包含と基数ではなく、信頼性に関して、一貫した部分基底が極大であることに由来する。
論文 参考訳（メタデータ） (2020-09-24T12:45:32Z) - Mitigating Manipulation in Peer Review via Randomized Reviewer
Assignments [96.114824979298]
コンファレンスピアレビューにおける3つの重要な課題は、特定の論文に割り当てられる悪意のある試みであり、"Torpedo reviewing"である。
我々は、これらの課題を共通の傘の下にまとめ、レビュアーの割り当てのための(ランダム化された)アルゴリズムを示すフレームワークを提案する。
我々のアルゴリズムは、悪意のあるレビュアーが希望する論文に割り当てられる確率を50%に抑えつつ、完全な最適類似性の90%以上を割り当てることができます。
論文 参考訳（メタデータ） (2020-06-29T23:55:53Z) - Revision by Conditionals: From Hook to Arrow [2.9005223064604078]
本稿では,任意の反復的信念修正演算子を条件付きケースに拡張する「プラグアンドプレイ」手法を提案する。
本手法の柔軟性は, 条件付きリビジョンの結果を, 対応する材料条件付きリビジョンによって決定することによって達成される。
論文 参考訳（メタデータ） (2020-06-29T05:12:30Z) - Belief Base Revision for Further Improvement of Unified Answer Set
Programming [0.0]
ベースリビジョンオペレータは、Removed Set Revision戦略を用いて開発されている。
演算子は、ベースリビジョン演算子の満足度に対する仮定によって特徴づけられる。
論文 参考訳（メタデータ） (2020-02-27T08:31:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。