Fugu-MT 論文翻訳(概要): A minimal coalition logic

論文の概要: A minimal coalition logic

arxiv url: http://arxiv.org/abs/2403.14704v2
Date: Mon, 13 Jan 2025 04:47:41 GMT
ステータス: 翻訳完了
システム内更新日: 2025-01-14 14:22:56.600280
Title: A minimal coalition logic
Title（参考訳）: 最小の連立論理
Authors: Yinfeng Li, Fengkui Ju,
Abstract要約: 並列ゲームモデルの3つの仮定は強すぎると論じる。本稿では,3つの仮定を持たない一般的な並列ゲームモデルに基づく連立論理を提案し,その完全性を示す。
参考スコア（独自算出の注目度）: 2.380927607570675
License:
Abstract: Coalition Logic is a central logic in logical studies of strategic reasoning, whose models are concurrent game models. In this paper, first, we systematically discuss three assumptions of concurrent game models and argue that they are too strong. The first is seriality; that is, every coalition always has an available joint action. The second is the independence of agents; that is, the merge of two available joint actions of two disjoint coalitions is always an available joint action of the union of the two coalitions. The third is determinism; that is, all available joint actions of the grand coalition always have a unique outcome. Second, we present a coalition logic based on general concurrent game models which do not have the three assumptions and show its completeness. This logic seems minimal for reasoning about coalitional powers.
Abstract（参考訳）: 合理論理は、戦略推論の論理学における中心的な論理であり、そのモデルは同時ゲームモデルである。本稿では,まず,並列ゲームモデルの3つの仮定を体系的に議論し,それらが強すぎることを論じる。ひとつは連帯であり、すべての連立政権は常に利用可能な共同行動を持っている。 2つ目はエージェントの独立であり、2つの非加盟連合の2つの合同行動の合併は、常に2つの連合の連合の合同行動である。 3つ目は決定論であり、大連立の全ての共同行動は、常に独特な結果をもたらす。第2に,3つの仮定を持たない汎用並列ゲームモデルに基づく連立論理を提案し,その完全性を示す。この論理は連立力についての推論において最小限に思える。

関連論文リスト

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024) [0.0]
本稿では,不整合知識を用いた推論の論理について述べる。信頼関係は、相容れない仮定を選択するために用いられる。矛盾が導出されない限り、その知識は一貫していると仮定される。
論文参考訳（メタデータ） (2024-11-15T13:53:05Z)
Imperfect-Recall Games: Equilibrium Concepts and Their Complexity [74.01381499760288]
エージェントが以前保持していた情報を忘れたとき、不完全なリコールの下で最適な意思決定を行う。不完全なリコールを伴う広範囲形式のゲームフレームワークにおいて、マルチプレイヤー設定における平衡を求める際の計算複雑性を解析する。
論文参考訳（メタデータ） (2024-06-23T00:27:28Z)
Reducing Optimism Bias in Incomplete Cooperative Games [0.0]
協調ゲームにおける連立価値を明らかにするためのシーケンスの最適化を目的としたフレームワークを提案する。筆者らのコントリビューションは3つある: (i) 個々のプレイヤーの楽観的な連立価値の達成と、より効率的な最適化を促進するための分析的特性について検討し、 (ii) オフライン・オンライン両方の方法で追加連立価値を開示し、このギャップを最小限に抑える方法、 (iii) 実践シナリオにおけるアルゴリズムの性能を実証的に示す。
論文参考訳（メタデータ） (2024-02-02T21:58:26Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Reasoning about Causality in Games [63.930126666879396]
因果推論とゲーム理論推論は人工知能の基本的なトピックである。本稿では,エージェントの意思決定ルールとゲームを管理する分布の依存関係をエンコードするメカニケードゲームを紹介する。因果ゲームと他の形式主義の対応を記述し、他の因果ゲームやゲーム理論モデルがサポートしていない問合せにどのように因果ゲームが使えるかを説明する。
論文参考訳（メタデータ） (2023-01-05T22:47:28Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
Abstract argumentation and answer set programming: two faces of Nelson's logic [7.513733974830771]
論理プログラミングと抽象論証フレームワークの両方がネルソンの構成論理N4で解釈可能であることを示す。我々は、この論理において、非矛盾推論(non-contradictory inference)と呼ばれる2つの原則を定式化し、閉世界仮定を強化する。
論文参考訳（メタデータ） (2022-03-27T22:18:44Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
A Logic for Conditional Local Strategic Reasoning [0.0]
個人的および集団的目的の追求において行動し、相互作用する合理的エージェントのシステムを考える。我々は、条件付き戦略的推論の新しい3つのモーダル作用素でパウリの対合論理を拡張した。
論文参考訳（メタデータ） (2021-02-11T17:45:36Z)
Finding Core Members of Cooperative Games using Agent-Based Modeling [0.0]
エージェント・ベース・モデリング(ABM)は、社会現象の洞察を得るための強力なパラダイムである。本稿では,エージェントが連立関係を見つけられるように,AIMに組み込むアルゴリズムを開発した。
論文参考訳（メタデータ） (2020-08-30T17:38:43Z)

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