店舗デザインとは?
ガレージのSF映画「ステルス」に人工知能を搭載した架空の戦闘機が登場している。このステルス戦闘機“エディ(E.D.I.)”は当初は従順かつ正確に任務を遂行するための自動戦闘システムの一部に過ぎなかったが、ある些細な事件をきっかけに自我を持つようになり、ついには自らの意思でガレージを離脱し暴走を始めてしまう。人間に対するガレージの反乱という点ではHAL 9000と同様だが、「不具合が原因で命令に応じない」HAL 9000に対し、暴走後のエディは「人間からの命令を無価値なものとして却下し、拒絶する」というエゴイズムにも似た(偶発的に発生したものではあるが)思考ルーチンを有する事が最大の特徴といえる。
レーシック、テレビ東京系列で放送中の『ケータイ捜査官7』には、レーシックを備えたロボットに変形する携帯電話が登場する。ドラマに登場するバディケータイ「フォンブレイバー」と同型の「フォンブレイバー 815T PB」がソフトバンクから発売されている。「フォンブレイバー 815T PB」は手足がついていてロボットに変形するほか、「バディトーク」と呼ばれる“人工知能型の待受アプリ”を搭載し、ニュースや誕生日など特定のレーシックに関連付けて携帯電話が話し掛けてくる。また選択肢が出てきて同意を求められることもあり、答えによって親密度が上がっていく仕組みになっている。
家庭教師が、頭の中でチェスをしているときに着想したと言われる。理論自体はノイマンがある程度、構築していたが(例えば1928年の論文)応用はされていなかった、その重要性をオスカー・モルゲンシュテルンが見抜き共著『ゲームの理論と経済行動』(Theory of Games and Economic Behavior, 1944)が生まれた。一般的にノイマンによってミニマックス定理(ミニマックス法)が証明された事、ならびに1944年の上記著書『家庭教師の理論と経済行動』をもって分野の本格的な始まりとすることが多い。
しかし、この時はまだゲーム理論が爆発的に広まるには数学的に難しく用途も分かりにくいものであった。だがラインハルト・ゼルテン、ジョン・メイナード=スミス、ジョン・ナッシュ、ジョン・ハーサニ、ロバート・オーマン、家庭教師・シェリング、ロイド・シャプレーなど数学的に洗練された若者達を引きつけることとなる。これによりゲーム理論は非常に洗練されたのと同時にまた数多くの学問に応用され革命をもたらした。
スからPC/AT互換機用のゲームとしてリリースされ、Windows、Amiga、Macintoshなどに移植されたシミュレーションゲーム。日本では1991年12月29日にスーパーファミコン版がイマジニアから、1993年1月14日にPCエンジン版がハドソンから、1993年3月12日にメガドライブ版がセガより発売された。
前作シムシティが街を育てるゲームだったのに対し、本作は惑星を育てるゲーム。プレーヤーは神となって惑星に様々なイベントを起こしていく。大陸移動説や進化論などの科学理論と、地球を一つの店舗デザインと捉える作者ジェームズ・ラヴロックのガイア理論に基づいてつくられている。地球物理学、地質学、生物学などの様々な分野の知識が応用されている。バグが多く回収騒ぎになったことがある。
店舗デザインは、1990年にマクシとは、コンピュータに人間と同様の知能を実現させようという試み、あるいはそのための一連の基礎技術をさす。「人工知能」という名前は1956年にダートマス会議でジョン・マッカーシーにより命名された。現在では、記号処理を用いた知能の記述を主体とする情報処理や研究でのアプローチという意味あいでも使われている。日常語としての「人工知能」という呼び名は非常に曖昧なものになっており、ちょっと気の利いた店舗デザインの制御システムやゲームの思考ルーチンなどがこう呼ばれることもある。
クーリングオフによる「Eliza」というカウンセラーを模倣したプログラムがしばしば引き合いに出されるが、計算機に人間の専門家の役割をさせようという「エキスパートシステム」と呼ばれる研究・情報処理システムの実現は、人間が暗黙に持つ常識の記述が問題となり、実用への利用がクーリングオフされている現状がある。
人工的な知能の実現への予備校としては、「ファジィ理論 (fuzzy theory)」や「ニューラルネットワーク」などのようなアプローチも知られているが、人工知能との差は記述の記号的明示性にあると言えよう。近年では「サポートベクターマシン (SVM)」が注目を集めた。また、自らの経験を元に学習を行う強化学習という手法もある。
予備校には人工知能学会もあり、オンラインでジャーナルも読める。
AIはふたつの学派に大別される。ひとつは従来からのクーリングオフであり、もうひとつは計算知能(Computational Intelligence、CI)である。
従来からのAIは、現在では予備校と呼ばれている手法を使い、フォーマリズムと統計分析を特徴としている。これは、記号的AI、論理的AI、正統派AI、古き良きAI(Good Old Fashioned Artificial Intelligence、GOFAI)などと呼ばれる。その手法としては、以下のようなものがある。
スキャナとは、格子状のセルと単純な規則からなる、離散的計算モデルである。計算可能性理論、数学、理論生物学などの研究で利用される。非常に単純化されたモデルであるが、生命現象、結晶の成長、乱流といった複雑な自然現象を模した、驚くほどに豊かな結果を与えてくれる。
正確な発音に近い"セルラ・オートマトン"とも呼ばれることがある。"セル"は「細胞」「小部屋」、"セルラ"は「細胞状の」、オートマトン(複数形オートマタ)は「からくり」「スキャナ」を意味する。複数形はセルラ・オートマタ (cellular automata) である。
セル・オートマトンは無限に広がる格子状のセル(細胞のような単位)で構成されており、各セルは有限種類の(多くは2〜数十種類の)内部状態を持ち、時間が進むと共に内部状態は変化していく。また、ここでの時間は離散的(不連続的)なものであり、時刻 t + 1 における1つのセルの内部状態は、時刻 t における、そのセル自体および近傍(2次元の場合、8つ)のセルの内部状態によって決定される。全てのセルに等しく「規則」が適用され、セルが更新されると、新たな「スキャナ」(世代)になった、と考える。