Продолжаем наше путешествие по истории Искусственного Интеллекта (ИИ). В нашем блоге уже опубликована 1 часть, в которой рассказывается о тесте с помощью которого оцениваются интеллектуальные возможности компьютерных систем.
В этой статье Вы узнаете о программе Logic Theorist.
Её разработали Аллен Ньюэлл и Герберт Саймон в 1956 году. Эта программа стала первой искусственной интеллектуальной системой, которая использовала логический вывод для решения задач. Она была разработана для решения проблем в области управления производством и планирования ресурсов, а также для решения других задач, связанных с логикой и управлением.
Логик-теоретик доказал 38 из первых 52 теорем во второй главе книги Уайтхеда и Бертрана Рассела "Principia Mathematica" и нашел новые и более короткие доказательства для некоторых из них.
Это одно из главных достижений программы Logic Theorist. Оно позволило создавать системы искусственного интеллекта, которые могли решать сложные задачи, используя логические рассуждения.
Кроме того, программа Logic Theorist стала основой для разработки более сложных систем искусственного интеллекта, таких как экспертные системы и системы логического вывода. Эти системы используются в различных областях, включая медицину, науку, финансы и другие.
Таким образом, программа Logic Theorist оказала огромное влияние на развитие искусственного интеллекта и стала одной из ключевых технологий в этой области.
На сладкое интересный факт:
Термин "Искусственный интеллект" был придуман в 1956 году. До этого времени области искусственного интеллекта не существовало.
Подписывайтесь на наш канал! Впереди больше об ИИ и роботах!
#технологии #ии #искусственный_интеллект #робот #машина #компьютер #история #создание
