人工知能の歴史
人工知能 | ||||
---|---|---|---|---|
![]() | ||||
歴史とできごと
| ||||
法規制
| ||||
著作
| ||||
用語集
| ||||
![]() | ||||
|
人工知能の歴史は、古代の神話における神のごとき名工が、人工物に知性や意識を授けたという逸話にまでさかのぼることができると言われる。英文学修士であり技術哲学・科学哲学の作家でもあるパメラ・マコーダック(英語版)は、人工知能(AI)の起源について「神を人の手で作り上げたいという古代人の希望」が起こった時と表現している[1]。
現代的な意味での人工知能は、人間の思考過程を記号の機械的操作として説明することを試みた哲学者に始まる。1940年代に数学的推論の抽象的本質にもとづいたマシン、プログラム可能なデジタルコンピュータの発明もその延長線上にある。この装置とその背後にある考え方に触発された科学者はほんの一握りだったが、それでも彼らは電子頭脳を構築する可能性を真剣に議論しはじめた。
人工知能の研究が学問分野として確立したのは、1956年夏にダートマス大学のキャンパスで開催された会議がきっかけである。その後のAI研究を牽引したのがこの会議の参加者たちであり、彼らの多くは、人間と同程度に知的なマシンが自分たちが生きているうちに出現するだろうと考え、むしろそのビジョンを実現させるためにあらそって数百万ドルの資金を獲得した。しかしその結果明らかになったのは、彼らのプロジェクトが当分は実現できいであろうという予測だった。1973年にはジェームス・ライトヒル(英語版)が主導したて政界から圧力がかかり、アメリカでもイギリスでも成果の見えない人工知能関連の研究への出資を終了した。それでも日本では官民問わず500億円以上の資金が人工知能の研究に注がれたが、やはり成果は出ず失望した投資者たちは80年代末には資金をひきあげた。このように人工知能をめぐる「夏と冬」は繰り返されてきたといってよい。しかし現代でも人工知能については「大胆な」予測をする人々は後をたたない[2]。
官僚やベンチャー・キャピタリストの間で評価がいりみだれてきたにもかかわらず、実際に人工知能の研究は発展しつづいている。1970年代には解決不可能と思われていた問題にも糸口が見つかり、具体的な商品にも応用されるようになっていった。しかし、第一世代の人工知能の研究者らの楽観的予測に反して、強いAIを持つマシンの構築は実現していない。1950年の有名な論文でも、アラン・チューリングは「我々はほんの少し先しか見ることができない」と認めていた。「それでも」と彼は続けている。その少し先に「我々がなすべきことが数えきれないほど浮かんでくる」[3]
前史
McCorduck (2004) では「何らかの形態の人工知能は、西洋精神史に広くみられる考え方で、速やかな実現が望まれている夢」だとし、神話、伝説、物語、思索、機械仕掛けのオートマタなどで表現されてきたとされている[4]。
神話やフィクションにおけるAI
ギリシア神話に見られる機械人間や人工生命体としては、ヘーパイストスの黄金のロボットやピュグマリオーンのガラテイアがある[5]。中世には物体に精神を植えつける神秘主義的秘術や錬金術的方法の噂があり、ジャービル・イブン=ハイヤーンの Takwin[6]、パラケルススのホムンクルス[7]、イェフダ・レーヴ・ベン・ベザレルのゴーレム[8]などが知られている[9]。19世紀には、人造人間や思考機械というアイデアがフィクション内で発展し、メアリー・シェリーの『フランケンシュタイン』やカレル・チャペックの『R.U.R.(ロッサム万能ロボット会社)』[10]が登場。思索面ではサミュエル・バトラーの "Darwin among the Machines" がある[11]。以降、AIは現在に至るまでサイエンス・フィクションにおける重要な要素の1つとなっている。
オートマタ
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2f/Al-jazari_robots.jpg/250px-Al-jazari_robots.jpg)
写実的な人間型オートマタは、様々な文明で職人が製作している。例えば、周の穆王の時代の偃師[12]、アレクサンドリアのヘロン[13]、アル=ジャザリ[14]、ヴォルフガング・フォン・ケンペレン[15]などがいる。既知の最古のオートマタとしては、古代エジプトや古代ギリシアの神聖な彫像がある。信者はそれらの彫像に職人が知恵と感情を伴う本当の心を吹き込んだと信じた。ヘルメス・トリスメギストスは、「神の真の性質を発見することで、彼らはそれを再現することができた」と記している[16][17]。
形式的推論
人工知能は、人間の思考過程を機械で再現できるという前提に基づいている。機械的あるいは形式的推論の歴史は長い。中国、インド、ギリシアの哲学者らは、いずれも紀元前に形式的推論の構造化された手法を発展させた。その発展に寄与した哲学者としては、アリストテレス(三段論法を定式化して分析した)、エウクレイデス(その『原論』は形式的推論の原型となった)、フワーリズミー(代数学を発展させ、その名は「アルゴリズム」として残っている)、ヨーロッパスコラ学の哲学者であるオッカムのウィリアムとヨハネス・ドゥンス・スコトゥスなどが挙げられる[18]。
マジョルカ人哲学者ラモン・リュイ (1232–1315) は論理的方法で知識を生み出すことを意図した「論理機械」をいくつか開発した[19]。リュイは自身の機械について、単純な論理操作で基本的かつ紛れもない真理を結合する機械的要素群であり、機械的手段で生み出された真理が考えられるあらゆる知識を生み出すとした[20]。リュイの業績はゴットフリート・ライプニッツに大きな影響を及ぼした[21]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6a/Gottfried_Wilhelm_von_Leibniz.jpg/150px-Gottfried_Wilhelm_von_Leibniz.jpg)
17世紀になると、ライプニッツ、トマス・ホッブズ、ルネ・デカルトらはあらゆる理性的思考は代数学や幾何学のように体系化できるのではないかという可能性を探究した[22]。ホッブズは『リヴァイアサン』で「推論は計算以外のなにものでもない」と記している[23]。ライプニッツは推論のための汎用言語 (characteristica universalis) を想像し、論証を計算に還元しようと考えた。それによって「2人の哲学者の論争は2人の会計士の論争程度のことになる。彼らは論証を石版に書き記し(必要な友人を証人に立て)『計算』してみればよい」とした[24]。これらの哲学者の考え方から物理記号システム(英語版)仮説が明確化していき、それがAI研究の指針となった。
20世紀になると、数理論理学の研究が人工知能の実現可能性への根本的なブレークスルーを提供する。その基盤となったのは、ブールの The Laws of Thought とフレーゲの『概念記法』である。フレーゲの体系に基づき、1913年、ラッセルとホワイトヘッドが重要な著作『プリンキピア・マテマティカ』において数学的基礎の形式的記述を行った。ラッセルの成果に触発されたダフィット・ヒルベルトは、当時の数学者らに「数学におけるあらゆる推論は形式化できるか?」という根本的問題を提示した(ヒルベルト・プログラム)[18]。この問題への解答が、ゲーデルの不完全性定理、チューリングの機械、チャーチのラムダ計算である[18][25]。その解答は2つの意味で驚くべきものだった[要出典]。第一に彼らは数理論理が成し遂げられることには限界があることを証明した[要出典]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/16/Classic_shot_of_the_ENIAC.jpg/250px-Classic_shot_of_the_ENIAC.jpg)
第二に(こちらがAIにとっては重要)、彼らの業績が意味するのは、その限界の中でなら任意の数学的推論を機械化できるという事実だった[要出典]。チャーチ=チューリングのテーゼでは、0と1といった単純な記号群だけで任意の数学的推論過程を模倣できることが暗示されている。鍵となる洞察はチューリングマシンであり、記号操作を抽象化した単純な理論上の機械である。チューリングマシンは一部の科学者が思考する機械の可能性を議論しはじめるきっかけとなった[18][26]。
計算機科学
計算機械は古代から作られており、歴史の進展と共にゴットフリート・ライプニッツなど多くの数学者が洗練させていった。19世紀初め、チャールズ・バベッジはプログラム可能な計算機を設計したが(解析機関)、実際には製作しなかった。エイダ・ラブレスはその機械が「精巧で科学的な音楽の断片をそれなりの複雑さと長さで作曲するかもしれない」と推測した[27]。エイダ・ラブレスはその機関でベルヌーイ数を計算する方法を詳細に注記したことから、世界初のプログラマと言われている。
世界初の現代的コンピュータ(Zuse Z3、ENIAC、Colossus)は第二次世界大戦の際に開発された[28]。その後アラン・チューリングの理論的基礎をジョン・フォン・ノイマンが発展させた形でコンピュータが発達していった[29]。
人工知能の誕生 1943−1956
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/BRL61-IBM_702.jpg/420px-BRL61-IBM_702.jpg)
- 以降の節の表題についての注[30]
1940年代と1950年代、様々な分野(数学、心理学、工学、経済学、政治学)出身の一握りの科学者が人工頭脳(artificial brain)を作る可能性を議論し始めた。人工知能研究は1956年に学問分野として確立された。
サイバネティクスと初期のニューラルネットワーク
思考機械についての最初の研究は、1930年代末から1950年代初期にかけて流行ったいくつかのアイデアをまとめるところから着想された。当時最新の神経学の成果で、脳は神経細胞の電気ネットワークであり、全てか無かというパルスで点火されるということがわかった。ノーバート・ウィーナーのサイバネティックスは、電気ネットワークにおける制御と安定性を扱っていた。クロード・シャノンの情報理論はデジタル信号(全てか無かの信号)を扱っていた。アラン・チューリングの計算理論は任意の計算をデジタルで表せることを示した。これらの相互に密接に関連したアイデアが電子頭脳構築の可能性を示唆していた[31]。
この文脈での業績例として、ウィリアム・グレイ・ウォルター(英語版)の亀や Johns Hopkins Beast(英語版) のようなロボットがある。それらの機械はコンピュータもデジタル電子回路も記号推論も使っておらず、完全にアナログ電子回路のみで制御されていた[32]。
ウォルター・ピッツとウォーレン・マカロックは理想化した人工神経細胞のネットワークを解析し、どうやって単純な論理関数のような働きをするのかを示した。それが後の研究者らにニューラルネットワークと呼ばれるものの最初の研究である[33]。ピッツとマカロックに触発された学生の1人に若きマービン・ミンスキー(当時24歳の学生)がいた。1951年、ミンスキーは世界初のニューラルネットマシンSNARC(英語版)を構築した[34]。ミンスキーはその後50年間、AI界の重要なリーダーの1人となった。
ゲームAI
1951年、マンチェスター大学の Ferranti Mark 1 というマシンを使い、クリストファー・ストレイチーがチェッカープログラムを、ディートリッヒ・プリンツがチェスのプログラムを書いた[35]。アーサー・サミュエルは1950年代中ごろから60年代初めにかけてチェッカーのプログラムを開発し、まともなアマチュアと互角に渡り合える程度のスキルを身につけるようになった[36]。ゲームAIはその後もAIの進化の程度を測る手段として使われることになった。
チューリングテスト
1950年、アラン・チューリングは記念碑的論文 Computing Machinery and Intelligence を発表し、真の知性を持った機械を創りだす可能性について論じた[37]。彼は「知性」を定義するのは難しいとして、有名なチューリング・テストを考案した。テレタイプ端末を介した機械との対話が人間との対話と区別できない場合、その機械は「知的」だといえる。このように問題を単純化したことでチューリングは少なくとも「もっともらしい」「思考機械」の可能性を説得力のあるものとして主張でき、この論文は全ての一般的な反論に答えた[38]。チューリング・テストは人工知能の哲学(英語版)における最初の真面目な提案となった。
記号的推論と Logic Theorist
1950年代中ごろにコンピュータにアクセス可能になると、一部の科学者は数を操作できる機械は記号も操作でき、記号の操作は人間の思考の本質を表しうると直観的に気付いた。それが思考機械に迫る新たな手法となった[39]。
1955年、アレン・ニューウェルと(後にノーベル賞を受賞した)ハーバート・サイモンは(クリフ・ショーの助けも得て)"Logic Theorist" を作った。このプログラムはラッセルとホワイトヘッドの『プリンキピア・マテマティカ』の最初の方にある52の定理のうち38の定理を証明してみせ、そのうち一部は新たな洗練された証明方法を見出した[40]。サイモンは彼らが「かの心身問題を解決し、物質で構成されているシステムが精神の特性をどのようにして持つことができるかを説明した」と述べている[41]。これは、後にジョン・サールが「強いAI」と呼んだ哲学的立場(機械は人間の身体と同じように精神を持ちうる)を表した初期の文章の1つである[42]。
ダートマス会議 (1956): AIの誕生
1956年のダートマス会議[43]は、マービン・ミンスキーとジョン・マッカーシー、さらに2人よりやや年上のクロード・シャノンとIBMのナサニエル・ロチェスターが準備し組織した。この会議の提案書には「学習のあらゆる面または知能の他のあらゆる機能は正確に説明できるので、機械でそれをシミュレートすることができる」と書かれていた[44][45]。会議参加者としては他に、レイ・ソロモノフ、オリバー・セルフリッジ、トレンチャード・モア(英語版)、アーサー・サミュエル、アレン・ニューウェル、ハーバート・サイモンがおり、いずれもAI研究の最初の十年間で重要なプログラムを作った人々である[46]。この会議でニューウェルとサイモンが Logic Theorist を初めて公表し、マッカーシーがその分野の名称を "Artificial Intelligence" にしようと説得した[47]。1956年のダートマス会議でAIには名前がつけられ、目標が与えられ、最初の成功例が見られ、主なプレーヤーが揃った。そのため、これをAIの誕生とするのが一般的である[48]。
第1回AIブーム: 推論と探索の時代 1956年−1974年
ダートマス会議後の数年は発見の時代で、新たな地平を疾走するような勢いだった。この時代に開発されたプログラムは推論と探索に頼っており、巨額を投じて開発された当時の最高峰のコンピュータであっても、処理可能な計算量はごく僅かであったため、非常に限定的な領域の問題しか解けなかったが、それでも当時の人々にとっては「驚異的」だった[49]。コンピュータは代数問題をといてみせ、幾何学の定理を証明してみせ、英会話を学習してみせた。ごく少数を除いて、当時の人々はコンピュータにそのような「知的」な行動が可能だとは全く信じていなかった[50]。研究者らはプライベートでも印刷物でも強烈な楽天主義を表明し、完全に知的な機械が20年以内に製作されるだろうと予測した[51]。ARPAなどの政府機関は、この新しい領域にどんどん資金を注ぎ込んだ[52]。
成果
1950年代末から1960年代にかけて、プログラムと新たな方向性で多くの成功例がみられた。以下に特に影響の大きいものを示す。
手段目標分析
初期のAIプログラムの多くは同じ基本アルゴリズムを採用していた。(ゲームに勝つ、定理を証明するなど)何らかの目標を達成するため、迷路を探索するようにそれに向かって(実際に移動したり、推論したりして)一歩一歩進み、袋小路に到達したらバックトラッキングする。この技法を「手段目標分析」と呼ぶ[53]。
根本的な困難は、多くの問題で「迷路」でとりうる経路の数が天文学的だという点である(これを組合せ爆発と呼ぶ)。探索空間を狭めるためにヒューリスティクスや経験則を用い、解に到達しそうもない経路を排除する[54]。
ニューウェルとサイモンはこのアルゴリズムの汎用版を確立しようと試み、そのプログラムをGeneral Problem Solverと称した[55]。他の探索プログラムは幾何学の問題を解くなど印象的な成果をもたらしている。例えば、Herbert GelernterのGeometry Theorem Prover(1958)、ミンスキーの指導する学生James Slagleが書いた SAINT(1961)などがある[56]。行動計画を立案するために目標を探索するプログラムもある。例えばスタンフォード大学のロボット「シェーキー」の行動を制御するために開発されたSTRIPSがある[57]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/67/Semantic_Net.svg/250px-Semantic_Net.svg.png)
自然言語
AI研究の重要な目標の1つが、コンピューターと英語などの自然言語で会話できるようにすることである。初期の成功例として Daniel Bobrow の STUDENT というプログラムがあり、高校レベルの代数問題を解くことができた[58]。
意味ネットワークは、概念(例えば、「家」、「ドア」)をノードとし、概念間の関係(例えば "has-a")をノード間のリンクで表したものである。意味ネットワークを使った最初のAIプログラムは Ross Quillian が書いたもので[59]、最も成功した(議論も呼んだ)のはロジャー・シャンクのCD理論である[60]。
ジョセフ・ワイゼンバウムのELIZAは、非常にリアルな会話が可能で、ユーザーは人間と会話しているかのような錯覚を覚えるほどだった。しかし、ELIZAは単純なパターンマッチングで応答しているだけで、会話の内容を理解していない。ELIZAはいわゆる人工無脳のさきがけである[61]。
マイクロワールド
1960年代末、MIT人工知能研究所のマービン・ミンスキーとシーモア・パパートは、AI研究をマイクロワールドと名付けた人工的かつ単純な状況に焦点を合わせて行うべきだと提案した。彼らは、物理学などの成功している科学でも摩擦のない平面や完全な剛体などの簡素化したモデルを使うことで基本原理が最もよく理解されたことを指摘した。多くの研究が注目したのは、色つきの様々な形状と大きさの積み木が平らな平面の上に置かれている「積み木の世界」である[62]。
このパラダイムから、実際に積み木が積まれた状況を画像から認識するためのマシンビジョンが発達した。これにはチームを率いたジェラルド・サスマン、制約伝播の概念を確立したデイビッド・ワルツ(英語版)、パトリック・ウィンストン(英語版)といった人々が関わった。同じころミンスキーとパパートは積み木を積むことができるロボットアームを製作して、積み木の世界を現実のものとした。このマイクロワールドのパラダイムでの最終成果はテリー・ウィノグラードのSHRDLUである。SHRDLUは普通の英語の文で対話でき、計画を立案し、それを実行する[63]。
楽観主義
第一世代のAI研究者は以下のような予測を述べている。
- 1958年、ハーバート・サイモンとアレン・ニューウェル:「10年以内にデジタルコンピュータはチェスの世界チャンピオンに勝つ」そして「10年以内にデジタルコンピュータは新しい重要な数学の定理を発見し証明する」[64][65]
- 1965年、ハーバート・サイモン: 「20年以内に人間ができることは何でも機械でできるようになるだろう」[66]
- 1967年、マービン・ミンスキー: 「一世代のうちに(中略)人工知能を生み出す問題のほとんどは解決されるだろう」[67]
- 1970年、マービン・ミンスキー(ライフ誌): 「3年から8年の間に、平均的な人間の一般的知能を備えた機械が登場するだろう」[68]
資金
1963年6月、MITは新たに創設された高等研究計画局(後のDARPA)から220万ドルの資金提供を受けた。この資金で Project MAC が創設され、そこにはミンスキーとマッカーシーが5年前に作ったAIグループも含まれることになった。ARPAは1970年代まで毎年300万ドルを提供し続けた[69]。ARPAはCMUのニューウェルとサイモンの計画にも、スタンフォード人工知能研究所(ジョン・マッカーシーが1963年に創設)にも資金を提供した[70]。もうひとつの重要なAI研究所は1965年、ドナルド・ミッキーがエディンバラ大学に創設した[71]。この4つの研究拠点がAI研究の中心として長く資金供給を受けた[72]。
その資金はほとんどひも付きではなかった。ARPAの部長J・C・R・リックライダーは「プロジェクトではなく人間に投資するのだ」という信念を持っており、研究者には好きなように研究させた[73]。それがMITでの自由奔放な雰囲気を生み出し、ハッカー文化を誕生させることになったが[74]、いつ結果が出るかも分からない「野放し」状態は続かなかった。
AIの冬第1期 1974−1980
1970年代、AIは批判と資金縮小に晒された。AI研究者は直面していた問題の難しさを正しく評価できなかった。楽天主義から予想される成果への期待があまりにも高まったが、結果はその期待に応えられず、AI研究への出資はほとんど無くなった[75]。同じころマービン・ミンスキーがパーセプトロンが排他的論理和を例として、特徴量をそのままでは線形分離可能でないものは学習できないことを示した。これが誤解・誇張されて伝わってしまったことで、データに対してコネクショニズム(またはニューラルネットワーク)の分野は約10年間あまり盛んでなくなった[76]。1970年代後半のAIは一般大衆の受けが悪かったが、新たに論理プログラミングや常識推論(英語版)などの新たな領域が生まれている[77]。
問題
1970年代前半、AIプログラムの能力は限定的だった。最も進んだものでも小さな問題しか扱えず、どのプログラムも言ってみれば「おもちゃ」だった[78]。AI研究者は1970年代には解決できない根本的限界に直面した。その一部は後に克服されているが、21世紀の今も残っている問題もある[79]。
- コンピュータ性能の限界
- 実用化に当たっては、コンピュータのメモリ容量や速度の不足は深刻であった。例えば、Ross Quillian の自然言語処理プログラムはわずか20の語彙しか扱えず、それが当時のメモリに収まる限界だった[80]。1976年、ハンス・モラベックはコンピュータが知性を持つには数百万倍も強化する必要があると主張した。彼は、人工知能がコンピュータの能力を必要とするのは、航空機が動力を必要とするのと同じだという比喩を示唆した。あるしきい値以下では不可能だが、性能が高まっていけば最終的に容易に知性が得られるだろうと主張した[81]。例えばマシンビジョンについてモラベックは、人間の網膜がリアルタイムで物体の境界や動きを検出する能力を機械で実現するには、毎秒109回の命令実行が可能な(1000 MIPSの)汎用コンピュータが必要だと推定している[82]。2011年現在、実用的なコンピュータビジョンのアプリケーションは10,000から1,000,000MIPSの処理能力を要する。1976年当時の最速のスーパーコンピュータ Cray-1 は、せいぜい80から130MIPSの能力であり、当時のデスクトップ型コンピュータは1MIPSにも達していなかった。
- Intractabilityと組合せ爆発
- 1971年のスティーブン・クックの定理(英語版)に基づき、1972年、リチャード・カープが指数関数時間(入力のサイズに対して指数関数的になる時間)でしか解けない問題が多数あることを示した (en)。それらの問題の最適解を求めるには、問題がごく小さい場合を除いて極めて多大な処理時間を要する。これは、AIプログラムが「おもちゃ」のような問題に適用している解法の多くを、そのままスケールアップしても使えないことを意味していた[83]。
- 常識的知識(英語版)と推論(英語版)
- コンピュータビジョンや自然言語処理といった重要な人工知能アプリケーションの多くは、実世界についての大量の情報を必要とする。見えているものが何なのか、話している内容が何についてなのか、といったことをプログラムが知る必要がある。つまり、そのようなプログラムは話題や見えているものについて子ども程度の知識を持っている必要がある。研究者はそういった情報の量が非常に膨大になることに気付いた。1970年当時、そのような知識を蓄えられるほど巨大なデータベースは構築できなかったし、それだけの情報を蓄積するプログラムをどう書けばいいのかも不明だった[84]。
- モラベックのパラドックス
- 定理証明や幾何学問題を解くといったことはコンピュータにとって比較的簡単だが、人間にとって簡単な顔の識別や物に当たらずに部屋を横切るといったタスクはコンピュータには非常に難しい。1970年代中ごろまでマシンビジョンやロボット工学があまり進展しなかった原因はそのあたりにあった[85]。
- フレーム問題と条件付与問題(英語版)
- ジョン・マッカーシーのように論理学に基づいているAI研究者らは、論理そのものの構造を変更しないと自動計画における普通の推論を表現できないことを発見した。このため、新たな論理(非単調論理や様相論理)を開発して問題を解こうと試みた[86]。
資金供給の終り
AI研究に資金を供給していた機関(イギリス政府、DARPA、NRCなど)は、成果がないことに苛立ち、AI研究へのひもなしの資金供給がほぼ全て削減対象となった。最初の動きは1966年、機械翻訳の進展のなさを批判した ALPAC の報告書である。2000万ドルを注ぎ込んだ後、NRCは全サポートを終了させた[87]。1973年、イギリスにおけるAI研究の現状を報告した Lighthill report では「壮大な目標」の達成には完全に失敗していることが批判され、イギリスでのAI研究の解体が始まった[88]。この報告書ではAI研究失敗の原因として組合せ爆発問題を挙げている[89]。DARPAはCMUでの音声認識プロジェクトの進展に失望し、毎年300万ドルの資金を停止した[90]。1974年ごろにはAI研究への公的資金提供はほぼ見られなくなった。
ハンス・モラベックは同僚たちの非現実的な予測がこの危機の原因だとし、「多くの研究者が誇張を増大させるクモの巣に巻き込まれた」と述べている[91]。しかし問題はそれだけではない。1969年、マイケル・マンスフィールドの改正案が可決され、DARPAは「方向を定めない基礎研究よりも方向を定めた任務的研究」に資金提供するよう圧力がかかった。60年代のDARPAからの自由奔放な研究への資金提供は継続できなくなった。その代わりに目標がはっきりしているプロジェクト、例えば自律式戦車や戦闘指揮システムなどといったものへ方向性が変化した[92]。
他学界からの批判
一部の哲学者は、AI研究者の主張に強く反論した。最初の批判者の1人 John Lucas は、ゲーデルの不完全性定理が形式体系(コンピュータプログラムなど)では人間が真偽を判断できることも判断できない場合があることを示していると主張した[93]。ヒューバート・ドレイファスは60年代の守られなかった約束を嘲笑し、人間の推論は「記号処理」などではなく、大部分が身体的かつ本能的で無意識なノウハウによっているとし、AIの前提を批評した[94][95]。1980年、ジョン・サールが提示した中国語の部屋は、プログラムが記号群を使っているからといって、それについて「理解」しているとは言えないことを示したものである(志向性)。記号群が機械にとって何の意味もないなら、その機械は「思考」しているとは言えないとサールは主張した[96]。
これらの批判は、AI研究者には的外れに見えたため、ほとんど真剣に受け取られなかった。intractabilityと常識推論(英語版)の問題の方が身近で差し迫ったものとして感じられていた。「ノウハウ」または「志向性」が実際のコンピュータプログラムにどんな違いを生じさせるかは不明瞭だった。ミンスキーはドレイファスとサールについて「彼らは誤解しているから、無視してかまわない」と述べた[97]。当時MITで教えていたドレイファスは冷たくあしらわれることになった。後に彼はAI研究者らが「あえて私と昼食をとり、目を合わせないようにした」と述べている[98]。ELIZAの作者ジョセフ・ワイゼンバウムは、同僚たちのドレイファスへの対応が子どもっぽいと感じた。彼もまたドレイファスの考え方には率直に批判していたが、彼は「彼らのやり方が人を扱う方法ではなかったと意図的に明らかにした」[99]
ケネス・コルビー(英語版)がELIZAを使ってDOCTORというセラピストの会話ボットを書いたことをきっかけとして、ワイゼンバウムはAIについて真剣に倫理的疑念を抱くようになった。コルビーがそれを実際の治療に使えるツールと考えたことにワイゼンバウムは混乱した。確執が始まり、コルビーがそのプログラムへのワイゼンバウムの寄与を認めなかったことで事態は悪化した。1976年、ワイゼンバウムは『コンピュータ・パワー 人工知能と人間の理性』という本を出版し、人工知能の誤用が人命軽視につながる可能性があると主張した[100]。
パーセプトロンとコネクショニズムの暗黒時代
パーセプトロンはニューラルネットワークの一種で、1958年にフランク・ローゼンブラットが発表した。彼はマービン・ミンスキーとは高校の同級生だった。他のAI研究者と同様ローゼンプラットも楽観的で「パーセプトロンは最終的には学習でき、意思決定でき、言語を翻訳できるようになるだろう」と予言している。このパラダイムの研究は60年代に活発に行われたが、ミンスキーとパパートが1969年に出版した著書『パーセプトロン』によって状況が一変した。同書はパーセプトロンに重大な制限があることを示唆し、ローゼンブラットの予測がひどく誇張されたものだったことを示唆していた。その影響は破壊的で、コネクショニズムに関する研究は10年間事実上まったくなされなかった。結局、新世代の研究者が後に研究を再開させ、人工知能の有効な一部となった。ローゼンプラットはミンスキーらの著書が出版されて間もなくボートの事故で亡くなったため、コネクショニズムの復活をその目で見ることはできなかった[76]。
論理、Prologとエキスパートシステム
論理学をAI研究に導入したのはジョン・マッカーシーで、1958年に Advice Taker の提案書でのことである[101]。1963年、ジョン・アラン・ロビンソン(英語版)がコンピュータで演繹を実装する簡単な方法、導出とユニフィケーションのアルゴリズムを発見した。しかし、マッカーシーと彼の学生達が60年代後半に試みたように、直接的な実装は非常に困難だった。そのプログラムは単純な定理の証明にも天文学的なステップ数を必要とした[102]。論理へのより有効なアプローチは70年代にエジンバラ大学のロバート・コワルスキー(英語版)が発展させ、間もなくフランスの研究者アラン・カルメラウアー(英語版)とフィリップ・ルーセルと共同で論理プログラミング言語 Prolog を生み出すことになる[103]。Prologは論理のサブセット(「プロダクションルール」と密接に関連するホーン節)を使い、扱いやすい計算を可能にしている。ルールの考え方は長く影響を及ぼし、エドワード・ファイゲンバウムのエキスパートシステムやアレン・ニューウェルのSoarの基盤となっている[104]。
ドレイファスのように論理的アプローチを批判する者は、人間が問題解決の際に論理をほとんど使わないと指摘する。ピーター・ウェイソン(英語版)、エレノア・ロッシュ(英語版)、エイモス・トベルスキー、ダニエル・カーネマンといった心理学者の実験でそれが証明されている[105]。マッカーシーは人間がどうやっているかは無関係だと応えた。彼は、必要とされているのは問題を解くことができる機械であって、人間のように考える機械ではないと主張した[106]。
フレームとスクリプト
マッカーシーの方向性はMITのAI研究者にも批判された。マービン・ミンスキー、シーモア・パパート、ロジャー・シャンクは「ストーリー理解」や「物体認識」といった問題を解決しようとしており、それには人間のように思考する機械が「必要」だった。「椅子」や「レストラン」といった概念を普通に扱えるようにするには、人間が普通に行っているように非論理的な仮定をする必要がある。だが、そういった不正確な概念は論理で表現しづらい。ジェラルド・サスマンは「本質的に不正確な概念を説明するのに精密な言語を使っても、正確さは向上しない」と気付いた[107]。ロジャー・シャンクは彼らの「非論理的」アプローチを "scruffy"、マッカーシー、コワルスキー、ファイゲンバウム、ニューウェル、サイモンといった研究者のアプローチを "neat" と称した[108]。
1975年、ミンスキーは論文で "scruffy" の研究者らが似たようなツールを使っていることを記した。それは何らかの事物についての我々の常識的知識(英語版)を全て捉えるフレームワークである。例えば、「鳥」という概念を考えたとき、飛ぶ、虫を食べる、などといった一連の事実がすぐさま思い浮かぶ。我々はそれらの事実が常に真実ではないと知っているし、そういった事実を使った推論が「論理的」ではないと知っているが、我々が何かを語り考えるときそういった一群の構造化された前提が文脈の一部を形成している。彼はその構造を「フレーム(英語版)」と呼んだ[109]。シャンクはある種のフレーム群を「スクリプト(英語版)」と呼び、それを使って英語の短いストーリーについての質問に答えることに成功した[110]。
第2回AIブーム: 知識工学の時代 1980年–1987年
1980年代、AIプログラムの一形態である「エキスパートシステム」が世界中の企業で採用されるようになり、知識表現がAI研究の中心となった。同じころ、日本政府は第五世代コンピュータプロジェクトでAI研究に積極的に資金提供を行った。また、ジョン・ホップフィールドとデビッド・ラメルハートの業績によりコネクショニズムが復活を果たした。AI研究は再び活況を呈するようになった。
エキスパートシステムの隆盛
エキスパートシステムは、特定領域の知識について質問に答えたり問題を解いたりするプログラムで、専門家の知識から抽出した論理的ルールを使用する。初期の例として、エドワード・ファイゲンバウムらが開発した分光計の計測結果から化合物を特定するDendral(1965)[111]、伝染性血液疾患を診断するMycin(1972)がある。それらがこのアプローチの有効性を示した[112]。
エキスパートシステムは扱う領域を狭くし(それによって常識的知識の問題を回避し)、単純な設計でプログラムを構築しやすくすると同時に運用中も修正が容易となっている。エキスパートシステムは実用的であり、それまでのAIが到達できていなかった段階にまで到達した[113]。
1980年、CMUがDECのためにエキスパートシステムXCON(英語版)を完成させた。これはDECのVAXシステムの注文に対応したコンポーネントを過不足なく抽出するもので、1986年まで毎年4000万ドルの節約効果を発揮するという大成功を収めた[114]。世界各国の企業がエキスパートシステムの採用を始め、1985年には全世界で10億ドル以上をAIに支出しており、そのほとんどが企業内のAI部門への支出だった。それをサポートする産業も成長してきた。例えばハードウェア企業のシンボリックスやLMI(英語版)、ソフトウェア企業のインテリコープ(英語版)や Aion がある[115]。
知識革命
エキスパートシステムの能力は内蔵している専門家の知識に由来する。70年代を通して進展していたAI研究における新しい方向性の1つである。「AI研究者らは、それが倹約を旨とする科学の戒律を破ることになると知りつつ、知能が様々な方法で大量の多様な知識を使う能力に基づいている可能性が十分あると疑い始めていた」とパメラ・マコーダック(英語版)は書いている[116]。「1970年代からの大きな教訓は、知的行動は知識、時にそのタスクに関わる領域の非常に詳細な知識の扱い方に大きく依存しているということだった」[117] 1980年代には知識ベースシステムと知識工学がAI研究の大きな領域となった[118]。
1980年代にはCycプロジェクトも始まった。常識的知識問題(英語版)に正面から立ち向かう最初の試みであり、一般人が知っているレベルのあらゆる知識を集めた巨大なデータベースを構築するものである。このプロジェクトの創始者ダグラス・レナート(英語版)は、機械に人間の様々な概念の意味を教えるには近道はなく、人の手で概念を1つずつ学習させるしかないと主張した。プロジェクトの完了には何十年もかかると見られていた[119]。
資金復活:第五世代コンピュータプロジェクト
1981年、日本の通商産業省が570億円をかけた第五世代コンピュータプロジェクトを開始した。自然言語での人間との対話、機械翻訳、画像認識、人間のような推論など、様々な目標を実現するプログラムとマシンを構築することが目的とされていた[120]。"scruffy"側が悔しがったのは、彼らがProlog系の論理プログラミング言語をプロジェクトの主要言語とした点だった[121]。
これに他国も反応し、それぞれ新たな計画を立てた。イギリスは3億5000万ポンドをかけて Alvey プロジェクトを開始した。アメリカでは企業群がコンソーシアム Microelectronics and Computer Technology Corporation (MCC) を結成し、AIおよび情報技術の大規模プロジェクトに資金提供した[122][123]。DARPAも Strategic Computing Initiative を創設し、1984年から1988年にかけてAI研究への資金供給を3倍に増やした[124]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Hopfield-net.png/195px-Hopfield-net.png)
コネクショニズムの復活
1982年、物理学者のジョン・ホップフィールド(後にホップフィールド・ネットワークと呼ばれるようになった)は、ある形式のニューラルネットワークが従来とは全く異なる方法で学習し、情報を処理出来ることを示した。同じ頃、デビッド・ラメルハートは、ニューラルネットワークの新たな訓練方法である「バックプロパゲーション」を一般化させた(ポール・ワーボス(英語版)より数年早く発見した)。それら2つの発見によって、1970年以来下火になっていたコネクショニズムが復活した[123][125]。
1986年にラメルハートと心理学者のジェームズ・マクレランドの出版した2巻の論文集 Parallel Distributed Processing は、PDPモデルを提唱した。
ニューラルネットワークは1990年代には商業的成功を達成し、簡単な光学文字認識や音声認識のプログラムで使われるようになった[123][126]。
AIの冬第2期 1987−1993
1980年代商業界でのAIへの関心の高まりは一時的であり、バブル経済の古典的パターンを踏襲した。批判はあったが、AI研究はさらに進歩し続けた。ロドニー・ブルックスとハンス・モラベックはロボット工学を専門とする研究者で、人工知能について全く新しいアプローチを主張した。
AIの冬
「AIの冬(英語版)」という言葉は1974年の資金供給停止を生き延びた研究者らが作った用語であり、彼らはエキスパートシステムへの熱狂が制御不能となってその後に失望が続くのではないかと心配した[127]。彼らの心配は現実となり、80年代から90年代初めにかけてAI研究は再び資金難に陥った。
最初の兆候は、1987年にAI専用ハードウェアの市場が突然崩壊したことだった。AppleやIBMのデスクトップコンピュータは徐々に性能が向上し、1987年にはシンボリックスなどが生産する高価なLISPマシンを性能的に凌駕するようになった。LISPマシンを購入する理由がなくなり、5億ドルの市場が一瞬で消え去った[128]。
また、XCONなどの成功を収めた初期のエキスパートシステムは、維持コストが非常に高くつくことが判明した。更新が難しく学習機能もなく、入力が間違っているととんでもない答を返してくるという問題もあり、数年前に明らかとなっていた条件付与問題(英語版)の餌食となった。エキスパートシステムは確かに有効だったが、それはごく限られた状況でのみだった[129]。
80年代末、Strategic Computing InitiativeがAI研究への資金供給をカットした。新たなリーダーを迎えたDARPAはAIが「次の波」ではないと判断し、直近の成果が期待できるプロジェクトに資金を供給することにした[130]。
1991年、第五世代コンピュータプロジェクトも当初掲げた様々な目標を達成することなく完了した。なお、人間と目的もなく普通に会話するなどの目標は2010年ごろまで達成されなかった[131]。他のAIプロジェクトと同様、予測は実際に可能だったものよりずっと高く設定されていた[131]。
実体を持つことの重要性: 新AIと推論の具現化
80年代末、一部の研究者はロボット工学に基づく全く新しいアプローチを主張した[132]。彼らは機械が真の知性を獲得するには「身体」が必要だと信じていた。すなわち、知覚し、動き、生き残り、世界とやりとりできる身体が必要だとした。常識推論(英語版)のような高いレベルの能力には感覚運動能力が必須であり、抽象的推論は人間の能力としては興味深くないし重要でもないという主張である(モラベックのパラドックス)。彼らは知能を「ボトムアップで」構築することを主張した[133]。
このアプローチは60年代以来下火だったサイバネティックスと制御理論の考え方を復活させた。もう1人の先駆者は70年代末にMITにやってきたデビッド・マーで、それ以前に視覚の理論神経学的研究で成功を収めていた。彼は全ての記号的アプローチ(マッカーシーの論理やミンスキーのフレーム)を廃し、記号処理の前にボトムアップで視覚の物理的機構を理解する必要があると主張した。なお、マーは1980年に志半ばで白血病で亡くなった。[134]
1990年の論文"Elephants Don't Play Chess"で、ロボット工学者ロドニー・ブルックスは物理記号システム仮説(英語版)を正面から扱い、「世界はそれ自身の最良のモデルである。それは正に常に最新である。知るべき詳細は常にそこにある。秘訣は適切かつ十分頻繁に世界を感知することである」と述べ、記号は常に必要とは限らないと主張した[135]。80年代から90年代にかけて、多くの認知科学者が精神の記号処理モデルを退け、推論には身体が本質的に必要だと主張し、その理論を「身体化された心(英語版)のテーゼ」と呼んだ[136]。
1993年以降
AIは半世紀以上の歴史を経て、当初のいくつかの目標を達成するまでになった。裏方的ではあるが、産業界の様々な場所で使われ始めている。成功の一因はコンピュータの性能向上だが、具体的な特定の問題に集中した結果でもある。それでもビジネスの世界でのAIの評判は純粋なものとは言えない。1960年代に人間並みの知能をコンピュータで実現するという夢が何故失敗したかについて、AI研究者の間でも意見は一致していないが、少なくともコンピュータの性能が低かったことは非常に大きな障壁となっていた。様々な要因からAIは競合する小さな領域に分かれていき、それぞれ特定の問題やアプローチを扱うようになり、時には「人工知能」の流れを汲んでいることをごまかした新しい名称で呼ばれるようになった[137]。AI研究は従来よりも特定のアプリケーションに対して特化することで地味ではあるが成功を収めた。
マイルストーンとムーアの法則
1997年5月11日、ディープ・ブルーがチェスの世界チャンピオンであるガルリ・カスパロフに勝利した[138]。2005年のDARPAグランド・チャレンジで、スタンフォード大学のロボットカーが優勝した。これは、リハーサルなしで砂漠の中の131マイルの道のりをロボットカーが自律的に走破するレースである[139]。2年後のDARPAアーバンチャレンジでは、市街地を想定した55マイルのコース(障害物があり、法律遵守も求められる)をロボットカーが自律的に走破し、CMUのチームが優勝した[140]。2011年2月、クイズ番組「ジェパディ!」にIBMの質問応答システム「ワトソン」が参加し、圧倒的な差で2人のチャンピオンを破って優勝した[141]。
それらの成功は何か革新的な新パラダイムがもたらしたのではなく、アプリケーションの地道な改良とコンピュータのすさまじい性能向上によるものである[142]。実際、1951年に世界初のチェスプログラムが動作した Ferranti Mark 1 に比べると、ディープ・ブルーは1000万倍の性能である[143]。この劇的な進化はムーアの法則に沿ったもので、コンピュータの速度とメモリ容量は2年ごとに倍増すると予言した法則である。かつて根本問題の1つだった「コンピュータ性能の限界」は徐々に克服されつつある。
知的エージェント
90年代になると「知的エージェント」と呼ばれる新たなパラダイムが広く受け入れられるようになった[144]。初期の研究者らはAIに迫るためにモジュール化された分割統治法を提案していたが[145]、知的エージェントが現代的形態に到達するのはジューディア・パールやアレン・ニューウェルといった研究者がAI研究に決定理論や経済学の概念を持ち込んで以降である[146]。経済学における合理的エージェント(英語版)の定義と計算機科学におけるオブジェクトまたはモジュールの定義が出会い、知的エージェントのパラダイムが完成した。
知的エージェントは環境を知覚し、成功の確率を最大化する行動をとる。この定義によれば、特定の問題を解く単純なプログラムも「知的エージェント」であり、人間も人間の組織、例えば企業も知的エージェントである。「知的エージェント」パラダイムでは、AI研究は「知的エージェント研究」と定義される。これは初期のAIの定義の一部を一般化したもので、単に人間の知能を研究するのではなく、あらゆる知性を研究対象とすることになる[147]。
このパラダイムにより、孤立した問題を研究し、検証可能で実用的な解法を求めることが意味のあることだと言えるようになった。問題を説明し、経済学や制御理論など抽象的エージェントの概念を扱う他の分野も含めて問題の解決策を共有できる共通語を提供している。いつの日か、完全なエージェントアーキテクチャ(例えば、ニューウェルのSOAR)によって、対話型知的エージェントからより多用途で知的なシステムが構築できるようになることが望まれている[146][148]。
"neat" の勝利
AI研究者はかつてないほど洗練された数学的ツールを開発し使い始めている[149]。AI研究で解決する必要のあった多くの問題が、数学、経済学、オペレーションズ・リサーチなどの分野の研究者によって既に解決されている。共通の数学的言語を使うことで、より確立された分野と高いレベルで協力でき、測定可能かつ検証可能な成果が生み出され、AIはさらに厳密な「科学的」領域となった。Russell & Norvig (2003)はこれを「革命」であり「"neat"の勝利」に他ならないと記している[150][151]。
ジューディア・パールの1988年の著書[152]は、AIに確率と決定理論をもたらし、大きな影響を及ぼした。多くの実用化されたツールが、ベイジアンネットワーク、隠れマルコフモデル、情報理論、確率的モデリング(英語版)、古典的最適化などを活用している。ニューラルネットワークや進化的アルゴリズムといった「計算知能」パラダイムのための正確な数学的記述も発展してきた[150]。
様々な場面で裏方として働くAI
元々はAI研究者が開発したアルゴリズムが大規模システムの一部として使われ始めている。AIは様々な非常に難しい問題を解決してきており、その解法は実用的であることが証明されてきた[153]。例えば、データマイニング、産業用ロボット、物流[154]、音声認識[155]、銀行のソフトウェア[156]、医療診断[156]、Googleの検索エンジンなどが挙げられる[157]。
それらの成功がAIのおかげだということはほとんど知られていない。AIの偉大な技術革新の多くは、達成と同時に計算機科学のありふれたアイテムとして扱われてきた[158]。ニック・ボストロムは「AIの最先端の多くは、十分に実用的で一般的になったとたんAIとは呼ばれなくなり、一般のアプリケーションに浸透していく」と説明している[159]。
1990年代のAI研究者の多くは、意図的に自らの仕事を別の名前で呼んでいた。例えば、インフォマティクス、知識ベース、認知システム、計算知能などである。その理由の一部は、彼らが自分の研究をAIとは全く異なるものだと思っていたからだが、新しい名前をつけることで資金提供を受けられるという面もあった。少なくとも産業界では「AIの冬」をもたらした失敗の影が払拭されておらず、ニューヨークタイムズ紙は2005年に「無謀な夢を見る人とみなされることを恐れ、計算機科学者やソフトウェア工学者は人工知能という用語の使用を避けた」と記している[160]。
1980年代の産業界ではファジィ理論を指す「ファジィ」と並んで、ニューラルネットワークを指す「ニューロ」という言葉がバズワード化し、白物家電製品にも搭載が明記されていた。1990年代に入るとファジィ理論とニューラルネットワークを組み合わせたニューロファジィが様々な製品に搭載されるようになり、白物家電製品にも機能として「ニューロファジィ」等と明記されるようになった。しかし、本来裏方の制御技術であって、利用者から見て目立つ機能では無いため、2000年頃には殆どの製品で明記されなくなっていた。
HAL 9000 はどこに? 2001年前後
1968年、アーサー・C・クラークとスタンリー・キューブリックは、2001年には人間並みか人間を越えた知性を持ったマシンが存在するだろうと想像した。彼らが創造したHAL 9000は、当時のAI研究者が2001年には存在するだろうと予測していたものだった[161]。
マービン・ミンスキーは、「そこで問題は、なぜ我々は2001年になってもHALを実現していないのかだ」と問題提起した[162]。ミンスキーはAIの中心的課題(例えば常識推論(英語版))が無視され、多くの研究者がニューラルネットワークや遺伝的アルゴリズムの商用アプリケーションを追求しているのが原因だと信じている。一方ジョン・マッカーシーはいまだに条件付与問題(英語版)を非難している[163]。レイ・カーツワイルはコンピュータの性能がまだ十分ではないからだと考え、ムーアの法則から人間並みの知能を持った機械が出現するのは2029年だと予測している[164]。ジェフ・ホーキンスは、ニューラルネットワークの研究が人間の大脳皮質の基本的性質を無視し、簡単な問題を解くことに成功した簡単なモデルを好む傾向があると主張している[165]。他にも様々な説明があり、それぞれに対応して進行中の研究計画が存在する。
ディープラーニングに向けた準備
2000年に制限ボルツマンマシンやコントラスティブ・ダイバージェンスの提案が行われた。これらの提案は、2006年にディープラーニングの発明に向かう道筋を作った。
第3回AIブーム: ディープラーニングの時代 2006年−
2005年、遅くとも2045年には人工知能が知識・知能の点で人間を遥かに超越し、科学技術の進歩を主体的に担い世界を変革する技術的特異点(シンギュラリティ)が訪れているとする説をレイ・カーツワイルが著作で発表し物議を醸した。
2006年にジェフリー・ヒントンによりオートエンコーダを利用したディープラーニングが発明された。この発明は人手を介さず特徴量を抽出できる点で、人間による知識表現の必要が無くなり、人工知能における大きなブレイクスルーとなった。この瞬間、長らく暗黒時代を迎えていたコネクショニズムが突如として復活することになった。同時に、人間が知識表現を行うことで生じていた記号接地問題も解決された。
2010年には、インターネットを流れるデータ転送量の増大を受けて、ビッグデータという用語が提唱された。
自動運転研究の進展
2010年代になると自動車や航空機での完全自動運転が実現可能と目されるようになり、自動車を中心に研究が盛んになった。商業販売を目指して公道走行試験が続き、限定的なオートクルーズ機能を持つ車も現れた。
また軍事利用の可能性についても議論されるようになった(この時代にも既に各国は無人戦闘機UCAV、無人自動車ロボットカーを運用していたが、遠隔操作であり完全な自動化には至っていなかった。UCAVは利用されているが、一部操作は地上から行っている)。日本ではP-1(哨戒機)のように戦闘指揮システムに支援用の人工知能が搭載された。
2016年6月、米シンシナティ大学の研究チームが開発した戦闘機操縦用のAIプログラム「ALPHA」が、元米軍パイロットとの模擬空戦で一方的に勝利したと発表された。AIプログラムは遺伝的アルゴリズムとファジィ制御を使用しており、アルゴリズムの動作に高い処理能力は必要とせず、Raspberry Pi上で動作可能[166][167]。
第3次人工知能ブーム
2012年の物体の認識率を競うILSVRCにおける、GPU利用による大規模ディープラーニング(ジェフリー・ヒントン率いる研究チームがAlex-netで出場した)の大幅な躍進、同年のGoogleによるディープラーニングを用いたYouTube画像からの猫の認識成功の発表により、世界各国において再び人工知能研究に注目が集まり始めた。この社会現象は第3次人工知能ブームと呼ばれる。その後、ディープラーニングの研究の加速と急速な普及を受けて、レイ・カーツワイルが2005年に提唱していた技術的特異点という概念は、急速に世界中の識者の注目を集め始めた。
2013年、国立情報学研究所[168]や富士通研究所の研究チームが人工知能「東ロボくん」で東京大学入試の模擬試験に挑んだと発表した。数式の計算や単語の解析にあたる専用プログラムを使い、実際に受験生が臨んだ大学入試センター試験と東大の2次試験の問題を解読した。代々木ゼミナールの判定では「東大の合格は難しいが、私立大学には合格できる水準」だった。しかし2016年11月、「東ロボくん」は東大合格を諦めるとの報道があった。[169]
2014年、弱いAI「Eugene」が英国のレディング大学で行われたイベントで33%の試験官に人間であると判定されチューリングテストに合格。しかし13歳で英語が母国語でないという設定から物議をかもす。[170]
2014年には、1990年代からシリコンバレーにて医療用システムの研究開発を行い、2010年代からは日本でスーパーコンピュータの研究開発を推進している斎藤元章により、特異点に先立ち、オートメーション化とコンピューター技術の進歩により衣食住の生産コストがゼロに限りなく近づくというプレ・シンギュラリティという概念も提唱された。
ジェフ・ホーキンスが独自の理論に基づき、人工知能の実現に向けて研究を続けた。ジェフ・ホーキンスは、著書『考える脳 考えるコンピューター』の中で自己連想記憶理論という独自の理論を展開している。
ロボット向け人工知能としては、MITコンピュータ科学・人工知能研究所のロドニー・ブルックスが提唱した包摂アーキテクチャという理論が登場している。これは従来型の「我思う、故に我あり」の知が先行する人工知能ではなく、体の神経ネットワークのみを用いて環境から学習する行動型システムを用いている。これに基づいたゲンギスと呼ばれる六本足のロボットは、いわゆる「脳」を持たないにも関わらず、まるで生きているかのように行動する。
実用化の波
2016年3月、米グーグルの子会社DeepMindが作成した囲碁対戦用AI「AlphaGo」が人間のプロ囲碁棋士に勝利。
2016年10月、DeepMindが入力された情報の関連性を導き出し仮説に近いものを導き出す人工知能技術「ディファレンシャブル・ニューラル・コンピューター」を発表。[171]
2016年10月、Microsoftの開発する音声認識ソフトの聞き取りエラー率が人間並みになったと発表。[172]
2016年11月、DeepMindが大量のデータが不要の「ワンショット学習」を可能にする深層学習システムを開発。[173]
2016年11月、DeepMindがAIの学習を従来比で10倍高速化させる新手法を発表。[174]
2016年11月、ニューラル機械翻訳システムGoogle Neural Machine Translationが翻訳にあたって独自に普遍的な言語を作成しており、それに基づいて学習していない言語も翻訳できるという論文が発表される。[175]
2017年1月、初歩的な自己改良プログラムが成功しているとのレポートをMITが公表。[176]
2017年3月、DeepMindがニューラルネットワークが持つ欠陥「破滅的忘却」を回避するアルゴリズムを開発。[177]
2017年6月、DeepMindが関係推論のような人間並みの認識能力を持つシステムを開発。[178]
2017年6月、Facebookが開発したチャットボット同士に会話させていたところAIが英語を基にした独自の言語を生み出したと発表。[179]
2017年8月、DeepMindが記号接地問題(シンボルグラウンディング問題)を解決した[180]。
2010年代後半には、深層学習の実用化成功により、AIの文字を新聞で見かけない日がないほどのAIブームが再来し、企業も人工知能という言葉を積極的に使っている。最終的には人間が生み出した知性が宇宙を満たし、情報処理が物理法則までも支配するというシンギュラリティ仮説や労働が不要の「瑞穂の国」が出現するというプレ・シンギュラリティ仮説が一定の支持を集めるなど、AIに対する期待は高まった。一方でAIによるディストピア論や、現状はAIに対する期待に技術が追い付いていないAIバブルだと批判する声もあった。
デミス・ハサビスは「AIの歴史は誤ったはしごに登っては下りるの繰り返しだった。 『正しいはしご』にたどり着いたのは、大きい」と、AIの冬が再び訪れない可能性に言及した。[181]
医療分野では、患者の大量の医療記録をAIに学習させる事で自殺願望があるかどうかを80%以上の精度で特定できるという研究結果がいくつかあり、AIをセラピストのように人を救う事に活用できないか模索されている[182]。
2018年8月31日、原油高が大きな負担となっていたJALがNECに開発を依頼して新たにAI支援による旅客システムを導入し、約50年続けてきた人間の経験に基づく旅客システム運用を取り止めたことで、空席を殆ど0にまで削減することに成功し、大幅に利益率を向上させた事例が報告された[183]。この事例はディープラーニング以後のAIが絶大な社会的インパクトをもたらす根拠となる事例と言える。
画像生成AIの隆盛
2022年4月にOpenAIから画像生成AIの一種であるDALL-Eが公開される。
2022年7月、Midjourneyのオープンベータ版が公開され、条件次第で極めて人間に近い、あるいは上回る水準でのイラスト生成が簡単に可能だと世界的な話題となる。人間の参加する絵画コンテストにてMidjourney製のイラストが優勝する事態[184]も起きる。
2022年8月にStable Diffusionがオープンソースとして公開。 2022年10月にNovelAIの日本風イラストに強い画像生成機能が公開され、利用するユーザーの増加に伴い日本のpixiv、FANZA等が対応。
2022年以前には画像認識やカメラ補正などソフトウェアの一部として既に高度なAI技術が利用されていたが、「絵を描く」というそれまでAIの苦手分野だと予想されてきた分野に飛躍的な成果が表れたことで生成AI(ジェネレーティブAI)に対し大きく注目が集まった。
また、「AIがイラストレーターの仕事を奪う」「著作権の侵害」とAIアートへの反発も話題となる。2023年、電子情報通信学会は「生成系AIの研究をやみくもに停止すべきではない」と声明を発表[185]。
ChatGPTの登場
2020年にOpenAIより自然言語処理モデルであるGPT-3が公開される。2022年11月にChatGPTが公開されると、世界的な関心を集めた。対話型の生成AIであるChatGPTはプログラミングを含む多種多様な用途・業務への応用が可能であり、これを利用して論文を書く例も現れている。
2023年2月、MicrosoftはMicrosoft Bingにネット検索と連動可能なAIチャット機能を追加。世界初の対話型AIを搭載する検索エンジンとなった。
2023年3月、GPT-4に米国の模擬司法試験問題を解かせたところ上位10%に匹敵する成績を出した。日本の司法試験でも合格は厳しいがそれなりに高い正答率を示している[186][187][188]。
脚注
- ^ McCorduck 2004.
- ^ 例えば Kurzweil (2005) では、2029年までに人間並みの知性を持つマシンが出現すると主張している。
- ^ Turing 1950, p. 460.
- ^ McCorduck 2004, pp. 5–35.
- ^ McCorduck 2004, p. 5; Russell & Norvig 2003, p. 939
- ^ O'Connor 1994.
- ^ McCorduck 2004, pp. 13–14.
- ^ Buchanan 2005, p. 50.
- ^ McCorduck 2004, pp. 15–16.
- ^ McCorduck 2004, pp. 17–25.
- ^ Butler 1863.
- ^ Needham 1986, p. 53.
- ^ McCorduck 2004, p. 6.
- ^ Nick 2005.
- ^ McCorduck 2004, p. 17; Levitt 2000
- ^ McCorduck 2004, p. 8 における引用。 Crevier 1993, p. 1 と McCorduck 2004, pp. 6–9 では神聖な彫像について論じている。
- ^ 他の重要なオートマタとしては、ハールーン・アッ=ラシードが作ったもの(McCorduck 2004, p. 10)、ジャック・ド・ヴォーカンソンが作ったもの(McCorduck 2004, p. 16)、レオナルド・トーレス・ケベードが作ったもの(McCorduck 2004, pp. 59–62) などがある。
- ^ a b c d Berlinski 2000.
- ^ Cfr. Carreras Artau, Tomás y Joaquín. Historia de la filosofía española. Filosofía cristiana de los siglos XIII al XV. Madrid, 1939, Volume I
- ^ Bonner, Anthonny, The Art and Logic of Ramón Llull: A User's Guide, Brill, 2007.
- ^ Anthony Bonner (ed.), Doctor Illuminatus. A Ramon Llull Reader (Princeton University 1985). Vid. "Llull's Influence: The History of Lullism" at 57-71
- ^ 17世紀の哲学者とAI:
- McCorduck 2004, pp. 37–46
- Russell & Norvig 2003, p. 6
- Haugeland 1985, chpt. 2
- Buchanan 2005, p. 53
- ^ ホッブズとAI:
- McCorduck 2004, p. 42
- Hobbes 1651, chapter 5
- ^ ライプニッツとAI:
- McCorduck 2004, p. 41
- Russell & Norvig 2003, p. 6
- Berlinski 2000, p. 12
- Buchanan 2005, p. 53
- ^ ラムダ計算はLISP(AIでよく使われていた重要な言語)の着想の元になっており、特にAIにおいて重要である。(Crevier 1993, pp. 190 196, 61)
- ^ チューリングマシン: McCorduck 2004, pp. 63–64; Crevier 1993, pp. 22–24; Russell & Norvig 2003, p. 8 および Turing 1936 を参照
- ^ Menabrea 1843.
- ^ McCorduck 2004, pp. 61–62, 64–66; Russell & Norvig 2003, pp. 14–15
- ^ McCorduck 2004, pp. 76–80.
- ^ 各節の開始年と終了年は、Crevier 1993 と Russell & Norvig 2003, p. 16−27 による。テーマ、トレンド、プロジェクトについては、最も重要な仕事がされた時期に対応した節で扱っている。
- ^ McCorduck 2004, pp. 51–57, 80–107; Crevier 1993, pp. 27–32; Russell & Norvig 2003, pp. 15, 940; Moravec 1988, p. 3; Cordeschi, 2002 & Chap. 5
- ^ McCorduck 2004, p. 98; Crevier 1993, pp. 27−28; Russell & Norvig 2003, pp. 15, 940; Moravec 1988, p. 3; Cordeschi, 2002 & Chap. 5
- ^ McCorduck 2004, pp. 51–57, 88–94; Crevier 1993, p. 30; Russell & Norvig 2003, p. 15−16; Cordeschi, 2002 & Chap. 5; McCullough & Pitts 1943
- ^ McCorduck 2004, p. 102; Crevier 1993, pp. 34−35; Russell & Norvig 2003, p. 17
- ^ "A Brief History of Computing" at AlanTuring.net.
- ^ Schaeffer, Jonathan. One Jump Ahead:: Challenging Human Supremacy in Checkers, 1997,2009, Springer, ISBN 978-0-387-76575-4. Chapter 6.
- ^ McCorduck 2004, pp. 70−72; Crevier 1993, p. 22−25; Russell & Norvig 2003, pp. 2−3 and 948; Haugeland 1985, pp. 6−9; Cordeschi 2002, pp. 170–176; Turing 1950
- ^ Norvig & Russell (2003, p. 948) では、チューリングが論文が発表されて以来数年間のAIに対する全ての主な反論に答えたと主張している。
- ^ McCorduck 2004, pp. 137–170; Crevier 1993, pp. 44–47
- ^ McCorduck 2004, pp. 123–125; Crevier 1993, pp. 44−46; Russell & Norvig 2003, p. 17
- ^ Crevier 1993, p. 46 と Russell & Norvig 2003, p. 17での引用
- ^ Russell & Norvig 2003, p. 947,952.
- ^ McCorduck 2004, pp. 111–136; Crevier 1993, pp. 49–51; Russell & Norvig 2003, p. 17
- ^ McCarthy et al. 1955.
- ^ Crevier (1993, p. 48) でCrevierは「(この提案書が)後に "physical symbol systems hypothesis"(物理記号システム仮説)と呼ばれるようになった」と記している。物理記号システム(英語版)仮説はニューウェルとサイモンがGPSについての論文(Newell & Simon 1963)で明確化し名付けたものである。その中では「機械」をより具体的に記号を操作するエージェントと定義している。
- ^ McCorduck (2004, pp. 129–130) では、ダートマス会議参加者が最初の20年間のAI研究で重要な役割を果たしたことを論じ、彼らを "invisible college" と呼んでいる。
- ^ 「誓うことはできないが、私はそれまでその言葉を見たことがなかった」とマッカーシーは1979年、パメラ・マコーダック(英語版)に語った(McCorduck 2004, p. 114)。一方CNETのインタビューでは率直に「私がその用語を考案した」と述べている(Skillings 2006)。
- ^ Crevier (1993, pp. 49) で「この会議が一般的にこの新たな科学領域の公式な誕生日と認められている」と記している。
- ^ Russell と Norvig は「コンピュータがずば抜けて賢いことをしたときはいつでも驚異的だった」と記している。Russell & Norvig 2003, p. 18
- ^ Crevier 1993, pp. 52−107; Moravec 1988, p. 9; Russell & Norvig 2003, p. 18−21
- ^ McCorduck 2004, p. 218; Crevier 1993, pp. 108−109; Russell & Norvig 2003, p. 21
- ^ Crevier 1993, pp. 52−107; Moravec 1988, p. 9
- ^ McCorduck 2004, pp. 247–248; Russell & Norvig 2003, pp. 59−61
- ^ McCorduck 2004, p. 246; Russell & Norvig 2003, pp. 21−22
- ^ McCorduck 2004, pp. 245–250; Crevier 1993, p. GPS?; Russell & Norvig 2003, p. GPS?
- ^ Crevier 1993, pp. 51−58, 65−66; Russell & Norvig 2003, pp. 18−19
- ^ McCorduck 2004, pp. 268–271; Crevier 1993, pp. 95−96; Moravec 1988, pp. 14−15
- ^ McCorduck 2004, p. 286; Crevier 1993, pp. 76−79; Russell & Norvig 2003, p. 19
- ^ Crevier 1993, pp. 79−83.
- ^ Crevier 1993, pp. 164−172.
- ^ McCorduck 2004, pp. 291–296; Crevier 1993, pp. 134−139
- ^ McCorduck 2004, pp. 299–305; Crevier 1993, pp. 83−102; Russell & Norvig 2003, p. 19; Copeland 2000
- ^ McCorduck 2004, pp. 300–305; Crevier 1993, pp. 84−102; Russell & Norvig 2003, p. 19
- ^ Simon & Newell 1958, p. 7−8(Crevier 1993, p. 108にて引用)
- ^ Russell & Norvig 2003, p. 21.
- ^ Simon 1965, p. 96(Crevier 1993, p. 109にて引用)
- ^ Minsky 1967, p. 2(Crevier 1993, p. 109にて引用)
- ^ ミンスキーはこれが誤った引用だと強く主張している。詳しくは McCorduck 2004, pp. 272–274; Crevier 1993, p. 96; Darrach 1970 を参照
- ^ Crevier 1993, pp. 64−65.
- ^ Crevier 1993, p. 94.
- ^ Howe 1994.
- ^ McCorduck 2004, p. 131; Crevier 1993, p. 51. McCorduck はまた、1956年のダートマス会議参加者の指示で資金提供が行われたと指摘している。
- ^ Crevier 1993, p. 65.
- ^ Crevier 1993, pp. 68−71.
- ^ Crevier 1993, pp. 100−144; Russell & Norvig 2003, pp. 21−22
- ^ a b McCorduck 2004, pp. 104−107; Crevier 1993, pp. 102−105; Russell & Norvig 2003, p. 22
- ^ Crevier 1993, pp. 163−196.
- ^ Crevier 1993, p. 146.
- ^ Russell & Norvig 2003, pp. 20−21.
- ^ Crevier 1993, pp. 146−148; Buchanan 2005, p. 56: 「初期のプログラムは性能とメモリ容量の限界から必然的に対象範囲を狭くせざるを得なかった」
- ^ Moravec 1976. マッカーシーはSAILで同僚として働いていたころからモラベックとは常に意見が合わなかった。彼はCNETのインタビューで「50年前ならマシンの能力が低すぎると言っただろうが、30年前ならマシン性能が真の問題とは言えなかった」と述べている。(Skillings 2006)
- ^ Hans Moravec, ROBOT: Mere Machine to Transcendent Mind
- ^ Russell & Norvig 2003, pp. 9, 21−22; Lighthill 1973
- ^ McCorduck 2004, pp. 300 & 421; Crevier 1993, pp. 113−114; Moravec 1988, p. 13; Lenat & Guha 1989, (Introduction); Russell & Norvig 2003, p. 21
- ^ McCorduck 2004, p. 456; Moravec 1988, pp. 15−16
- ^ McCarthy & Hayes 1969; Crevier 1993, pp. 117−119
- ^ McCorduck 2004, pp. 280–281; Crevier 1993, p. 110; Russell & Norvig 2003, p. 21. NRC 1999 では "Success in Speech Recognition" とされている。
- ^ Crevier 1993, p. 117; Russell & Norvig 2003, p. 22; Howe 1994; Lighthill 1973
- ^ Russell & Norvig 2003, p. 22; Lighthill 1973. ジョン・マッカーシーは Lighthill report のレビューで反論として「組合せ爆発問題はAI研究の当初からわかっていたことだ」と記している。
- ^ Crevier 1993, pp. 115−116. 他の見方として、McCorduck 2004, pp. 306–313 や NRC 1999 では "Success in Speech Recognition" としている。
- ^ Crevier 1993, p. 115. モラベックは「DARPAとの当初の約束がそもそも楽観的すぎた。もちろん実際の成果は、そのかなり手前で止まった状態だった。しかし、彼らは次の提案で前回より控えめに約束することはできないと考え、さらに多くのことを約束した」と述べている。
- ^ NRC 1999 では "Shift to Applied Research Increases Investment" と題している。自律式戦車は失敗したが、戦闘指揮システム(DART)は大いに成功を収め、湾岸戦争で威力を発揮した。
- ^ Crevier 1993, p. 22; Russell & Norvig 2003, pp. 949−950; Hofstadter 1979, pp. 471−477; Lucas 1961
- ^ "Know-how" はドレイファスの用語。ドレイファスは "knowing how" と "knowing that" を区別しており、ハイデッガーの「用具的存在」と「客体的存在」の区別の現代版である。 (Dreyfus & Dreyfus 1986)
- ^ McCorduck 2004, pp. 211−239; Crevier 1993, pp. 120−132; Russell & Norvig 2003, pp. 950−952; Dreyfus 1965; Dreyfus 1972
- ^ McCorduck 2004, pp. 443−445; Crevier 1993, pp. 269−271; Russell & Norvig 2004, pp. 958−960; Searle 1980
- ^ Crevier 1993, p. 143 での引用
- ^ Crevier 1993, p. 122 での引用
- ^ 「私は、ドレイファスと一緒に昼食をとるAIコミュニティの唯一のメンバーとなった。そして私は意図的に、彼らのやり方が人を扱う方法ではなかったことを明らかにした」 ジョセフ・ワイゼンバウム。 Crevier 1993, p. 123 での引用
- ^ McCorduck 2004, pp. 356−373; Crevier 1993, pp. 132−144; Russell & Norvig 2003, p. 961; Weizenbaum 1976
- ^ McCorduck 2004, p. 51; Russell & Norvig 2003, pp. 19, 23
- ^ McCorduck 2004, p. 51; Crevier 1993, pp. 190−192
- ^ Crevier 1993, pp. 193−196.
- ^ Crevier 1993, pp. 145−149, 258−63.
- ^ Wason (1966) では、完全に抽象的な問題を解くことが不得意でも、直観的な社会的知性を使えるように問題文を書き換えると、劇的に成績が向上することを示した。Tversky, Slovic & Kahnemann (1982) では、人間は不確かな推論を伴う初歩的な問題も苦手だということを示した。ロッシュの業績は Lakoff (1987) で紹介されている。
- ^ マッカーシーの考え方の初期の例はサイエンス誌の記事に見られ、彼は「それがAIだ。だから我々は心理学的なリアルさを気にしていない」と述べている(Kolata 1982)。最近では AI@50(英語版) 会議で「人工知能は定義上、人間の知能のシミュレーションではない」と述べている(Maker 2006)。
- ^ Crevier 1993, pp. 175.
- ^ Neat vs. scruffy: McCorduck 2004, pp. 421–424 では1984年の論争を取り上げている。Crevier 1993, pp. 168 ではシャンクが初めてそれらの語を使ったことを示している。
- ^ Minsky 1974.
- ^ McCorduck 2004, pp. 305–306; Crevier 1993, pp. 170−173, 246; Russell & Norvig 2003, p. 24
- ^ McCorduck 2004, pp. 327–335.
- ^ Crevier 1993, pp. 148−159; Russell & Norvig 2003, pp. 22−23
- ^ Crevier 1993, pp. 158−159; Russell & Norvig 2003, p. 23−24
- ^ Crevier 1993, p. 198.
- ^ McCorduck 2004, pp. 434–435; Crevier 1993, pp. 161−162, 197−203; Russell & Norvig 2003, p. 24
- ^ McCorduck 2004, p. 299.
- ^ McCorduck 2004, pp. 421.
- ^ McCorduck 2004, pp. 266–276, 298–300, 314, 421; Russell & Norvig 2003, pp. 22–23
- ^ McCorduck 2004, p. 489; Crevier 1993, pp. 239−243; Russell & Norvig 2003, p. 363−365; Lenat & Guha 1989
- ^ McCorduck 2004, pp. 436–441; Crevier 1993, pp. 211; Russell & Norvig 2003, p. 24; Feigenbaum & McCorduck 1983
- ^ Crevier 1993, pp. 195.
- ^ Crevier 1993, pp. 240.
- ^ a b c Russell & Norvig 2003, p. 25
- ^ McCorduck 2004, pp. 426–432; NRC 1999 の "Shift to Applied Research Increases Investment"
- ^ Crevier 1993, pp. 214−215.
- ^ Crevier 1993, pp. 215−216.
- ^ Crevier 1993, pp. 203. "AI winter" はアメリカ人工知能学会がセミナーのタイトルに使ったのが最初である。
- ^ McCorduck 2004, p. 435; Crevier 1993, pp. 209−210
- ^ McCorduck 2004, p. 435 では、失敗の制度的理由を挙げている。Crevier 1993, pp. 204−208 では、学習や更新といったメンテナンスの困難さを指摘している。Lenat & Guha 1989, Introduction は条件付与の脆弱さと無力さを強調している。
- ^ McCorduck 2004, pp. 430–431.
- ^ a b McCorduck 2004, p. 441; Crevier 1993, p. 212
- ^ McCorduck 2004, pp. 454–462.
- ^ Moravec (1988, p. 20) "I am confident that this bottom-up route to artificial intelligence will one date meet the traditional top-down route more than half way, ready to provide the real world competence and the commonsense knowledge that has been so frustratingly elusive in reasoning programs. Fully intelligent machines will result when the metaphorical golden spike is driven uniting the two efforts."
- ^ Crevier 1993, pp. 183−190.
- ^ Brooks 1990, p. 3.
- ^ 例えば Lakoff & Turner 1989
- ^ McCorduck (2004, p. 424) では、AIが分裂し当初の目標を放棄したことを論じている。
- ^ McCorduck 2004, pp. 480–483.
- ^ DARPA Grand Challenge -- home page
- ^ DARPA Urban Challenge[リンク切れ]
- ^ Markoff, John (2011年2月16日). “On ‘Jeopardy!' Watson Win Is All but Trivial”. The New York Times. https://www.nytimes.com/2011/02/17/science/17jeopardy-watson.html
- ^ Kurzweil 2005, p. 274 ではコンピュータチェスの改良について「コンピュータ・ハードウェアの力ずくの拡張でのみ制御される」と記している。
- ^ Ferranti Mark 1 のサイクルタイムは1.2ミリ秒で、833FLOPSに相当する。ディープ・ブルーは 11.38GFLOPS(これにはディープ・ブルーのチェス専用ハードウェアを考慮していない)である。これらから大まかに計算すると 107 倍となる。
- ^ McCorduck 2004, pp. 471–478; Russell & Norvig 2003, p. 55 では "The whole-agent view is now widely accepted in the field" と記している。知的エージェントのパラダイムはAIの教科書でも採り上げられており、例えば以下がある。Russell & Norvig 2003, pp. 32−58, 968−972; Poole, Mackworth & Goebel 1998, pp. 7−21
- ^ カール・ヒューイットのアクターモデルは知的エージェントの先行例である。(Hewitt, Bishop & Steiger 1973); Doyle (1983)やMinsky (1986)でも "agent" という言葉を使っている。モジュール化の提案としては他にロドニー・ブルックスの包摂アーキテクチャ、オブジェクト指向プログラミングなどがある。
- ^ a b Russell & Norvig 2003, pp. 27, 55.
- ^ これが21世紀に入って最も広く受け入れられている教科書での人工知能の定義である。例えば、次がある。Russell & Norvig 2003, p. 32; Poole, Mackworth & Goebel 1998, p. 1
- ^ McCorduck 2004, p. 478.
- ^ McCorduck 2004, pp. 486–487; Russell & Norvig 2003, pp. 25–26
- ^ a b Russell & Norvig 2003, p. 25−26
- ^ McCorduck (2004, p. 487): "As I write, AI enjoys a Neat hegemony."
- ^ Pearl 1988.
- ^ NRC 1999 の "Artificial Intelligence in the 90s" および Kurzweil 2005, p. 264
- ^ Russell & Norvig 2003, p. 28.
- ^ 最先端のAIベースの音声認識については The Economist (2007) を参照
- ^ a b "AI-inspired systems were already integral to many everyday technologies such as internet search engines, bank software for processing transactions and in medical diagnosis." Nick Bostrom, quoted in CNN 2006
- ^ Olsen (2004); Olsen (2006)
- ^ McCorduck 2004, p. 423; Kurzweil 2005, p. 265; Hofstadter 1979, p. 601
- ^ CNN 2006
- ^ Markoff 2005; The Economist 2007; Tascarella 2006
- ^ Crevier 1993, pp. 108−109.
- ^ ミンスキーはこう続けている。「答えは、私は(HALを)持つことができると信じている(中略)あるとき私はニューラルネットワークの国際会議に出席した。4万人が参加登録していた。(中略)しかし、例えば国際会議を催しても常識推論について複数の表現を使うことができる研究者は全世界で6、7人しか見出せない」Minsky 2001
- ^ Maker 2006.
- ^ Kurzweil 2005.
- ^ Hawkins & Blakeslee 2004.
- ^ “Raspberry PiによるAIプログラム、軍用フライトシミュレーターを使った模擬格闘戦で人間のパイロットに勝利”. Business newsline. 2016年9月19日閲覧。
- ^ “〝トップ・ガン〟がAIに惨敗 摸擬空戦で一方的に撃墜 「子供用パソコンがハード」に二重のショック”. 産経WEST. 2016年9月19日閲覧。
- ^ 新井紀子がリーダー
- ^ https://web.archive.org/web/20161109084309/http://www.sankei.com/life/news/161108/lif1611080036-n1.html
- ^ http://wired.jp/2014/06/11/eugene-the-supercomputer/
- ^ https://ascii.jp/elem/000/001/249/1249977/
- ^ https://atmarkit.itmedia.co.jp/ait/articles/1610/20/news088.html
- ^ https://www.technologyreview.jp/s/12759/machines-can-now-recognize-something-after-seeing-it-once/
- ^ http://japan.zdnet.com/article/35092476/
- ^ http://wired.jp/2016/11/24/google-ai-language-create/
- ^ http://jp.techcrunch.com/2017/01/20/20170119ai-software-is-figuring-out-how-to-best-humans-at-designing-new-ai-software/
- ^ https://gigazine.net/news/20170315-elastic-weight-consolidation/
- ^ https://gigazine.net/news/20170616-deepmind-general-ai/
- ^ https://gigazine.net/news/20170802-facebook-ai/
- ^ https://www.nikkan.co.jp/articles/view/00439317
- ^ https://www.nikkei.com/article/DGXLASDZ01HE3_R00C17A6MM8000/
- ^ “人工知能を使えば、「自殺」を8割以上の確率で予測できる:研究結果”. WIRED.jp (2017年11月14日). 2017年11月14日閲覧。
- ^ “JAL、想定超すAI効果 新システムで一転増益も” (日本語). 日本経済新聞 電子版. https://www.nikkei.com/article/DGXMZO34784730Q8A830C1000000/ 2018年8月31日閲覧。
- ^ https://www.cnn.co.jp/tech/35192929.html
- ^ 「生成系AIの研究をやみくもに停止すべきではない」電子情報通信学会が声明 - PC Watch
- ^ 「GPT-4」登場。多くの試験を「人間レベル」で合格、画像認識も - PC Watch
- ^ 人工知能が日本の司法試験に挑戦! ChatGPT有料版の正答率は何%?GPT-4による追試結果も | クラウドサイン
- ^ OpenAIがGPT-4を発表…精度が向上、米司法試験で上位10%に | Business Insider Japan
参考文献
- Berlinski, David (2000), The Advent of the Algorithm, Harcourt Books, ISBN 0-15-601391-6, OCLC 46890682
- Buchanan, Bruce G. (Winter 2005), “A (Very) Brief History of Artificial Intelligence”, AI Magazine: pp. 53−60, https://ojs.aaai.org/index.php/aimagazine/article/view/1848 2023年1月7日閲覧。
- Brooks, Rodney (1990), “Elephants Don't Play Chess”, Robotics and Autonomous Systems 6: 3−15, doi:10.1016/S0921-8890(05)80025-9, http://people.csail.mit.edu/brooks/papers/elephants.pdf 2007年8月30日閲覧。
- Butler, Samuel (1863-06-13), “Darwin Among the Machines”, the Press, Christchurch, New Zealand, http://www.nzetc.org/tm/scholarly/tei-ButFir-t1-g1-t1-g1-t4-body.html 2008年10月10日閲覧。
- CNN (2006-07-26), AI set to exceed human brain power, CNN.com, https://edition.cnn.com/2006/TECH/science/07/24/ai.bostrom/ 2007年10月16日閲覧。
- Copeland, Jack (2000), Micro-World AI, http://www.alanturing.net/turing_archive/pages/Reference%20Articles/what_is_AI/What%20is%20AI06.html 2008年10月8日閲覧。
- Cordeschi, Roberto (2002), The Discovery of the Artificial, Dordrecht: Kluwer.
- Crevier, Daniel (1993), AI: The Tumultuous Search for Artificial Intelligence, New York, NY: BasicBooks, ISBN 0-465-02997-3
- Darrach, Brad (1970-11-20), “Meet Shakey, the First Electronic Person”, Life Magazine: pp. 58−68
- Doyle, J. (1983), “What is rational psychology? Toward a modern mental philosophy”, AI Magazine 4 (3): pp. 50−53
- Dreyfus, Hubert (1965), Alchemy and AI, RAND Corporation Memo
- Dreyfus, Hubert (1972), What Computers Can't Do, New York: MIT Press, ISBN 0-06-090613-8, OCLC 5056816
- Dreyfus, Hubert; Dreyfus (1986), Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer, New York: Free Press
- The Economist (2007-07-07), “Are You Talking to Me?”, The Economist, http://www.economist.com/science/tq/displaystory.cfm?story_id=9249338 2008年10月16日閲覧。
- Feigenbaum, Edward A.; McCorduck, Pamela (1983), The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World, Michael Joseph, ISBN 0-7181-2401-4
- Haenlein, Michael; Kaplan, Andreas (2019), “A Brief History of Artificial Intelligence: On the Past, Present, and Future of Artificial Intelligence”, California Management Review, doi:10.1177/0008125619864925 .
- Hawkins, Jeff; Blakeslee, Sandra (2004), On Intelligence, New York, NY: Owl Books, ISBN 0-8050-7853-3, OCLC 61273290
- Hebb, D.O. (1949), The Organization of Behavior, New York: Wiley, ISBN 0-8058-4300-0, OCLC 48871099
- Hewitt, Carl; Bishop, Peter; Steiger, Richard (1973) (PDF), A Universal Modular Actor Formalism for Artificial Intelligence, IJCAI, http://ijcai.org/Past%20Proceedings/IJCAI-73/PDF/027B.pdf
- Hobbes, Thomas (1651), Leviathan
- Hofstadter, Douglas (1979), Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, ISBN 0-465-02656-7, OCLC 225590743
- Howe, J. (1994-11), Artificial Intelligence at Edinburgh University: a Perspective, http://www.inf.ed.ac.uk/about/AIhistory.html 2007年8月30日閲覧。
- Haugeland, John (1985), Artificial Intelligence: The Very Idea, Cambridge, Mass.: MIT Press, ISBN 0-262-08153-9
- Kolata, G. (1982), “How can computers get common sense?”, Science 217 (4566): 1237–1238, doi:10.1126/science.217.4566.1237, PMID 17837639
- Kurzweil, Ray (2005), The Singularity is Near, Viking Press, ISBN 0-14-303788-9, OCLC 71826177
- Lakoff, George (1987), Women, Fire, and Dangerous Things: What Categories Reveal About the Mind, University of Chicago Press., ISBN 0-226-46804-6
- Lakoff, George; Turner, Mark (1989), More Than Cool Reason: A Field Guide to Poetic Metaphor, University of Chicago Press, ISBN 0-226-46812-7
- Lenat, Douglas; Guha, R. V. (1989), Building Large Knowledge-Based Systems, Addison-Wesley, ISBN 0-201-51752-3, OCLC 19981533
- Levitt, Gerald M. (2000), The Turk, Chess Automaton, Jefferson, N.C.: McFarland, ISBN 0-7864-0778-6
- Lighthill, Professor Sir James (1973), “Artificial Intelligence: A General Survey”, Artificial Intelligence: a paper symposium, Science Research Council
- Lucas, John (1961), “Minds, Machines and Gödel”, Philosophy 36 (XXXVI): 112–127, doi:10.1017/S0031819100057983, https://doi.org/10.1017/S0031819100057983 2008年10月15日閲覧。
- Maker, Meg Houston (2006), AI@50: AI Past, Present, Future, Dartmouth College, オリジナルの2013年4月27日時点におけるアーカイブ。, https://archive.is/20130427025008/http://www.megmaker.com/2006/07/ai50_ai_past_pr.html 2008年10月16日閲覧。
- Markoff, John (2005-10-14), “Behind Artificial Intelligence, a Squadron of Bright Real People”, The New York Times, http://www.nytimes.com/2005/10/14/technology/14artificial.html?_r=1&ei=5070&en=11ab55edb7cead5e&ex=1185940800&adxnnl=1&adxnnlx=1185805173-o7WsfW7qaP0x5/NUs1cQCQ&oref=slogin 2008年10月16日閲覧。
- McCarthy, John; Minsky, Marvin; Rochester, Nathan; Shannon, Claude (1955-08-31), A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html 2008年10月16日閲覧。
- McCarthy, John; Hayes, P. J. (1969), “Some philosophical problems from the standpoint of artificial intelligence”, in Meltzer, B. J.; Mitchie, Donald, Machine Intelligence 4, Edinburgh University Press, pp. 463−502, http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html 2008年10月16日閲覧。
- McCorduck, Pamela (2004), Machines Who Think (2nd ed.), Natick, MA: A. K. Peters, Ltd., ISBN 1-56881-205-1, OCLC 52197627
- McCullough, W. S.; Pitts, W. (1943), “A logical calculus of the ideas immanent in nervous activity”, Bulletin of Mathematical Biophysics 5 (4): 115−127, doi:10.1007/BF02478259
- Menabrea, Luigi Federico; Lovelace, Ada (1843), “Sketch of the Analytical Engine Invented by Charles Babbage”, Scientific Memoirs 3, http://www.fourmilab.ch/babbage/sketch.html 2008年8月29日閲覧。 With notes upon the Memoir by the Translator
- Minsky, Marvin (1967), Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice-Hall
- Minsky, Marvin; Papert, Seymour (1969), Perceptrons: An Introduction to Computational Geometry, The MIT Press, ISBN 0-262-63111-3, OCLC 16924756
- Minsky, Marvin (1974), A Framework for Representing Knowledge, http://web.media.mit.edu/~minsky/papers/Frames/frames.html 2008年10月16日閲覧。
- Minsky, Marvin (1986), The Society of Mind, Simon and Schuster, ISBN 0-671-65713-5, OCLC 223353010
- Minsky, Marvin (2001), It's 2001. Where Is HAL?, Dr. Dobb's Technetcast, http://www.ddj.com/hpc-high-performance-computing/197700454?cid=RSSfeed_DDJ_AI 2009年8月8日閲覧。
- Moravec, Hans (1976), The Role of Raw Power in Intelligence, http://www.frc.ri.cmu.edu/users/hpm/project.archive/general.articles/1975/Raw.Power.html 2008年10月16日閲覧。
- Moravec, Hans (1988), Mind Children, Harvard University Press, ISBN 0-674-57618-7, OCLC 245755104
- NRC (1999), “Developments in Artificial Intelligence”, Funding a Revolution: Government Support for Computing Research, National Academy Press, ISBN 0-309-06278-0, OCLC 246584055
- Needham, Joseph (1986), Science and Civilization in China: Volume 2, Taipei: Caves Books Ltd.
- Newell, Allen; Simon, H. A. (1963), “GPS: A Program that Simulates Human Thought”, in Feigenbaum, E.A.; Feldman, J., Computers and Thought, New York: McGraw-Hill, ISBN 0-262-56092-5, OCLC 246968117
- Nick, Martin (2005), Al Jazari: The Ingenious 13th Century Muslin Mechanic, Al Shindagah, http://www.alshindagah.com/marapr2005/jaziri.html 2008年10月16日閲覧。
- O'Connor, Kathleen Malone (1994), The alchemical creation of life (takwin) and other concepts of Genesis in medieval Islam, University of Pennsylvania, https://repository.upenn.edu/dissertations/AAI9503804 2023年1月7日閲覧。
- Olsen, Stefanie (2004-05-10), Newsmaker: Google's man behind the curtain, CNET, http://news.cnet.com/Googles-man-behind-the-curtain/2008-1024_3-5208228.html 2008年10月17日閲覧。
- Olsen, Stefanie (2006-08-18), Spying an intelligent search engine, CNET, http://news.cnet.com/Spying-an-intelligent-search-engine/2100-1032_3-6107048.html 2008年10月17日閲覧。 [リンク切れ]
- Pearl, J. (1988), Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, San Mateo, California: Morgan Kaufmann, ISBN 1-55860-479-0, OCLC 249625842
- Russell, Stuart J.; Norvig, Peter (2003), Artificial Intelligence: A Modern Approach (2nd ed.), Upper Saddle River, New Jersey: Prentice Hall, ISBN 0-13-790395-2, http://aima.cs.berkeley.edu/
- Poole, David; Mackworth, Alan; Goebel, Randy (1998), Computational Intelligence: A Logical Approach, Oxford University Press., ISBN 0-19-510270-3, http://www.cs.ubc.ca/~poole/ci.html
- Samuel, Arthur L. (July 1959), “Some studies in machine learning using the game of checkers”, IBM Journal of Research and Development 3 (3): 210−219, doi:10.1147/rd.33.0210, https://doi.org/10.1147/rd.33.0210 2007年8月20日閲覧。
- Searle, John (1980), “Minds, Brains and Programs”, Behavioral and Brain Sciences 3 (3): 417–457, doi:10.1017/S0140525X00005756, https://doi.org/10.1017/S0140525X00005756 2009年5月13日閲覧。
- Simon, H. A.; Newell, Allen (1958), “Heuristic Problem Solving: The Next Advance in Operations Research”, Operations Research 6: 1, doi:10.1287/opre.6.1.1
- Simon, H. A. (1965), The Shape of Automation for Men and Management, New York: Harper & Row
- Skillings, Jonathan (2006), Newsmaker: Getting machines to think like us, CNET, http://news.cnet.com/Getting-machines-to-think-like-us---page-2/2008-11394_3-6090207-2.html?tag=st.next 2008年10月8日閲覧。
- Tascarella, Patty (2006-08-11), “Robotics firms find fundraising struggle, with venture capital shy”, Pittsburgh Business Times, http://www.bizjournals.com/pittsburgh/stories/2006/08/14/focus3.html?b=1155528000%5E1329573 2008年10月8日閲覧。
- Turing, A.M. (1936). “On Computable Numbers, with an Application to the Entscheidungs problem”. Proceedings of the London Mathematical Society. 2 42: 230–65. 1937. doi:10.1112/plms/s2-42.1.230. http://www.abelard.org/turpap2/tp2-ie.asp 2008年10月8日閲覧。.
- Turing, Alan (October 1950), "Computing Machinery and Intelligence", Mind, LIX (236): 433–460, doi:10.1093/mind/LIX.236.433, ISSN 0026-4423。
- Weizenbaum, Joseph (1976), Computer Power and Human Reason, W.H. Freeman & Company, ISBN 0-14-022535-8, OCLC 10952283
コンピューティングの歴史(英語版) | |
---|---|
ハードウェア |
|
ソフトウェア |
|
計算機科学 | |
|