Loading article…
Logic Theorist は、1956 年にAllen Newell、Herbert A. Simon、およびCliff Shawによって完成したコンピュータ プログラムです。[ 1 ]これは、自動推論を実行するために意図的に設計された最初のプログラムであり、「最初の人工知能プログラム」と評されています。[ 1 ] [ a ] Logic Theorist は、 WhiteheadとBertrand RussellのPrincipia Mathematicaの第 2 章の最初の 52 の定理のうち 38 を証明し、定理 2.85 の新しいより短い証明を発見しました。[ 3 ]
1955年、ニューウェルとサイモンがロジック・セオリストの研究を始めた頃は、人工知能という分野はまだ存在していませんでした。「人工知能」という用語が造語されるのは、その翌年の夏になってからです。[ b ]
サイモンは、官僚制の機能について研究し、限定合理性の理論を発展させた政治学者でした（この理論により、彼は後に1978年にノーベル経済学賞を受賞しました）。彼は、人工知能と同様に、ビジネス組織の研究には人間の問題解決と意思決定の本質についての洞察が必要だと考えていました。サイモンは、1950年代初頭にランド研究所でコンサルタントをしていたとき、印刷業者が普通の文字と句読点を記号として使用して地図をタイプしているのを見たと述べています。このことから、記号を操作できる機械は意思決定、ひいては人間の思考プロセスさえもシミュレートできるのではないかと考えるようになりました。[ 5 ] [ 6 ]
地図を印刷するプログラムは、ロジスティクスと組織理論を研究していたランド研究所の科学者、ニューウェルによって書かれたものだった。ニューウェルにとって決定的な瞬間は、1954年にオリバー・セルフレッジがパターンマッチングに関する研究について説明するためにランド研究所を訪れた時だった。プレゼンテーションを見て、ニューウェルは、単純なプログラム可能なユニットの相互作用が、人間の知的な行動を含む複雑な行動をどのように実現できるかを突然理解した。「すべては午後のひとときで起こった」と彼は後に語っている。[ 2 ] [ 7 ]それは、科学的な啓示の稀有な瞬間だった。
「これは新しい道であり、自分が進むべき道だと、はっきりと感じました。そんな感覚はめったにありません。私はかなり懐疑的なので、普段は衝動的に行動することはありませんが、その時はそうでした。完全に没頭していました。つまり、2つか3つのレベルの意識、つまり、仕事をしていること、仕事をしていること、結果や影響を認識していること、通常の思考モードといったものは存在しませんでした。いいえ。10時間から12時間、完全に没頭していました。」[ 8 ]
ニューウェルとサイモンは、機械に思考を教える可能性について話し始めた。彼らの最初のプロジェクトは、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』で使用されているような数学的定理を証明できるプログラムだった。彼らは、同じくランド研究所のコンピュータプログラマー、クリフ・ショーの協力を得てプログラムを開発した。（ニューウェルは「クリフは3人の中で真のコンピュータ科学者だった」と述べている。[ 9 ]）
最初のバージョンは手作業でシミュレーションされたもので、彼らはプログラムを3×5のカードに書き込み、サイモンは次のように回想している。
1956年1月、妻と3人の子供、そして数人の大学院生を集めました。グループの各メンバーにカードを1枚ずつ渡したので、それぞれが事実上、コンピュータプログラムの構成要素となりました...これは、自然が芸術を模倣し、芸術が自然を模倣するという現象でした。[ 10 ]
彼らは、そのプログラムが優秀な数学者と同等の精度で定理を証明できることを示すことに成功した。最終的に、ショーはランド研究所のサンタモニカ施設にあるコンピュータでそのプログラムを実行することができた。
1956年の夏、ジョン・マッカーシー、マービン・ミンスキー、クロード・シャノン、ネイサン・ロチェスターは、彼らが「人工知能」（マッカーシーがこの機会のために作った造語）と呼ぶテーマに関する会議を組織した。ニューウェルとサイモンは、グループに『ロジック・セオリスト』を誇らしげに贈呈した。しかし、反応は冷ややかなものだった。パメラ・マッコードックは、「証拠によれば、ニューウェルとサイモン自身以外に、自分たちのやっていることの長期的な意義を理解していた人はいなかった」と書いている。[ 11 ]サイモンは、「私たちはおそらく、このことに関してかなり傲慢だった」と打ち明け、さらにこう付け加えている。[ 12 ]
彼らは私たちの話を聞きたがらなかったし、私たちも彼らの話を聞きたくなかった。見せたいものがあったからだ！...ある意味皮肉なことに、私たちはすでに彼らが求めていた最初の例をやってのけていたし、第二に、彼らはそれにあまり注意を払わなかった。[ 13 ]
Logic Theorist はすぐにPrincipia Mathematicaの第 2 章の最初の 52 の定理のうち 38 を証明しました。定理 2.85 の証明は、実際にはラッセルとホワイトヘッドが苦労して手作業で作成した証明よりも洗練されていました。サイモンは新しい証明をラッセル本人に見せることができ、ラッセルは「喜んで反応した」とのことです。[ 3 ]彼らは新しい証明をThe Journal of Symbolic Logicに掲載しようとしましたが、初等数学の定理の新しい証明は注目に値しないという理由で却下されました。どうやら著者の 1 人がコンピュータ プログラムであるという事実が見落とされていたようです。[ 14 ] [ 3 ]
ニューウェルとサイモンは永続的なパートナーシップを築き、カーネギー工科大学に最初のAI研究所の1つを設立し、汎用問題解決システム、Soar、そして彼らの統一認知理論など、影響力のある一連の人工知能プログラムとアイデアを開発した。
ロジックセオリストは、論理式に対して論理処理を実行するプログラムです。[ 15 ]ロジックセオリストは、次の原理に基づいて動作します。
例えば、論理式は、ルート要素がルート要素の属性の中には、部分式を表す 2 つの要素へのポインタが含まれています。そして。
プロセスには、最も低いレベルから最も高いレベルまで、4種類あります。[ 16 ]
論理理論家は、人工知能研究の中心となるいくつかの概念を提唱した。
パメラ・マッコードックは、ロジック・セオリストは「機械がこれまで知的で創造的で人間特有のものと考えられてきたタスクを実行できることの確たる証拠」であると述べている。[ 3 ]そのため、それは人工知能の開発と知能全般に対する私たちの理解における画期的な出来事である。
サイモンは1956年1月に大学院の授業で、「クリスマス休暇中に、アル・ニューウェルと私は思考機械を発明した」[ 20 ] [ 21 ]と述べ 、次のように書いた。
[我々は]非数値的に思考できるコンピュータプログラムを発明し、それによって長年の心身問題を解決し、物質で構成されたシステムがどのようにして精神の特性を持つことができるのかを説明した。[ 22 ]
機械も人間と同じように知性を持つことができるというこの主張は、後に哲学者ジョン・サールによって「強い人工知能（Strong AI ）」と名付けられました。これは今日に至るまで、真剣な議論の対象となっています。
パメラ・マッコードックは、論理理論家の中に、心の新しい理論、情報処理モデル（計算主義または認知主義と呼ばれることもある）の登場を見出している。彼女は、「この見解は彼らの後の研究の中心となり、彼らの意見では、19世紀の生物学を理解する上でダーウィンの自然選択の原理が中心であったように、20世紀の心を理解する上で中心となるだろう」と書いている。[ 23 ]ニューウェルとサイモンは後に、この提案を物理的記号システム仮説として形式化することになる。
