| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-10-17 14:55 合理性に関する共有知識の下でのグラフゲームの検証 ○中西凜道（名大）・高田喜明（高知工科大）・関 浩之（名大）  SS2024-17 DC2024-45 |
|
| 抄録 | （和） | 与えられた仕様に対して，その仕様を満たすプログラムが存在するかどうかを判定する問題を，実現可能性問題という．実現可能性問題では，各エージェントがそれぞれ自分自身の目的を持ち，その目的を満たすように合理的に行動するという仮定を置く．伝統的に，実現可能性問題におけるエージェントの合理性は，ナッシュ均衡でモデル化されることが多い．ナッシュ均衡は，どのエージェントも自分一人の戦略を変更しただけでは自分の目的を満たすことができないため，戦略を変更する動機を持たない全エージェントの戦略の組である．しかし，ナッシュ均衡が成立するためには，どのプレイヤーも他の全てのプレイヤーの戦略を完全に知っている必要があるため，合理性のモデルとしては条件が強すぎる．本稿では，認識論モデルを用いて合理性に関する共有知識をモデル化する．そして，ナッシュ均衡の代わりに合理性に関する共有知識を用い，実現可能性問題の変種としての検証問題を定義する．さらに，戦略のクラスを無記憶戦略に限定した検証問題の計算量の解析を行う． |
| （英） | Realizability asks whether there exists a program satisfying its specification. In this problem, we assume that each agent has her own objective and behaves rationally to satisfy her objective. Traditionally, the rationality of agents is modeled by a Nash equilibrium (NE), where each agent has no incentive to change her strategy because she cannot satisfy her objective by changing her strategy alone. However, an NE is not always an appropriate notion for the rationality of agents because the condition of an NE is too strong; each agent is assumed to know strategies of the other agents completely. In this paper, we use an epistemic model to define common knowledge of rationality of all agents (CKR). We define the verification problem as a variant of the realizability problem, based on CKR, instead of NE. We then analyze the complexity of the verification problems for the class of positional strategies. | |
| キーワード | （和） | グラフゲーム / 認識論モデル / 合理性に関する共有知識 / / / / / |
| （英） | graph game / epistemic model / common knowledge of rationality / / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 217, SS2024-17, pp. 16-21, 2024年10月. | |
| 資料番号 | SS2024-17 | |
| 発行日 | 2024-10-10 (SS, DC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2024-17 DC2024-45 |
|
| 研究会情報 | |
| 研究会 | DC SS |
| 開催期間 | 2024-10-17 - 2024-10-17 |
| 開催地（和） | 浜松市福祉交流センター |
| 開催地（英） | |
| テーマ（和） | ディペンダブルコンピューティング，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2024-10-DC-SS |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | 合理性に関する共有知識の下でのグラフゲームの検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification with Common Knowledge of Rationality for Graph Games |
| サブタイトル（英） | |
| キーワード(1)（和/英） | グラフゲーム / graph game |
| キーワード(2)（和/英） | 認識論モデル / epistemic model |
| キーワード(3)（和/英） | 合理性に関する共有知識 / common knowledge of rationality |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 中西 凜道 / Rindo Nakanishi / ナカニシ リンドウ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 高田 喜明 / Yoshiaki Takata / タカタ ヨシアキ |
| 第2著者 所属（和/英） | 高知工科大学 (略称： 高知工科大) Kochi University of Technology (略称： KUT) |
| 第3著者 氏名（和/英/ヨミ） | 関 浩之 / Hiroyuki Seki / セキ ヒロユキ |
| 第3著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-10-17 14:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2024-17, DC2024-45 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.217(SS), no.218(DC) |
| ページ範囲 | pp.16-21 |
| ページ数 | 6 |
| 発行日 | 2024-10-10 (SS, DC) |
[研究会発表申込システムのトップページに戻る]