Fugu-MT 論文翻訳(概要): A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

論文の概要: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

arxiv url: http://arxiv.org/abs/2108.10293v1
Date: Mon, 23 Aug 2021 17:10:13 GMT
ステータス: 処理完了
システム内更新日: 2021-08-24 17:20:40.140483
Title: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Title（参考訳）: a simpleicial model for $kb4_n$: epistemic logic with agents that may die
Authors: Eric Goubault and J\'er\'emy Ledent and Sergio Rajsbaum
Abstract要約: この1次元構造は、対の相互作用を超えた暗黙の高次元情報を含む。我々はこの理論を、純粋でないものを含む全ての単体モデルを含むように拡張する。
参考スコア（独自算出の注目度）: 2.2946354246664558
License: http://creativecommons.org/licenses/by/4.0/
Abstract: The standard semantics of multi-agent epistemic logic $S5$ is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond pairwise interactions, that has been formalized as pure simplicial models in previous work from the authors. Here we extend the theory to encompass all simplicial models - including the ones that are not pure. The corresponding Kripke models are those where the accessibility relation is symmetric and transitive, but might not be reflexive. This yields the epistemic logic $KB4$ which can reason about situations where some of the agents may die.
Abstract（参考訳）: multi-agent epistemic logic $s5$の標準的な意味論は、アクセシビリティの関係が反射的、対称的、推移的であるkripkeモデルに基づいている。この1次元構造は、前者の著作で純粋に単純化されたモデルとして定式化されたペアワイズ相互作用を超えた暗黙の高次元情報を含んでいる。ここでは、この理論をすべての単体モデル(純粋でないものを含む)に拡張する。対応するクリプキモデルは、アクセシビリティ関係が対称で推移的であるが、反射的でないモデルである。これは、一部のエージェントが死ぬ可能性がある状況について推論できる、疫学的な論理を$KB4$にします。

関連論文リスト

Interaction Asymmetry: A General Principle for Learning Composable Abstractions [27.749478197803256]
相互作用非対称性は、アンタングル化と合成一般化の両方を可能にすることを示す。本稿では, フレキシブルトランスフォーマーをベースとしたVAEを用いて, デコーダの注意重みに対する新しい正規化器を提案する。
論文参考訳（メタデータ） (2024-11-12T13:33:26Z)
Simplicial Models for the Epistemic Logic of Faulty Agents [1.474723404975345]
我々は、不純な単体モデルの定義における微妙な設計選択が、結果の論理の異なる公理をもたらすことを示した。プロセスがクラッシュする可能性のある同期システムの分散コンピューティングの例を例に説明する。
論文参考訳（メタデータ） (2023-11-02T16:00:28Z)
Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
論文参考訳（メタデータ） (2023-10-23T04:35:58Z)
Evaluating the Robustness of Interpretability Methods through Explanation Invariance and Equivariance [72.50214227616728]
解釈可能性法は、それらの説明が説明されたモデルを忠実に記述した場合にのみ有用である。特定の対称性群の下で予測が不変であるニューラルネットワークを考える。
論文参考訳（メタデータ） (2023-04-13T17:59:03Z)
Misspecification in Inverse Reinforcement Learning [80.91536434292328]
逆強化学習(IRL)の目的は、ポリシー$pi$から報酬関数$R$を推論することである。 IRLの背後にある主要な動機の1つは、人間の行動から人間の嗜好を推測することである。これは、それらが誤って特定され、現実世界のデータに適用された場合、不適切な推測につながる恐れが生じることを意味する。
論文参考訳（メタデータ） (2022-12-06T18:21:47Z)
KL-Entropy-Regularized RL with a Generative Model is Minimax Optimal [70.15267479220691]
モデル強化学習のサンプル複雑性を,生成的分散自由モデルを用いて検討・解析する。我々の分析は、$varepsilon$が十分小さい場合、$varepsilon$-optimal Policyを見つけるのが、ほぼ最小の最適化であることを示している。
論文参考訳（メタデータ） (2022-05-27T19:39:24Z)
On the Equivalence of Causal Models: A Category-Theoretic Approach [0.0]
離散変数上の異なるが同型な有向非巡回グラフを持つ因果モデルの同値性を決定するための基準を開発する。因果モデルの同値性は、2つのそのような関手の間の自然な変換や同型によって定義される。あるモデルが別のモデルの$Phi$-abstractionである場合、前者の介入は一貫して後者のモデルに変換される。
論文参考訳（メタデータ） (2022-01-18T13:43:06Z)
Validation and Inference of Agent Based Models [0.0]
Agent Based Modelling (ABM) は自律エージェントの動作と相互作用をシミュレーションするための計算フレームワークである。 ABCの最近の研究は、近似確率を計算するためのアルゴリズムをますます効率的にしている。これらをハミルトンCBDの歩行者モデルを用いて検討・比較した。
論文参考訳（メタデータ） (2021-07-08T05:53:37Z)
On the Generative Utility of Cyclic Conditionals [103.1624347008042]
2つの条件付きモデル$p(x|z)$を用いて、共同分布$p(x,z)$をモデル化できるかどうか、また、どのようにしてサイクルを形成するかを検討する。本稿では,周期条件生成モデリングのためのCyGenフレームワークを提案する。
論文参考訳（メタデータ） (2021-06-30T10:23:45Z)
On Exploiting Hitting Sets for Model Reconciliation [53.81101846598925]
ヒューマン・アウェア・プランニングにおいて、プランニング・エージェントは、その計画がなぜ最適なのかを人間に説明する必要があるかもしれない。この手法はモデル和解と呼ばれ、エージェントはモデルと人間のモデルの違いを調和させようとする。我々は,計画の領域を超えて拡張されたモデル和解のための論理ベースのフレームワークを提案する。
論文参考訳（メタデータ） (2020-12-16T21:25:53Z)
Model Interpretability through the Lens of Computational Complexity [1.6631602844999724]
民間の解釈可能性主張が計算複雑性理論に相関しているかどうかを考察する。線形モデルとツリーモデルの両方がニューラルネットワークよりも厳密に解釈可能であることを示す。
論文参考訳（メタデータ） (2020-10-23T09:50:40Z)

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