論文の概要: A minimal coalition logic
- arxiv url: http://arxiv.org/abs/2403.14704v1
- Date: Sun, 17 Mar 2024 09:33:37 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-01 03:23:33.623238
- Title: A minimal coalition logic
- Title(参考訳): 最小の連立論理
- Authors: Yinfeng Li, Fengkui Ju,
- Abstract要約: 我々は、並列ゲームモデルであるCoalition Logicモデルには3つの強い仮定があると主張している。
本稿では,3つの仮定を持たない一般的な並列ゲームモデルに基づく連立論理を提案する。
- 参考スコア(独自算出の注目度): 2.380927607570675
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Coalition logic is a central logic in strategic reasoning studies. In this paper, we first argue that Coalition Logic models, concurrent game models, have three too-strong assumptions. The first one is the independence of agents; that is, the merge of two available joint actions of two disjoint coalitions is always available for the union of the two coalitions. The second one is seriality; that is, coalitions always have available joint actions. The third one is determinism, that is, the grand coalition's joint actions always have a unique outcome. Second, we present a coalition logic based on general concurrent game models, which do not have the three assumptions. We show the completeness of this logic and compare it with Coalition Logic in detail. This logic seems minimal in the context of strategic reasoning.
- Abstract(参考訳): 合理論理は戦略的推論研究の中心的な論理である。
本稿では,並列ゲームモデルであるCoalition Logicモデルが3つの強大な仮定を持つことを最初に論じる。
ひとつはエージェントの独立であり、2つの非加盟連合の2つの共同行動の合併は、常に2つの連立連合の連合のために利用可能である。
2つ目は連帯であり、連立は常に共同行動が可能である。
3つ目は決定論、すなわち大連立の合同行動は常に独特な結果をもたらす。
第2に,3つの仮定を持たない一般的な並列ゲームモデルに基づく連立論理を提案する。
この論理の完全性を示し、Coalition Logicと詳細に比較する。
この論理は、戦略的推論の文脈では最小限に思える。
関連論文リスト
- 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) - A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit [0.0]
論理的なウィグナーの友人シナリオはすべて、時間的に順序付けられた1つの量子回路にマッピング可能であることを示す。
我々の結果は、量子論の普遍的な適用性は、マルチエージェント論理的推論の脅威にはならないことを証明している。
論文 参考訳(メタデータ) (2022-09-19T18:13:42Z) - 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) - Optimal Correlated Equilibria in General-Sum Extensive-Form Games:
Fixed-Parameter Algorithms, Hardness, and Two-Sided Column-Generation [99.00383370823839]
様々な種類の最適相関平衡を求める問題について検討する。
本稿では,特定の解の概念に依存する相関戦略の空間の表現である相関DAGを紹介する。
また、カードゲームブリッジのエンドゲームフェーズをエミュレートするトリックテイクゲームと、ライドシェアリングゲームという2つの新しいベンチマークゲームも導入した。
論文 参考訳(メタデータ) (2022-03-14T15:21:18Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。