Эпистемология цифрового представления знаний: эмпирические гипотезы, формальные доказательства и человеческое понимание

Руководитель: Родин Андрей Вячеславович, доктор философских наук

Аннотация
Проект направлен на исследование эпистемологических принципов регулирующих получение, обработку, представление и хранение знаний с помощью цифровых компьютерных технологий, а также на разработку теоретических подходов к имплементации таких принципов в конкретных инженерных решениях. Компьютерное представление знаний и рассуждений – это одна из ключевых областей исследований Искусственного Интеллекта, инструменты и методы которой сегодня широко используются в науке, промышленности и образовании, и таким образом очень существенно влияют на общественную жизнь. Для целей компьютерного представления знаний разработаны специальные языки программирования; в компьютерной науке теория представления знаний занимает важное место. Открытая проблема, на решение которой направлен предлагаемый проект, состоит в том, что существующие на сегодняшний день теории компьютерного представления знаний имеют чисто прикладной характер и не принимают в расчет многие фундаментальные аспекты человеческих знаний, включая тонкую логическую, эпистемологическую и когнитивную структуру различных типов знания, историческую и культурную изменчивость понятия о знании, социальные и психологические аспекты научных коммуникаций, образования и других эпистемических практик. Как следствие, существующие в компьютерной науке теории и методы не позволяют сегодня предвидеть долгосрочные социальные, антропологические и культурные последствия использования цифровых технологий представления знаний в общем и профессиональном образовании, в научных исследованиях, в наукоемких производствах, в медицине, и других областях человеческой деятельности включенных в современную экономику знаний. Предлагаемый нами подход к решению этой широкой проблемы состоит в том, чтобы использовать для ее решения принципы и методы формальной философской эпистемологии, которая включает логические и математические методы допускающие вычислительную имплементацию в виде программных решений. В частности, в рамках предлагаемого проекта планируется изучение и эпистемологический анализ различных способов построения эмпирических гипотез с помощью машинного обучения, формальных дедуктивных рассуждений и доказательств допускающих компьютерную проверку, топологического анализа данных как современного примера использования нестандартной концептуальной оптики в исследованиях основанных на данных (data-driven research). Особое внимание предполагается уделить анализу долгосрочной социально-эпистемологической перспективы цифровизации научных коммуникаций и образования, включая проблему долгосрочного хранения научно значимых данных, вопросы обеспечения публичного доступа к знаниям и технологиям и успешной передачи приобретенных знаний через поколения.