En 私たちの配達 以前、政治学の理論家であるサイモンが、物理学者のニューウェルとアクチュアリーからプログラマーに転向したショーという名前の人物とともに、論理理論家として知られる最初の人工知能プログラムの構築をどのように開始したかを説明しました。 これには発明が必要でした 人工知能のための最初の特定のプログラミング言語の
このストーリーは、協力者や家族と一緒に、人や手書きのカードを使用してプログラムのさまざまな部分の動作をシミュレートするトリオに残しました。
このようないくつかのシミュレーションの後、プログラムは実際のコンピューターに実装されました。 テストは次のように成功しました。 このソフトウェアは、ラッセルとホワイトヘッドの著書「マテマティカの原理」の章の XNUMX つの章の XNUMX の定理を証明することができました。. ケースの XNUMX つでさえ (具体的な指示がなくても)、彼は本の著者よりもはるかに「エレガント」にテストする方法を見つけました。
人工知能のための最初のプログラミング言語
サイモンと彼のチームがプログラムを書くのに非常に長い時間を費やしたという事実は、 彼らは、目的に十分なパワーと柔軟性を備えた特定のプログラミング言語を必要としていました。 その言語は IPL (Information Processing Language) と呼ばれ、プログラミングのためのリスト処理技術を最初に導入しました。
IPL は当時の高級言語とは次の点で異なっていました。 事前にシンボルを定義する必要はなく、シンボル構造を関連付けて変更する機能がありました。
いわゆるリスト処理技術は、 各情報を、それらに関連する情報を見つける方法の指示とともに保存します。 適応症を変えることで、新しい連想を構築することができます。
「一般的な問題解決者」
次のソフトウェアを作成するために、Simon と Newell は別のアプローチを試すことにしました。 当時、論理的な問題を解決する方法を参加者に声に出して説明する心理調査が広まりました。 デュオは、これらのフォームがソフトウェアで使用されているものとはまったく異なることを発見したため、独自のバージョンの調査を行うことにしました。 参加者が説明した方法に基づいてソフトウェアを作成します。 このプログラム (General Problem Solver の GPS として知られている) は、実行するように求められたタスクとは関係なく、情報の編成とヒューリスティックに基づいてコーディングされていました。
この新しい方法論は「手段から目的への分析」という名前を受け取り、次の要素で構成されています。 現状と理想を比較し、その差を縮める行動をとり、差がゼロになるまで再評価する. この方法論により、プログラムは問題の変数の変化に反応することができます。 プログラマーは、問題と、可能なアクションのコースとそれらがどのような状況であるかが示されている、いわゆる差分テーブルを示します。
GPS は問題を部分問題に分解し、バックトラッキング アプローチを適用することができました。 つまり、ある道がうまくいかない場合、彼は戻って別の道をたどるということです。
11年間の運用期間中、 GPS はパズルを解いたり、シンボリック インテグレーションを実行したり、秘密のコードを解読したりしました。
Simon と Newell がこれを楽しんでいる間に、Robert K. Lindsay という学生が SAD SAM として知られるプログラムを開発しました。 ソフト 「フアンはペパの息子です」と「フアンはアルベルトの兄弟です」というタイプの文から情報を抽出し、家系図を作成することができましたアルベルトがペパの息子でもあることを教えます(彼が今日の世界のステップファミリーをどのように管理するかはわかりません.
もちろん、当時のコンピューター業界の巨人である IBM は、人工知能の研究から離れることはできませんでした。この分野は、冷戦の最中にすでに軍事用途の巨大な可能性を明らかにしていました。次の記事では、この分野での彼の最初の貢献について話します。