Transcript Part 1 人工知能 とは何か

認知システム論 ガイダンス
人工知能への招待
Part 1 人工知能とは何か
Part 2 人工知能の基礎技術
Part 3 人工知能の応用
Part 1 人工知能 とは何か
Artificial Intelligence
哲学・心理学・
脳科学的
アプローチ
１９５６
人間の知能を理解するため
に，コンピュータを使う．人間
のシミュレーションをする．
人間の思考原理と
違ってもよい
工学的
アプローチ
知能的（かしこい，合理的）なソフト，
利用者の知性を高めるソフト
を構築する．
チューリングテスト
１９５０
人間？
コンピュータ？
現代のAIの立場：
AIプログラムは，人間のよう
に振る舞う必要はない．
AIは合理的なエージェントを作る
エージェント
自然言語処理
音声認識
センサー
画像理解
環 境
ユーザ
エージェント
知覚
行動
ロボティクス
アクチュエータ
マルチエージェントシステム
Ａ Ｉ アルゴリズム
意思決定
探索
制約充足
組合せ最適化
論理・推論
不確実性
予測
学習
Part 2 人工知能の基礎技術
•
•
•
•
•
•
•
論理的な推論を行う
条件を満たす解を求める
目標に向けて行動計画を立てる
あいまい性や不確実性を解消する
データを一般化して有益な知識を得る
人間の言葉を理解する（テキスト，音声）
シーンを理解する（画像，映像）
Part 3 人工知能の応用
自然言語処理
仮名漢字変換
形態素解析
自動翻訳
理
解
感
情
実用
開発
研究
この一連のスライドでの
色の意味の約束
知的データベース検索
テキストマイニング
オントロジー
マルチメディアの検索
Google
知
覚
音声認識
特定話者，特定単語，低ノイズ
画像認識
指紋，顔
映像認識
質問応答システム
ワトソン
• IBMが開発した質問応答システム.
• 自然言語の音声による質問に対し，自然言語で答えを
返す.
• アメリカのクイズ番組「ジョパディ！」に解答者として挑
戦し、人間の解答者に勝利
スマートフォン用のサービス
エキスパートシステム
診
断
構造推定
設
浅い知識
計
深い知識
テロの予測
定理自動証明
数式処理
述語論理
等式論理（代数系）
帰納的定理
コンピュータで証明できる代数系の定理の例：
群論
1* x  x （左単位元の存在）
x 1 * x  1 （左逆元の存在）
( x * y ) * z  x * ( y * z ) （結合律）
( x * y) 1  y 1 * x 1
（積の逆元  逆元の逆順の積）
コンピュータで証明できる幾何学定理の例：
シンプソンの定理
△ABCの外接円O上の点D
から辺BC,CA,ABに引いた垂
線の足E,F,Gは同一直線上
にある．
ロ ボ ッ ト
工業用ロボット
２足歩行ロボット
災害救助
自律ロボット
自動プログラミング
コンパイラ
プログラム自動検証
プログラム自動生成
ソフトウェア工学（形式手法）
Webアプリケーション
制
御
複雑な機器群の準最適な制御
ファジィ推論
ニューラルネット
ＧＡ
エネルギー（電力）
スマートグリッド／スマートシティ
再生可能エネルギー
エネルギー節約
安全性
ネットワーク形状制御（スイッチング）
ＧＡ
通
信
ライフログ
不正利用検出
障害検出
ログ解析
機械学習
商品開発
ビジネス
商業
金融
購買分析
貸し出し審査
データマイニング
ビッグデータ
ゲームプレイ
チェス
将棋
リアルタイムゲーム
サッカー（ロボカップ）
囲碁