Симпозиум, посвященный этому вопросу, состоялся недавно в городе Торонто (Канада), и участие в нем принял научный сотрудник кафедры интеллектуальных технологий поиска Высшей Школы ИТИС Никита Жильцов.
«Симпозиум проходил 3-5 февраля в университете города Торонто в Филдсовском институте, - рассказал Никита Жильцов. – Он был организован Фондом Альфреда Слоуна, Филдсовским институтом и фондом Вольфрама (Wolfram Foundation). Участниками симпозиума стали 40 человек, среди которых – ряд выдающихся математиков, в том числе, лауреаты Филдсовской медали».
Главной темой симпозиума стало создание Всемирной цифровой математической библиотеки (World Digital Mathematics Library, WDML), или библиотеки математических знаний. На данном этапе ученые разрабатывают удобную цифровую библиотеку, где будут храниться все труды, созданные математиками за тысячу лет. Эта библиотека не только должна быть проста в использовании, но и способствовать решению таких задач, как проверка математических доказательств.
«На самом деле данный проект призван, во-первых, облегчить труд ученых, а во-вторых, он имеет огромное образовательное значение. Пользователями такой библиотеки могут стать и студенты, и даже люди, которые просто интересуются математикой или же используют ее для решения прикладных задач. К последней категории относятся, например, инженеры», - поделился Никита Жильцов.
Важно отметить, что перед учеными остро стоит вопрос создания языка программирования, с помощью которого можно представлять математические знания и который бы реально было применять при создании библиотеки.
«Все доклады, представленные на симпозиуме, можно разделить на три типа, - прокомментировал он. – Во-первых, доклады, где речь шла о теоретических основаниях математики (логика, теория множеств, гомотопическая теория типов). Во-вторых, о высоко формализованном представлении математики в языках программирования, применимых для систем автоматической проверки доказательств. И наконец, о практических моделях и приложениях представления математических знаний, то есть о семантическом поиске по формулам, документам, научным публикациям и так далее».
По персональному приглашению руководителей проекта Никита Жильцов на симпозиуме представил разработку казанских математиков – Онтологию OntoMathPRO, представляющую собой библиотеку математических публикаций, объединенную с тезаурусом математических понятий. «Мы предложили модель логической структуры математического документа, математической публикации и показали, как эти модели могут создаваться автоматически при анализе коллекций математических документов», - поделился он достижениями казанских математиков.
Главным результатом участия в симпозиуме стало зарождение сотрудничества, причем не только с учеными, участвующими в проекте по созданию Всемирной цифровой математической библиотеки (этой весной КФУ должен посетить с рабочей поездкой профессор М. Колхазе из Университета Бремена), но и с компанией Wolfram Research. В целом, предполагается, что проект Всемирной цифровой математической библиотеки будет реализовываться по сетевому принципу: ученые будут работать на уровне сотрудничества небольшого количества научных групп – экспертов в своей узкой области - и раз в год или раз в полгода собираться и обмениваться результатами.
Дальнейшее участие казанских ученых планируется под эгидой недавно созданного Центра превосходства в области математики, возглавляемого профессором Андреем Фроловым. Равноправное участие в глобальном проекте, охватывающем целую область науки, несомненно будет в значительной степени способствовать росту известности и престижа Казанского университета в научном мире.
