Термин «искусственный интеллект» Первая демонстрация Logic Theorist (LT) (1 janv. 1956 – 1 janv. 0)
Description:
Летняя конференция по искусственному интеллекту в Дартмутском колледже организована Джоном Маккарти , Марвином Мински , Натаном Рочестером из IBM и Клодом Шенноном . Маккарти вводит термин «искусственный интеллект» для этой конференции.Первая демонстрация Logic Theorist (LT), написанная Алленом Ньюэллом , Клиффом Шоу и Гербертом А. Саймоном ( Технологический институт Карнеги , ныне Университет Карнеги-Меллона или CMU). Эта программа была описана как первая, намеренно спроектированная для выполнения автоматизированных рассуждений, и в конечном итоге доказала 38 из первых 52 теорем в Principia Mathematica Рассела и Уайтхеда , а также нашла новые и более элегантные доказательства для некоторых из них.
Ajouté au bande de temps:
Date:
1 janv. 1956
1 janv. 0
~ 1 years