СЕРИЯ ВОРКШОПОВ О ТОМ, КАК МАТЕМАТИКА И ОНТОЛОГИЯ ОПРЕДЕЛЯЮТ БУДУЩЕЕ ИНФОРМАЦИОННЫХ СИСТЕМ И МАШИННОГО РАЗУМА
3 воркшопа по 3 часа
с 11:00 до 14:15 мск
длительность
онлайн
формат обучения
11, 18 и 25 апреля 2025 года
даты проведения
регистрация открыта до 3 апреля
философия
математика
информационные технологии
По ту сторону кода
Для кого?
- Архитекторам информационных систем и онтологам, которые устали от поверхностных обсуждений «графов знаний» и хотят спуститься к основаниям: откуда берутся обязательства в описаниях классов и почему без Аристотеля не построить OWL-онтологию
- Философам, уставшим от чистой теории, которые хотят увидеть, как «онтологические обязательства» Квайна превращаются в контракты и статические типы в реальной архитектуре софта.
- Математикам и программистам с философским складом ума, которых мучает вопрос: что мы на самом деле конструируем, когда пишем код — модель реальности или реальность модели?
- Исследователям в области ИИ и семантических технологий, понимающим, что эпоха LLM требует не только инженерии промптов, но и строгой эпистемологической базы для проверки фактов («hard provenance»)
ЭПИСТЕМОЛОГИЯ
ЛОГИКА
как вопросы философской онтологии превратились в OWL-онтологии, дескрипционные логики и современные графы знаний
как выбор философии меняет структуру базы данных
как выбор философии меняет структуру базы данных
что есть и как это описать»?
разница между философским реализмом и номинализмом
разница между философским реализмом и номинализмом
блокчейн как механизм «жесткого закрепления истины» (hard provenance).
моделирование ответственности в распределенных системах
моделирование ответственности в распределенных системах
что значит «существовать» для конструктивного математика?
как строить статические контракты и модели данных, которые будут нести в себе логику доказательства, а не просто фиксировать факты.
как строить статические контракты и модели данных, которые будут нести в себе логику доказательства, а не просто фиксировать факты.
что истинно?
как построить?
как построить?
философский блок
1
2
3
инженерный блок
ОНТОЛОГИЯ
как я могу знать? почему математическое доказательство надежнее эмпирического?
Философская онтология и онтологии в компьютерных науках
11 апреля
18 апреля
25 апреля
Философский блок: Истина и существование. Аристотель «Метафизика». Реализм детерминаторов истинности (Барри Смит). Онтологические обязательства (Квайн). Формальная и неформальная философская онтология. Математика и онтология.
Инженерный блок: Онтологии в компьютерных науках (Джон Сова). Формальные онтологии как дескрипционные логики (OWL 2). Онтологии и графы знаний в эпоху LLM
Инженерный блок: Онтологии в компьютерных науках (Джон Сова). Формальные онтологии как дескрипционные логики (OWL 2). Онтологии и графы знаний в эпоху LLM
Философский блок: Знание как обоснованное истинное мнение (JTB-теория). Платон «Теэтет». Парадоксы Гетье. Эпистемологические аспекты математического доказательств. Доказательства в эмпирических науках.
Инженерный блок: Архитектурная модель знания: эпистемы и уровни формальности. Обеспечение доверия к системе и эпистемический долг. Блокчейн как частный случай «жёсткого провенанса». Математика шифрования.
Инженерный блок: Архитектурная модель знания: эпистемы и уровни формальности. Обеспечение доверия к системе и эпистемический долг. Блокчейн как частный случай «жёсткого провенанса». Математика шифрования.
Знания и их представления
Математическая логика в архитектуре информационных систем
Философский блок: Классическая и интуиционистская логика. Классические и конструктивные рассуждения в математике. Классическое и конструктивное понятие о существовании. Эпистемические логики. Байесовские рассуждения. Полнота и неполнота логических исчислений.
Инженерный блок: Конструктивные объекты в архитектуре информационных систем — статические контракты и договоры, преобразование знаний. Моделирование ответственности.
Инженерный блок: Конструктивные объекты в архитектуре информационных систем — статические контракты и договоры, преобразование знаний. Моделирование ответственности.
содержание
андрей родин
вячеслав шириков
илья егорычев
доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний. Ранее работал в ИФ РАН и Смольном колледже СПбГУ, сейчас — в Университете Лотарингии (Франция)
доктор философских наук, математик, философ, логик, главный эксперт математического журнала для взролых Soulmaths, консультант по информационным технологиям в компании «Мир Эстейт»
технический директор группы компаний «Лартех». Более 20 лет опыта в разработке IoT-проектов, куратор грантов правительства РФ по проектам внедрения индустриальных систем искусственного интеллекта на базе СПбГУ и Университета Лобачевского
ведущие
1 воркшоп
2 воркшоп
3 воркшоп
- Поймете как философские представления о истине и существовании влияют на то, какие сущности и связи закладываются в модели данных и архитектуру систем.
- Сможете различать формальную и неформальную онтологию и осознаете, какие онтологические обязательства берете на себя при проектировании ИС
- Получите базовое практическое представление о формальных онтологиях как дескрипционных логиках (OWL 2) и увидите, как они ложатся на привычные инженерные артефакты (схемы БД, API, доменные модели)
- Поймете роль онтологий и графов знаний в связке с LLM: где заканчиваются языковые модели и начинается необходимость в явной структуре знаний
- Разберетесь в различиях между классической и интуиционистской логикой, классическими и конструктивными доказательствами, и поймете, как это влияет на трактовку «существования» объектов в системе.
- Получите базовое представление о эпистемических и байесовских логиках и увидят, как модели знаний и вероятностные рассуждения помогают проектировать адаптивные и объяснимые системы.
- Начнете видеть в статических контрактах, договорах, ролях и политиках безопасности конструктивные объекты архитектуры, а не только «формальности для compliance».
- Узнаете, как переводить абстрактные логические рассуждения в практические архитектурные решения: моделирование ответственности, прав, ограничений и трансформаций знаний в информационных системах.
- Осмыслите разницу между мнением и знанием через JTB-теорию, парадоксы Гетье и эпистемологию доказательства, и перенесете это на практику: требования, тесты, спецификации
- Освоите архитектурную модель знания: уровни формальности, эпистемы, источники и трансформации знаний внутри системы и организации.
- Поймете, как построить доверие к системе через эпистемический долг, жёсткий провенанс и почему блокчейн — частный случай более общего подхода к фиксации происхождения данных.
- Получите интуитивное понимание, как математика шифрования и механизмы провенанса встраиваются в архитектуру для обеспечения целостности и проверяемости знаний.
что в результате?
что вы получите?
Увидите на практике, как комбинация двух подходов дает более глубокие и надежные инсайты
сертификат об участии в мастер-классе
готовые шаблоны кода на Python для собственных задач
о европейском университете
Европейский университет в Санкт-Петербурге — исследовательский университет постдипломного образования, основанный в 1994 году.
ЕУСПб объединяет лучшие традиции российской и мировой науки и готовит ученых и экспертов в области социальных и гуманитарных наук.
ЕУСПб объединяет лучшие традиции российской и мировой науки и готовит ученых и экспертов в области социальных и гуманитарных наук.
контакты
адрес
Россия, Санкт-Петербург, ул. Гагаринская, 6/1А,
(вход со Шпалерной, дом 1)
телефон
соцсети
сайт
Даю согласие на обработку персональных данных и подтверждаю ознакомление с Политикой АНООВО ЕУСПб в отношении обработки персональных данных