Prologとゲーム理論.pptVIP

Prologとゲーム理論;内容;お断り;研究のねらい;主な目的?動機;目的と動機（１）：意思決定者のモデリング．;目的と動機（2）：アルゴリズム理解．;目的と動機（3）：理論学習の支援;望ましいモデリング技術の条件;標準形ゲーム＊の例（同時手番）;ナッシュ均衡の論理構造を論理プログラミングで論理的に…;均衡アルゴリズムとProlog;簡単なPrologプログラムの線形計画問題への読み替え;シンプレックス法の掃出しの図解;シンプレックス法による導出の模擬;展開型ゲーム（完全情報と不完全情報）;いくつかの代表的なゲーム理論モデル;シグナリングゲーム;シグナリングゲームの例;シグナリングゲームのＤＳ均衡;メカニズムデザイン;セカンドプライスオークション;２つの古典的アルゴリズム;安定結婚問題;Gale-Shapleyアルゴリズム;Prologプログラムmarriage0.pl;安定結婚アルゴリズムの数理;安定結婚集合の変種とブロック関係、およびより発展した研究;相補掃出し法と線形相補性問題;相補掃出しの例;構造定理とホモトピー;ホモトピー法のきわめて直観的なイメージ;２ｘ２ゲームでのホモトピー法の適用例;均衡アルゴリズムはエージェントベースの推論モデル？;順序型;順序型の例に対する掃出しの実行;相補掃出しとPrologの関係についての観察;補遺：ゲームモデリングの認知科学的問題;ゲームと知性の共変化の解明に向けて;意志とアルゴリズムへの認知的侵入にかんする推測;まとめ;参考文献