Logic Theorist
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/25 13:56 UTC 版)
Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された[注 1]。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している[2]。
- ^ Logic Theorist は世界初の真のAIプログラムとみなされているが、アーサー・サミュエルのチェッカーのプログラムの方が若干早い。クリストファー・ストレイチーも1951年にチェッカーのプログラムを書いている。[1]
- ^ "artificial intelligence" という用語はジョン・マッカーシーがダートマス会議 (1956) の提案書で使ったのが最初である。一般にこの会議が人工知能という新たな学問分野の生まれた日とされている。[3]
- ^ a b Crevier 1993, p. 44.
- ^ a b c d McCorduck 2004, p. 167.
- ^ Crevier 1993, pp. 49–50.
- ^ Crevier 1993, pp. 41–44.
- ^ McCorduck 2004, p. 148.
- ^ McCorduck 2004, pp. 157–158.
- ^ McCorduck 2004, pp. 158–159.
- ^ McCorduck 2004, p. 169.
- ^ Crevier 1993, p. 45.
- ^ McCorduck 2004, p. 124.
- ^ Crevier 1993, p. 48.
- ^ Crevier 1993, p. 49.
- ^ Crevier 1993, p. 146.
- ^ Crevier 1993, p. 43.
- ^ Crevier 1993, pp. 46–48.
- ^ McCorduck 2004, pp. 167–168.
- ^ McCorduck 2004, p. 138.
- ^ CMU Libraries: Problem Solving Research
- ^ Crevier 1993, p. 46.
- ^ McCorduck 2004, p. 127.
- 1 Logic Theoristとは
- 2 Logic Theoristの概要
- 3 哲学的意味
- Logic Theoristのページへのリンク