人工知能特論2009 東京工科大学 亀田弘之 KE304.

Slides:



Advertisements
Similar presentations
ActionScript を用いた 新世紀型物理教育のための シミュレーション教材開発 日本物理学会 2005 年春季大会 ePhysics プロジェクト.
Advertisements

キー・コンピテンシーと生きる 力 キー・コンピテンシー – 社会・文化的,技術的道具を相互作用的に活用する力 – 自律的に行動する力 – 社会的に異質な集団で交流する力 生きる力 – 基礎・基本を確実に身に付け,いかに社会が変化しようと, 自ら課題を見つけ,自ら学び,自ら考え, 主体的に判断 し,行動し,よりよく問題を解決する資質や能力.
社会システム論 第 1 回 システムとは何か 大野正英 経済学部准教授. この授業のねらい 現代社会をシステムという視点から捉 える。 社会の複雑さをシステムというツール を用いることによって、理解する。
一階述語論理 (first-order predicate logic) 一階述語論理入門 構文論(論理式の文 法) 意味論(論理式の解 釈) 認知システム論 知識と推論(4) 知識と論理でを組み合わせて問題を解決する.
エージェントアプローチ 人工知能 1章・2章  M0 片渕 聡 08/07/02.
人工知能特論2011 No.4 東京工科大学大学院 担当教員:亀田弘之.
法とコンピュータ 場所 慶大法学部(三田校舎教室) 期間 2004/4/ /1/30 講師 吉野一.
東京工科大学 コンピュータサイエンス 亀田弘之
第1回  序論.
教育心理学 学習と認知プロセス 伊藤 崇 北海道大学大学院教育学研究院.
コンピュータで夢をつかもう -ソフトウェア開発に必要な力ー
数理手法IV 「統計的機械学習入門」 数理情報学専攻 中川裕志.
ー大学院教育課程強化に関するプログラムについてー
Tokyo University of Technology Hiroyuki KAMEDA KE304 9:00~10:30
      特別支援学校 高等部学習指導要領 聴覚障害教育について.
自律学習と動機づけ 教育心理学の観点から 2011/2/19 上淵 寿 (東京学芸大学).
情報処理学会・経営情報学会 連続セミナー第3回 情報システム構築アプローチ 主旨
人工知能特論2011 資料No.6 東京工科大学大学院 担当教員 亀田弘之.
数理論理学 第1回 茨城大学工学部情報工学科 佐々木 稔.
(7)テレビ電話機能の使用 その前に・・・基礎研究例
画像工学 2011年10月6日 担当教員 北川 輝彦.
法とコンピュータ 場所 慶大法学部(三田校舎教室) 期間 2005/4/ /1/30 講師 吉野一.
ヒューマンインタフェース 電子機械工学専攻 第2学年 後期 開講
複言語・複文化状況における日本語教育 -ことばの教室で私たちがめざすもの
人工知能特論2007 東京工科大学 亀田弘之.
創造性教育とは何か 学びと創り 基礎・基本を踏まえつつ創造性をのばす 教科内・クロスカリキュラムをつくる (ミニマム時間でマックス成果)
シミュレーション論 Ⅱ 第15回 まとめ.
科学の技法 science is the theory, not the fact
画像工学 2012年10月3日 担当教員 北川 輝彦.
経済学部 岸本寿生 社会科学への誘い 経済学部 岸本寿生
ベヴァリッジを例とした 経済思想史研究 第6回 経済学部定例研究会 (水).
「人間機械論」と教育 「コンピュータ利用教育」への過剰反応(過度の反発と期待)の背景を考える。 時代を創る(epoch making)技術
執筆者:伊東 昌子 授業者:寺尾 敦 atsushi [at] si.aoyama.ac.jp
大阪大学大学院法学研究科 田中規久雄 情報ネットワーク法学会(2a版)
Prolog入門 ーIT中級者用ー.
平成25年3月27日(水) 東京工科大学 コンピュータ蓑寝椅子学部 在学生ガイダンス
ソーシャルワークの価値と倫理 ~国際ソーシャルワーカー連盟の議論を踏まえて~
初回授業オリエンテーション 理科(生物) 大野 智久.
平成29年5月8日(月)第4日目 担当教員:亀田弘之
平成27年4月20日(月)第2日目 担当教員:亀田弘之
「人生100年時代」に求められるスキル 【OS】 【アプリ】 人生100年時代の働き手は、【アプリ】と【OS】を
平成20年10月5日(月) 東京工科大学 コンピュータサイエンス学部 亀田弘之
計算機科学概論(応用編) 数理論理学を用いた自動証明
(1)序論 人工知能とは 歴史 方法論 人工知能の基礎 問題解決 探索 推論 知識.
知能情報システム特論 Introduction
心理科学・保健医療行動科学の視点に基づく
別紙1:政策学部のカリキュラム ■積み上げ型政策学教育 [基本教育] [導入教育] 大学院進学
科学の起源 Nothing is More Active than Thought. -Thales.
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
理論研究:言語文化研究 担当:細川英雄.
理論研究:言語文化研究 担当:細川英雄.
Prolog入門 ーIT中級者用ー.
東京工科大学 コンピュータサイエンス学部 亀田弘之
通訳研究分野の概観図 General Map of Interpreting Studies
東京工科大学 コンピュータサイエンス学部 亀田弘之
平成28年4月25日(月)第3日目 担当教員:亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
香川大学工学部 富永浩之 知識工学1 第1-1章 人工知能と知識工学 香川大学工学部 富永浩之
執筆者:難波和明 授業者:寺尾 敦 atsushi [at] si.aoyama.ac.jp
自然言語処理2015 Natural Language Processing 2015
試行錯誤を重視した数学教育    群馬県立 吉井高等学校           大 塚 道 明.
自然言語処理2008 平成20年12月22日.
認知発達理論とシステム論の 歴史的概観 杉村 伸一郎 (広島大学).
図15-1 教師になる人が学ぶべき知識 子どもについての知識 教授方法についての知識 教材内容についての知識.
仮説演繹法 思考 経験 問題 : あるべき姿と現状のギャップ 課題 : 問題解決のために成すべきこと 問題 19世紀 あるべき姿(予想)
自然言語処理2016 Natural Language Processing 2016
経済学入門 ミクロ経済学とマクロ経済学 ケインズ経済学と古典派マクロ経済学 経済学の特徴 経済学の基礎概念 部分均衡分析の応用.
Presentation transcript:

人工知能特論2009 東京工科大学 亀田弘之 KE304

はじめに 科目名:人工知能特論 担当者:亀田弘之(CS学部) 研究分野: 自然言語処理 思考と言語 認知機能のシステム的解明とその工学的応用 認知リハビリテーションのためのゲーム(真の脳トレ) 心のモデルに基づく音声対話型癒し系ロボット 言語獲得・知識獲得 未知語獲得、文法獲得 など

はじめに

What is Artificial Intelligence? What should we do study? 人工知能とは? What is Artificial Intelligence? What should we do study? How should we study it?

Mind Mapを作ってみよう!

人工知能の定義例 計算機が考えるようにする…真の意味で心を持った機械を造る刺激的で新しい試み。(Haugeland, 1985) 人間の思考に関連した活動:意思決定、問題解決、学習、...[の自動化] (Bellman, 1978) 「エージェントアプローチ人工知能」 Russel&Norvig より抜粋 人工知能特論2009(東京工科大学大学院)

人工知能の定義例(No.2) 人間が行う場合には知能を必要とする機能を達成する機械を造る技術。(Kurzweil, 1990) 今のところ人間の方が上手くできる事柄を計算機にさせる研究(Rich & Knight, 1991) 人工知能特論2009(東京工科大学大学院)

人工知能の定義例(No.3) 計算機モデルを用いた心の機能の研究 (Charniak & McDermott, 1985) 認識、推論、行為を可能にする計算の研究(Winston, 1992) 「エージェントアプローチ人工知能」 Russel&Norvig より抜粋 人工知能特論2009(東京工科大学大学院)

人工知能の定義例(No.4) 知能を計算プロセスとして説明・模擬することを目的とする研究分野(Schalkoff, 1990) 知的行動の自動化に関する計算機科学の1分野(Luger & Stubblefield, 1993) 「エージェントアプローチ人工知能」 Russel&Norvig より抜粋 人工知能特論2009(東京工科大学大学院)

AIの定義例の分類 人間のように考えるシステム 合理的に考えるシステム 人間のように行動するシステム 合理的に行動するシステム 「エージェントアプローチ人工知能」 Russel&Norvig より抜粋 人工知能特論2009(東京工科大学大学院)

AIの定義例の分類 人間のように考えるシステム(認知モデルアプローチ) 合理的に考えるシステム(思考の法則によるアプローチ) 人間のように行動するシステム(チューリングテストアプローチ) 合理的に行動するシステム(合理エージェントアプローチ) 「エージェントアプローチ人工知能」 Russel&Norvig より抜粋 人工知能特論2009(東京工科大学大学院)

(メモ) 人間的  合理的 人間的  機械的 非合理的  合理的 柔軟な  型にはまった ???  ???

人間 vs 機械

人間 vs 機械 人間的 非合理的 柔軟な etc. 機械的 合理的 定型的 etc.

空を飛びたい! 鳥のように空を飛ぶ 揚力の発見 鳥のように柔軟に飛びたい 未だに実現していない。 トンボのように飛びたい。 鳥のように柔軟に飛びたい 未だに実現していない。 トンボのように飛びたい。 飛行機の実現(地球の裏まで飛んで行ける) 今や宇宙に飛び出すこともできる! 人工知能特論2009(東京工科大学大学院)

人間のように 知的なシステムを創りたい! 人工知能特論2009(東京工科大学大学院)

人工知能 定義:人間のように知的な処理能力を 持つソフトウェア 検証方法:チューリングテスト 応用分野: ロボット 機械学習 定義:人間のように知的な処理能力を   持つソフトウェア 検証方法:チューリングテスト 応用分野: ロボット 機械学習 認識(文字・音声・画像) 自然言語処理 などなど 人工知能特論2009(東京工科大学大学院)

人工知能の基盤となっている主要要素の 1つは「論理」 一方 学問 - 真理の探究 ーー>思考 思考過程 学問 - 真理の探究 ーー>思考  思考過程 ・法則性                    ->論理学! 人工知能特論2009(東京工科大学大学院)

そこで 本講義「人工知能特論」では、「論理」を真正面からとりあげ、論理に対する見識を深めるとともに、まさに21世紀の論理学を概観し、論理学・人工知能・諸学問のより一層の発展を目指す素養を身に付ける。 人工知能特論2009(東京工科大学大学院)

論理学について まずは、その歴史的発展を概観する。 人工知能特論2009(東京工科大学大学院)

論理学とは何か? 思考の法則に関する学問? 思考のプロセスと 言語の形態に関する学問? 概念に関する学問? 関係に関する学問? 説明のための学問? 発見のための学問? それとも? 考えてみよう! 人工知能特論2009(東京工科大学大学院)

論理学の歴史

古代・中世の論理思想 アリストテレス(論理学の父) パルメニデス ゼノン (思考の形式とそれを表現する言語の形式との関係) プラトン(論理の形式の分析) 同時期に、ユークリッド幾何学も発展 (論理学創設に寄与) 「合理主義」がその背景にあった。 人工知能特論2009(東京工科大学大学院)

アリストテレスの業績 論理的思考の成果を体系化 初期の論理学を確立 (特に、「三段論法」) 演繹推論の体系化 帰納推論の重要性も指摘 人工知能特論2009(東京工科大学大学院)

演繹推論の例 人はすべて死ぬ。 ソクラテスは人である。 ソクラテスは死ぬ。 普遍的な認識ー>部分的認識 人工知能特論2009(東京工科大学大学院)

帰納推論の例 人工知能特論2009(東京工科大学大学院)

その後 スコラ学派 キリスト教的神学 三段論法を中心とする推理形式の整備 普遍的概念の理解のための 「実念論 vs 唯名論」論争 人工知能特論2009(東京工科大学大学院)

近代の帰納的論理学 合理主義的立場 デカルトやパスカル 経験的・実証的主義 ベーコン、ロック 人間的知識の源泉は理性・悟性 演繹推論 人間的知識の源泉は感覚的経験 帰納推論(ミル) 人工知能特論2009(東京工科大学大学院)

形式論理学の現代的形態 記号論理学(形式的論理学) ライプニッツ(17世紀) ブール、ドモルガン、シュレーダ、フレーゲ、ラッセルら 数学基礎論 論理学の整備・再構成 人工知能特論2009(東京工科大学大学院)

弁証論理学の成立 古代ギリシャからある ヘーゲル、マルクス、エンゲルス ヘラクレイトス(万物は流転する) (運動の概念への挑戦) 物事を全体的に見る思考法 ヘーゲル、マルクス、エンゲルス 自然科学と社会科学との合流 人工知能特論2009(東京工科大学大学院)

現状のデモ(例) 演繹推論器 Prolog 帰納推論器 Progol

休講情報 来週は国際会議STANS09開催のため休講です。