論文の概要: Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization

• arxiv url: http://arxiv.org/abs/2101.01676v1
• Date: Tue, 5 Jan 2021 17:47:18 GMT
• ステータス: 処理完了
• システム内更新日: 2021-04-11 11:31:42.427619
• Title: Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
• Title（参考訳）: 反復的信念変化に対応する動的選好論理:表現結果と特徴付け
• Authors: Marlo Souza, \'Alvaro Moreira, Renata Vieira
• Abstract要約: AGMの信念改訂は、信念変更操作の研究における主要なパラダイムの1つです。 信念と情報の変化に関するいくつかの論理が文献に提案されている。 本研究では,動的前提論理を用いて動的信念変化演算子の特性について検討する。
• 参考スコア（独自算出の注目度）: 6.329584233209157
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks. While the connections of AGM-like operations and their encoding in dynamic doxastic logics have been studied before by the work of Segerberg, most works on the area of Dynamic Epistemic Logics (DEL) have not, to our knowledge, attempted to use those logics as tools to investigate mathematical properties of belief change operators. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to study properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.
• Abstract（参考訳）: agmの信条改正は信条変更操作の研究における主要なパラダイムの1つである。 近年,信念と情報変化の論理が文献で提案され,豊かで表現力豊かなセマンティック・フレームワークにおける信念変化操作の符号化に利用されている。 セガーバーグの研究により、AGMのような操作と動的ドキサスティック論理のエンコーディングの関連性は以前にも研究されてきたが、DEL(Dynamic Epistemic Logics)の領域に関するほとんどの研究は、我々の知る限り、これらの論理を信念変化演算子の数学的性質を研究するためのツールとして利用しようとはしなかった。 本研究では,delファミリーの論理である動的選好論理を,反復的信念変化の有名な仮定に注目して,動的信念変化演算子の特性について研究する。

関連論文リスト

• MARS: Benchmarking the Metaphysical Reasoning Abilities of Language Models with a Multi-task Evaluation Dataset [50.36095192314595]
  大きな言語モデル(LLM)は、一般化可能な推論能力を持つ意識的なエージェントとして機能する。 この能力は、イベントにおける無限の可能な変更をモデル化する複雑さのために、まだ探索されていない。 我々は,各ステップに対応する3つのタスクからなる最初のベンチマークMARSを紹介する。
  論文  参考訳（メタデータ） (2024-06-04T08:35:04Z)
• Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
  Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。 本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
  論文  参考訳（メタデータ） (2024-04-28T10:02:28Z)
• Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators [6.646627444027416]
  我々は、量子力学に基づくリビジョン理論(自然リビジョン理論)の探求に焦点をあてる。 D"oringとCoeckeによって提案された2つの直観主義量子論理フレームワークの利点を組み合わせる。 量子システムにおける2つの推論モードに対応する2種類のリビジョン演算子(静的および動的リビジョン)を導入する。
  論文  参考訳（メタデータ） (2024-04-21T10:35:06Z)
• From Heuristic to Analytic: Cognitively Motivated Strategies for Coherent Physical Commonsense Reasoning [66.98861219674039]
  ヒューリスティック分析推論(HAR)戦略は、モデル決定のための合理化のコヒーレンスを大幅に改善する。 以上の結果から, PLM推論の一貫性と信頼性を効果的に向上できる可能性が示唆された。
  論文  参考訳（メタデータ） (2023-10-24T19:46:04Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• The Transformation Logics [58.35574640378678]
  表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。 重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。 表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
  論文  参考訳（メタデータ） (2023-04-19T13:24:04Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• LogiGAN: Learning Logical Reasoning via Adversarial Pre-training [58.11043285534766]
  本稿では,言語モデルの論理的推論能力を向上させるために,教師なしの対人事前学習フレームワークLogiGANを提案する。 人間の学習におけるリフレクティブ思考の促進効果に着想を得て,逆生成検証アーキテクチャを用いて学習思考過程をシミュレートする。 LogiGANで事前トレーニングされたベースモデルと大規模言語モデルの両方で、12のデータセットで明らかなパフォーマンス改善が示されている。
  論文  参考訳（メタデータ） (2022-05-18T08:46:49Z)
• AGM Belief Revision, Semantically [1.7403133838762446]
  最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。 我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
  論文  参考訳（メタデータ） (2021-12-27T07:53:21Z)
• De Re Updates [0.0]
  本稿では,de dictoとde reの知識の区別を捉える軽量かつ強力な動的ロジックを提案する。 我々は,動的と代入の相互作用を考慮に入れた新しい還元公理に基づいて,公告論理とイベントモデルに基づくDELの相似性の完全な公理化を得る。
  論文  参考訳（メタデータ） (2021-06-22T02:45:25Z)
• A Qualitative Theory of Cognitive Attitudes and their Change [8.417971913040066]
  定性的決定理論の様々な関連概念を表現できることを示した。 また、選択の概念による論理の拡張と、信念変化と欲望変化のための動的作用素による拡張の2つを提示する。
  論文  参考訳（メタデータ） (2021-02-16T10:28:49Z)

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

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