Труды КНЦ вып.40 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 6/2016(40))

высокой вычислительной сложностью, что затрудняет, а иногда и делает невозможным, применение обобщенных схем вычислений, где не учитываются особенности представления знаний в памяти компьютера и не уделяется должного внимания вопросам ускорения вычислительных процедур. Литература 1. Братко, И. Алгоритмы искусственного интеллекта на языке PROLOG. / И. Братко // пер. с англ., 3-е изд. - М.: Изд. дом «Вильямс», 2004. - 640 с. 2. Осипов, Г.С. Динамика в системах, основанных на знаниях / Г.С. Осипов // Известия Академии Наук. Теория и системы управления. - 1998. - №5. - С.24-28. 3. Осипов, Г.С. Методы искусственного интеллекта / Г.С. Осипов. - М.: Физ- матлит, 2011. - 296 с. 4. Кулик, Б.А. Алгебраический подход к интеллектуальной обработке данных и знаний / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. - C-Пб.: Изд-во Политехи, ун-та, 2010. - 235 с. 5. Зуенко, А.А., Фридман, О.В. Формирование учебных планов вузов как задача удовлетворения ограничений / А.А. Зуенко, О.В. Фридман // Труды Кольского научного центра. Информационные технологии. -6/2016(40). -Вып .7. -Апатиты: Изд-во КНЦ РАН, 2016. -С.80-93. 6. Montanari, U. Networks o f constraints: Fundamental properties and applications to picture processing / U. Montanari // Information Sciences. - 1974. - 7(2). - P.95- 132. 7. Зуенко, А.А. Вывод на ограничениях с применением матричного представ­ ления конечных предикатов /А.А. Зуенко // Искусственный интеллект и принятие решений. - 2014. - №3. - С.21-31. 8. Зуенко, А.А. Распространение ограничений и эвристический поиск с приме­ нением матричного представления конечных предикатов / А.А. Зуенко // КИИ -2014, г. Казань, 24-27 сентября 2014г.: труды Четырнадцатой нацио­ нальной конференция по искусственному интеллекту с международным участием. - Казань: Изд-во РИЦ «Школа», 2014. -Т.1. - С.32-40. 9. Зуенко, А.А. Обработка специальных видов ограничений при решении задач удовлетворения ограничений в структурах алгебры кортежей / А.А. Зуенко // КИИ -2014, г. Казань, 24-27 сентября 2014г.: труды Четырнадцатой нацио­ нальной конференция по искусственному интеллекту с международным участием. - Казань: Изд-во РИЦ «Школа», 2014. - С41-49. Сведения об авторах Зуенко Александр Анатольевич - к.т.н, старший научный сотрудник, e-mail: zuenko@,iimm. ru Alexander A. Zouenko - Ph.D. (Tech. Sci.), senior researcher Македонов Роман Александрович - младший научный сотрудник, e-mail: makedonov@iimm.ru Roman A. Makedonov - junior researcher 25