Fugu-MT 論文翻訳(概要): De Re Updates

論文の概要: De Re Updates

arxiv url: http://arxiv.org/abs/2106.11497v1
Date: Tue, 22 Jun 2021 02:45:25 GMT
ステータス: 処理完了
システム内更新日: 2021-06-24 03:46:01.909322
Title: De Re Updates
Title（参考訳）: De Re のアップデート
Authors: Michael Cohen (Stanford University), Wen Tang (Peking University), Yanjing Wang (Peking University)
Abstract要約: 本稿では,de dictoとde reの知識の区別を捉える軽量かつ強力な動的ロジックを提案する。我々は,動的と代入の相互作用を考慮に入れた新しい還元公理に基づいて,公告論理とイベントモデルに基づくDELの相似性の完全な公理化を得る。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.
Abstract（参考訳）: 本稿では,de dictoとde re knowledgeの区別だけでなく,de dictoとde re updatesの区別を捉えた,軽量かつ強力な動的認識論理を提案する。論理は、Wang と Seligman (Proc) の作業に続いて動的論理から借用された代入演算子によって拡張された認識言語のダイナマイズされたバージョンに基づいている。 2018年)。我々は,ダイナミックスと代入の相互作用を扱う新しい還元公理に基づいて,公開発表論理とイベントモデルに基づくdelの対応者に対する完全な公理化を求める。

関連論文リスト

Sequential Representation Learning via Static-Dynamic Conditional Disentanglement [58.19137637859017]
本稿では,ビデオ中の時間非依存要因と時間変化要因を分離することに着目し,逐次的データ内での自己教師付き不整合表現学習について検討する。本稿では,静的/動的変数間の因果関係を明示的に考慮し,それらの因子間の通常の独立性仮定を破る新しいモデルを提案する。実験により、提案手法は、シーンのダイナミックスが内容に影響されるシナリオにおいて、従来の複雑な最先端技術よりも優れていることが示された。
論文参考訳（メタデータ） (2024-08-10T17:04:39Z)
A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
本稿では,マルチエージェント,知識ベース,動的システムのモデリングと解析のための統合フレームワークを提案する。モデリング側では,このようなフレームワークを実用的な目的に使いやすくするプロセス代数的,エージェント指向の仕様言語を提案する。
論文参考訳（メタデータ） (2024-07-24T08:35:50Z)
Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
論文参考訳（メタデータ） (2024-04-28T10:02:28Z)
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)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker [3.5450828190071655]
本稿では、離散時間および状態空間におけるアクティブ推論フレームワークの完全な数学的処理について述べる。アクティブ推論と変動メッセージパッシングの理論的関係を活用します。完全因子化変分分布を用いることで, 期待自由エネルギーの簡易化が図れる。
論文参考訳（メタデータ） (2021-04-23T19:40:55Z)
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization [6.329584233209157]
AGMの信念改訂は、信念変更操作の研究における主要なパラダイムの1つです。信念と情報の変化に関するいくつかの論理が文献に提案されている。本研究では,動的前提論理を用いて動的信念変化演算子の特性について検討する。
論文参考訳（メタデータ） (2021-01-05T17:47:18Z)
Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文参考訳（メタデータ） (2020-10-30T12:16:45Z)

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