Prologと表計算による意思決定モデリング＆シミュレーション

updated: 17 Feb 2010

English

補遺

OR／経営科学

• 日程計画(PERT)● （Prolog）
• 人員配置●（Prolog）
• 決定木による意思決定分析●。 （Prolog）ロールバック分析で後方帰納解を求める。
• 行列計算と線形代数● （Prolog）ガウスの消去法で逆行列を求める。
• ブロッキングシステム● （Prolog, Aug 2007）EdomondsとFulkerson(1970)．ガロア結合の一例．
• シンプレックス法● (Prolog, 19 Aug 2003)
  
• 相補ピボッティング●。 （Prolog, Jun 2004）Lemke-Howsonの方法．Shapleyとvon Stengelの例題.
• 一般均衡●。（Prolog, 7 Jan 2004） ShavenとWhalleyのテキスト中の2企業2消費者の例題。ナイーブな探索による． Scarfの不動点アルゴリズムの三角形分割のピボッティング。 ●(slide)。
• ナッシュ均衡と連続写像 ２人標準形ゲームの連続写像●（Prolog）。 N人の場合の純粋戦略および反復支配戦略●（Prolog） ２ｘ２ゲーム向きワークシート，csv形式データ出力用マクロ●(Worksheet)
• 協力ゲーム●（Prolog） 提携形ゲーム（特徴関数）、配分、コア、仁、シャープレー値。
  
• 巡回行商人問題(TSP) プログラム●(Prolog,　21 Aug 2003)。 実験結果●。
• 分枝限定法(BAB) 0-1ナップザック問題●。 (Prolog,　1 Sep 2003)
• 生産スケジューリング ●。 (Prolog,　17 Sep 2003)

メカニズムデザイン

• 増沢方式による投票 ●。 (Prolog,　25 Jan 2004)。佐伯胖著「決め方の論理」で紹介されている 一風変わった投票方式。
• 逐次投票における信じられる脅し ●。 (Prolog,　9 Jan 2006)。 DixitとNalebuffの「戦略的思考とは何か」で紹介されている戦略的操作の例題。
• ピボタルメカニズム ●（Prolog, Jul 2004）
• セカンドプライスオークション プログラム１●（Prolog, Jul 2004） Vickreyのオークション。組合せオークションの勝者の計算例。 プログラム2●（Prolog, 11 Sep 2004） 遂行可能性を場合わけにより証明。
• ネットワークメカニズムデザイン ● (Prolog, 2003/7/7)。Marschak& Reichelsteinの調整者付価格メカニズム（部分的）。
• 経営階層のDPモデル● (Prolog, 2003/3/25)。 Prat(1997)の論文に触発されて作成した費用つき木生成。

サーチモデル

• 相対ランクに基づく最適停止ルール(Prolog)● 訂正しました(Jul 2004)（表計算版）●
• 最適停止ルール2 (Prolog)● Weitzman(1979)の２つの逐次サーチ例題（R&Dプロジェクト問題とパンドラ問題。 前者は教材用プログラムとして掲載した決定木分析roll_backの応用で解く。 後者にはシミュレーターsfpを新規作成。）
• 最短路探索 (Prolog)● Dijkstra法とFord-Bellman法に沿って作ってみた(2003/3/5)。教材のものと同じ。 解パスの表示ルーチンを直した(2003/4/3)。ネットワーク問題は、 経営科学（OR)と情報科学でともによく扱われる。
• 最短路探索 (Prolog)● (2005/10/15,24)。
• サーチルールにおける記憶の最適利用(Prolog) ● J. Dow (1991), Search decisions with limited memory, RES 58:1-14 の最初の例題。
• 動的配分指標(DAI)の近似(Prolog, 11 Aug 2004) ● Gittins(1979)のアルゴリズム。

  お断り：別論文の数表(Gittins & Jones, 1979, Table 1) とはパラメータが１ずつずれている。N=140はちょっときつい。N=21で一日がかり。 なんとか近い値になった。実験データを参考までに K=6の途中までの結果● と実験データ(dai_0/3)●

• DAIの表計算シミュレーション● 同じく。未完成。

認知科学・分散AI

• 属性による消去(EBA)のシミュレーション(Prolog) ● Tversky (1972)によって提案されたメニューの絞込み確率選択（消費者の属性サーチ活動）のモデル。
• 類推
アナロジー、メタファーは条件文のメンタルモデルを一般化したもの（構造写像）とみなせる。 意思決定者の認知的バイアスに影響する。また類似の事例を記憶からサーチして、判断や決定に役立てる。
• 知的教示システム●。 （Prolog）ごく基礎的な仕訳の知識ベースを試作。学習者モデルなし。
  
• 分散型問題解決システム
ウェッブ以前、エージェントシステムの前駆的研究。異分野のエキスパートシステムたちが、 緩やかに協力しながら、共通の目標を達成する。 契約ネット、黒板システム、科学者共同体メタファーなど。