Кафедры

Адрес: 119899 ГСП г. Москва, В-234, Воробьевы горы, МГУ, механико-математический факультет, кафедра математической теории интеллектуальных систем
Официальная страничка: http://intsys.msu.ru/
Тип кафедры: Отделение математики
Аудитория: 12–9
Завкафедрой: Кудpявцев Вaлеpий Боpисович

Круг исследований, ведущихся на кафедре, охватывает основные направления теории интеллектуальных систем.
К их числу относятся:

• разработка методов распознавания образов, возникающих при слуховых, визуальных и прочих формах восприятия;
• поиск общих принципов принятия решений, включая логические, стохастические, комбинаторные, нечеткие и другие подходы;
• разработка языков высокого уровня как для описания ситуаций, так и для использования математических средств при решении задач распознавания и принятия решений;
• создание оптимальных по использованию баз данных и знаний и связанное с этим исследование сложности поиска и хранения информации;
• разработка общих приемов и методов конструирования иерархических экспертных систем и компьютерных решателей задач;
• исследование возможностей автоматов и роботов с элементами искусственного интеллекта ограниченного ресурса при решении интеллектуальных задач;
• создание компьютерных систем обучения в хорошо - и слабо - формализованных областях знаний;
• разработка методов компьютерного моделирования в естествознании, гуманитарной и технической областях: математика, механика, физика, химия, биология, экономика, политические и общественные науки и др.;
• исследование свойств дискретных структур, алгоритмов, функций и функциональных систем;
• разработка теории и методов анализа и синтеза эффективных алгоритмов и вычислителей;
• разработка проблематики нечеткой математики;
• исследование математических проблем телекоммуникаций; и др.

• разработан новый комбинаторно-логический метод распознавания образов, исследованы его метрические свойства и эффективность; с его помощью решены задачи поиска нефти, олова и др. полезных ископаемых;
• развита теория поведения автоматов и роботов в абстрактных и реальных средах;
• проведено исследование проблемы выразимости и полноты для дискретных функций и автоматов;
• изучены возможности мозаичных структур как моделей схем параллельных вычислений и нейронных сетей с самообучением;
• развивается теория синтеза экспертных систем и компьютерных решателей задач;
• созданы действующие системы решения математических задач и обучения иностранным языкам, которые участвовали в Международных выставках;
• разработаны экспертные системы для медицины и системы информационного мониторинга;
• для широких классов дискретных функций получены методы синтеза оптимальных по сложности схем вычислений, корректирующих большое число ошибок, построены примеры дискретных функций также почти экспоненциальной сложности и др.

Учеными кафедры опубликованы около 20 книг и сотни научных статей. Ряд ученых выиграли гранты РФФИ, INTAS, научные конкурсы, имеют Международные и Отечественные почетные звания.

Выявление закономерностей, создание теории и моделирование процессов восприятия, хранения и переработки информации, принятия решений и поведения в сложных средах абстрактных, технических и живых систем составляет содержание научной области, именуемой интеллектуальными системами.

Принципиальное продвижение в изучении "думающих" систем, а также подходы к созданию соответствующей теории были получены в конце 30-х и начале 40-х годов А. Тьюрингом, а также К. Шенноном, Н. Винером, Дж. Фон Нейманом, Ф. Розенблаттом и др., когда возникла необходимость в решении важных прикладных задач, таких как расшифровка сообщений, отслеживание движущихся целей, быстрых расчетов и т.п. У нас эти исследования получили признание и развитие в 50 - 60-е годы, когда многие ключевые разделы этого направления обретали контуры. Среди них: формальные языки, распознавание образов, организация памяти, принятие решений, обучение, целесообразное поведение, воспроизведение, оптимальная структурная организация систем и т.п. Особую роль здесь сыграл семинар по кибернетике, открытый на механико-математическом факультете в начале 50-х годов А.А. Ляпуновым и С.В. Яблонским, в работе которого приняли участие такие выдающиеся ученые как А.И. Берг, Л.В. Крушинский, Н.В. Тимофеев-Ресовский, П.С. Новиков, А.П. Ершов, А.А. Марков и другие. Позже на факультете были открыты семинары по теории управляющих систем, сложности схем и алгоритмов, автоматов и роботов, распознавания образов, баз данных и знаний, принятия решений, искусственному интеллекту и т.п. Эти семинары и курсы осуществлялись последовательно при кафедрах вычислительной математики, математической логики и дискретной математики.

Сейчас семинары и курсы, непосредственно связанные с интеллектуальными системами, действуют при кафедре МаТИС, которая была открыта в 1991 г. и является единственной в России, готовящей специалистов-математиков в области интеллектуальных систем. Заведующим кафедры МаТИС является академик РАТН профессор Кудрявцев Валерий Борисович. С кафедрой тесно сотрудничает лаборатория проблем теоретической кибернетики (ПТК).