人工知能 (AI, Artificial Intelligence)

実世界　　	問題 ------------->解？
　　　　　　　　│　　　　　　　　 ↑
　　　　　　　　│表現　　　　　　 │「逆」表現
　　　　　　　　↓　　　　　　　　 │
計算機世界	問題'──────→解'
	　　　　　　　「計算」

• 数値計算、数式処理、記号処理、問題解決、推論、…
• 人間に近いことを「計算」したい

• 辞書、百科事典、人の知識の曖昧性 (東、因果関係、…)
• 知識の体系化は可能か？

• 1956 ダートマス大学の研究会 (10名)
• 1961 Minsky, "Steps towards Artificial Intellegence"
  • 探索: 盲目的探索ではなくす
  • パタン認識: 見方の違いとノイズがあっても対象を認識
  • 学習: 過去の経験や類似の知識を利用
  • 問題解決とプラニング: 分割や道筋

• 記憶：記憶力に優れている
• 学習：理解が早い
• 連想：学習方法が効率的である
• 汎化：応用力がある
• 創造性：独創的な思考力をもっている
• …

• 富士山は日本一高い山である？
  
  
• 冬になると寒い？
  • 冬になると太陽が高く昇らない
  • 太陽が高く上らないと光がななめからさす
  • 光がななめからさすと太陽エネルギーの量が減少する
  • 受ける太陽エネルギーの量が減ると温度が下がり寒くなる
  • したがって冬は寒い
  
  
• 風が吹くと桶屋がもうかる？
  
  
• 平行線は交わらない？
  
  
• 天才科学者には長男が多い？

• 男はつらいよ
  
  
• 赤塚不二夫
  
  
• イライザ (1966年マサチュセッツ工科大ジョセフ・ワイゼンバウム教授、http://www-ai.ijs.si/eliza/eliza.html)
  『AOLインスタント・メッセンジャー』(AIM)ユーザ30人に対し実験 (AOLiza) → ２人しか気づかなかった
  
  
• チューリングテスト vs. 中国語の部屋

• ハード vs. ソフト
• 分析 vs. 合成
• マクロ vs. ミクロ
• 現象 vs. 構成
• シミュレーション vs. 構造
• 生理学
• 心理学
• 数学
• 工学
• …

• インタフェース：システムの動作が知的にみえる
  
  
• 工学：人間の知的能力をコンピュータに与える。 システム自体が知的振る舞いをする
  
  
• 科学：人間の知能のメカニズムを解明する。 コンピュータは理論を確かめるシミュレーション

• 言語理解(SHRDLU)
  ブロックの世界を対象にした対話システム
• 物体認識
• 教育支援(SCHOLAR)
• 数式処理(MACSYMA, REDUCE2)
  
  • (a+2x)³　→　a³ + 6a²x + 12ax² + 8x³
  • df(log(2x+1),x)　→　2/(2x+1)
  • int(ax,x)　→　ax²/2
• コンサルテーション(DENDRAL)
  質量スペクトルデータ→分子構造を推定
  既知物質のスペクトルデータ→ルール (META-DENDRAL)

• 技術の発展を反映した
• 人とコンピュータの距離を狭めた
• より難しい問題(知識処理)の解決に役立つ
• コンピュータ
  • 良きアシスタント
  • 問題解決タ簣税塾ﾏ
  • 知識ベース
  • 会話機能
  • 高度のマンゥ泪轡鵐インタフェース
• 人工知能百科

• 1947 Shannon: チェスを機械に行わせる方法 (ミニマックス法)
• 1951 Turing: 上のプログラミング方法
• 1956: MANIAC で実行
• 1958 Newell, Shaw, Simon: 本格的プログラミング
• …
• 1997: Deep Blue が世界チャンピオンを破る