論文の概要: 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ファミリーの論理である動的選好論理を,反復的信念変化の有名な仮定に注目して,動的信念変化演算子の特性について研究する。
関連論文リスト
- A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step
Reasoning Task [16.008782165723094]
合成推論タスクで訓練された変圧器の包括的力学解析について述べる。
モデルがタスクの解決に使用する解釈可能なメカニズムのセットを特定し,相関的および因果的証拠を用いた結果の検証を行った。
論文 参考訳(メタデータ) (2024-02-19T08:04:25Z) - CLOMO: Counterfactual Logical Modification with Large Language Models [113.72984199026094]
本稿では,新しいタスク,CLOMO(Counterfactual Logical Modification)と高品質な人間アノテーションベンチマークを紹介する。
生成モデルのカウンターファクトの能力を効果的に評価するために,革新的な評価指標であるLogicAware Counterfactual Scoreを提案する。
分析の結果,提案手法は人間の好みとよく一致していることがわかった。
論文 参考訳(メタデータ) (2023-11-29T08:29:54Z) - 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) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - 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) - Modeling and Automating Public Announcement Logic with Relativized
Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。
これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文 参考訳(メタデータ) (2021-11-02T15:14:52Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。