История развития языков программирования - Языки искусственного интеллекта

Новости it-компаний

Научные и технические разработки IBM

News image

Архитектуры центральных процессоров для трёх игровых приставок нового (2006) поколения: Sony PlayStation 3 (Cell), Nintendo Wi...

Fujitsu Siemens Computers усовершенствовала Blade-серверы PR

News image

Компания Fujitsu Siemens Computers усовершенствовала систему PRIMERGY Blade Ecosystem BX600 S3 Соединив преимущества blade-сервера BX600 S3 и ...

Авторизация



Развитие технологий:

Компьютеры второго поколения (1960-1965)

  Несмотря на то, что  в1961 году в корпорации Fairchild появилась первая коммерчески доступная интегральная схема, элементная база компьютеров 60-х годов ...

Представление информации в компьютерной информационной среде

История развития вычислительных средств и ЭВМ привела к возможности отражения информационных процессов в двух формах: непрерывной и дискретной. Первая форма ре...


Языки искусственного интеллекта
История - История развития языков программирования

В 90-х годах прошлого столетия планировалось появление компьютеров пятого поколения, называемых машинами искусственного интеллекта . В качестве основных языков программирования в этом проекте предполагались языки искусственного интеллекта LISP и PROLOG. Создателем языка LISP (1956-1959 гг.) является Джон Маккарти, которого называют отцом искусственного интеллекта. Именно он первым ввел термин искусственный интеллект . Основным в языке LISP является понятие рекурсивно определенных функций. Доказано, что любой алгоритм может быть описан с помощью некоторого набора рекурсивных функций. Основные идеи этого языка были позже использованы в языке программирования для детей LOGO, разработанном в 70-е годы в Массачусетском технологическом институте под руководством Сэймура Пейперта. Подмножество языка LOGO, включающее команды для Черепашки, применяется при раннем обучении программированию. Язык PROLOG разработан во Франции в 1972 году также для решения проблем искусственного интеллекта. PROLOG позволяет в формальном виде описывать различные утверждения, логику рассуждений, заставляет компьютер давать ответы на заданные вопросы.

 


Читайте:


Добавить комментарий


Защитный код
Обновить

Дэвид Паккард, один из основателей компании Hewlett-Packard

News image

За свою легендарную полувековую карьеру Дэвид Паккард оказал огромное влияние на развитие современной электронной индустрии и методов управления. Сегодня Hewlett-Packard - ...

Программист, который писал притчи и не любил бейсик

News image

В прикладной науке имена людей, внесших огромный вклад в развите техники и технологии, как правило, скрыты за названиями компаний и ст...

Жесткие диски для ноутбуков становятся тоньше

News image

На данный момент жесткие диски для ноутбуков могут быть толщиной 9,5 мм и 12,5 мм. Первые получили наибольшее распространение, а об...

Financial Times обещает iTablet уже в следующем месяце

News image

Конец декабря редакция Financial Times решила скрасить очередной порцией слухов о планшетнике Apple. По данным издания, это устройство, покорившее заголовки СМ...

VESA официально утвердила стандарт mini DisplayPort

News image

Презентованный Apple осенью 2008-го новый видеоинтерфейс mini DisplayPort (сокращенно mDP) вызвал неоднозначную реакцию, отголоски которой оставались различимыми вплоть до вчерашнего дн...

MacBU подытоживает две тысячи девятый год

News image

Как прошел 2009 год в компании, которую традиционно принято считать вторым крупнейшим разработчиков ПО для платформы Apple Macintosh? В Microsoft Ma...

Планшетный Мак покажут 26 января?

News image

За несколько дней до начала нового 2010 года онлайн-пресса разразилась новым потоком слухов на тему планшетного компьютера Apple: сначала хорошо ос...

Внедрение 6-ядерных процессоров Intel Xeon может потребовать

News image

Изданию Fudzilla стали известны подробности по первому 6-ядерному процессору Intel Xeon. Он получит обозначение Core i7 980X, а его несущая тактовая ча...