Термин «искусственный интеллект» Первая демонстрация Logic Theorist (LT) (1 jan 1956 ano – 1 jan 0 ano)

Descrição:

Летняя конференция по искусственному интеллекту в Дартмутском колледже организована Джоном Маккарти , Марвином Мински , Натаном Рочестером из IBM и Клодом Шенноном . Маккарти вводит термин «искусственный интеллект» для этой конференции.

Первая демонстрация Logic Theorist (LT), написанная Алленом Ньюэллом , Клиффом Шоу и Гербертом А. Саймоном ( Технологический институт Карнеги , ныне Университет Карнеги-Меллона или CMU). Эта программа была описана как первая, намеренно спроектированная для выполнения автоматизированных рассуждений, и в конечном итоге доказала 38 из первых 52 теорем в Principia Mathematica Рассела и Уайтхеда , а также нашла новые и более элегантные доказательства для некоторых из них.

Adicionado na linha do tempo:

Data: