Описание:В курсе изучаются математические основы и алгоритмы искусственного интеллекта, связанные с обработкой символьных данных в вычислительных задачах. В курс включены подходы к представлению знаний в интеллектуальных системах, методы автоматических рассуждений на основе символьных данных и программные инструменты для построения систем автоматических рассуждений . Рассматриваются основы построения математических систем (на примере системы компьютерной алгебры Sage), а также методы представления формул и семантический поиск научных статей по формулам.