Университет XXI века: научное измерение 2016

Информатика и математика 177 Ю. М. Мартынюк, В. С. Ванькова, С. В. Даниленко Тульский государственный педагогический университет им. Л. Н. Толстого ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ПОДГОТОВКЕ МАТЕМАТИКА-ПРОГРАММИСТА XXI ВЕКА Аннотация. В статье рассматриваются вопросы теоретической составляющей подго- товки математика-программиста в вузе XXI века в области искусственного интеллекта и ло- гического программирования. Ключевые слова: логическое программирование, логическая модель, искусственный интеллект, математик-программист. Актуальность изучения теоретических основ, приемов и методов логиче- ского программирования в ходе подготовки будущих математиков-програм- мистов в настоящее время не вызывает сомнений. Весь ход развития информа- тики, успехи последнего времени в области разработки и внедрения систем ис- кусственного интеллекта, а также перспективы развития данного направления исследований подтверждают тезис о необходимости изучения логического про- граммирования студентами направления подготовки «Математическое обеспе- чение и администрирование информационных систем». Историческая ретроспектива уже далеких 80-х годов XX-го века определя- ет одним из несомненных признаков того времени стремление обозначить кон- кретными датами определенные вехи в прогрессе общества. Советский Союз вступал в коммунистическое общество, США называли точную дату высадки экспедиции на Марс, а Япония провозглашала создание компьютера пятого поколения . Им должен был стать «эпохальный компьютер» с производительно- стью суперкомпьютера и мощными функциями искусственного интеллекта. Начало разработок – 1982 год, конец разработок – 1992 год, стоимость разрабо- ток – 57 млрд ¥ (порядка 500 млн $). Компьютер пятого поколения должен был решить следующие основные задачи в области решения прикладных задач ис- кусственного интеллекта . В частности, должны были быть созданы: а) печат- ная машинка, работающая под диктовку; б) автоматический портативный пере- водчик с языка на язык (непосредственно с голоса); в) системы автоматическо- го реферирования статей, поиска смысла и категоризация; г) системы распозна- вания образов и т. п. Программа закончилась провалом. И сама программа, и причины ее провала давно проанализированы. По этому поводу проведено огромное количество исследований, написано немало научных и научно- популярных статей. Но все исследователи и аналитики единодушны в одном – проект обогнал время . В то время не было достаточной аппаратной, технологи- ческой и программной мощности, не было Интернета с его идеями параллели- зации и распределенных процессов. Через тридцать с лишним лет 14 декабря 2013 года компания Google при- гласила на работу знаменитого изобретателя и футуролога Реймонда Курцвей-