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

Физика, математика и информатика 269 Ю. М. Мартынюк, В. С. Ванькова, Б. П. Ваньков, С. В. Даниленко Тульский государственный педагогический университет им. Л. Н. Толстого НАУЧНАЯ СОСТАВЛЯЮЩАЯ КУРСА «ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ» Аннотация. Рассматривается содержание дисциплины «Интеллектуальные системы» с точки зрения включения в него фундаментальных теоретических положений науки. Ключевые слова: искусственный интеллект, интеллектуальные системы, знания, мате- матическое знание. Совсем недавно в сети появились сообщения о том, что искусственная нейронная сеть AlphaGo, разработанная специально для игры в древнюю китай- скую игру Гои обученная соответствующим образом сотрудниками подразде- ления DeepMind компании Google, обыграла одного из самых именитых игро- ков – китайца КэЦзэ. Здесь нужно заметить, что игра Го гораздо сложнее шах- мат, и до недавнего времени считалось, что в ней искусственный интеллект не в силах противостоять интеллекту естественному. Но ведь в проведенном матче не было никакого противостояния: сложный алгоритм, заточенный специально под эту игру, не вправе называться искусственным интеллектом. Понять эту грань, отделить одно от другого, научиться распознавать «интеллектуальность» информационной системы, – вот далеко не полный перечень результатов, кото- рые должны быть достигнуты студентами-будущими программистами в про- цессе изучения дисциплины «Интеллектуальные системы». Цель освоения данной дисциплины – развить у студентов «способность по- нимать сущность и значение различных методов обработки информации в современном обществе, дать иллюстрацию того, что фундаментальное матема- тическое знание является основой компьютерных наук»[1, с. 3]. В этой связи на- учной составляющей курса должно быть уделено особое внимание. Содержание дисциплины во многом базируется на положениях математической логики и та- кого ее раздела, как исчисление предикатов первого порядка. В рамках дисцип- лины изучается язык логического программирования Пролог. Языки логического программирования передают смысл программ при помощи инструментов мате- матической логики, которая в отличие от классической логики, отвечающей на вопрос «Что есть истина?», решает вопрос о том, как найти истину. Логика была придумана человечеством для упорядочения мыслей и знаний с целью получе- ния из них некоторых умозаключений и выводов, как элементов нового знания. Логика предикатов органично встраивается в язык логического программирова- ния для создания программ. Такие программы не содержат в себе императивов или команд в привычном их понимании, а дают лишь возможность получать вы- воды на основе имеющихся фактов о сущностях некоторой предметной области.