記号的推論と Logic Theorist
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/08 08:13 UTC 版)
「人工知能の歴史」の記事における「記号的推論と Logic Theorist」の解説
1950年代中ごろにコンピュータにアクセス可能になると、一部の科学者は数を操作できる機械は記号も操作でき、記号の操作は人間の思考の本質を表しうると直観的に気付いた。それが思考機械に迫る新たな手法となった。 1955年、アレン・ニューウェルと(後にノーベル賞を受賞した)ハーバート・サイモンは(クリフ・ショーの助けも得て)"Logic Theorist" を作った。このプログラムはラッセルとホワイトヘッドの『プリンキピア・マテマティカ』の最初の方にある52の定理のうち38の定理を証明してみせ、そのうち一部は新たな洗練された証明方法を見出した。サイモンは彼らが「かの心身問題を解決し、物質で構成されているシステムが精神の特性をどのようにして持つことができるかを説明した」と述べている。これは、後にジョン・サールが「強いAI」と呼んだ哲学的立場(機械は人間の身体と同じように精神を持ちうる)を表した初期の文章の1つである。
※この「記号的推論と Logic Theorist」の解説は、「人工知能の歴史」の解説の一部です。
「記号的推論と Logic Theorist」を含む「人工知能の歴史」の記事については、「人工知能の歴史」の概要を参照ください。
- 記号的推論と Logic Theoristのページへのリンク