Воркшоп “Логические и эпистемологические аспекты конструктивного знания”
Описание: Мы называем знание конструктивным, если это знание включает в себя явно выраженную спецификацию по крайней мере некоторых эпистемических процедур, таких как получение, верификация, представление, распространение, ревизия и применение данного знания. Цель настоящего воркшопа состоит в том, чтобы обсудить логические и эпистемологические подходы к конструктивному знанию в контексте современных информационных технологий. Данный воркошоп приурочен к началу одноименного исследовательского проекта, поддрежанного Российским гуманитарным научным фондом.
когда: понедельник 25 апреля 2016 года
где: Институт Философии РАН ), комната 416, 4-й этаж. Адрес: Москва, Гончарная ул. 12, строение 1. Проезд: станция метро Таганская Кольцевой линии
Программа:
10:00 – 10:15
Андрей Родин (ИФ РАН): О проекте (вступительное слово)
10:15 – 11:00
Сергей Ковалев (ИПУ РАН): Машинный интеллект в инженерии аксиоматических систем (abstract)(slides)
11:00-11:45 Евгений Бениаминов (РГГУ) Категорный подход к представлению знаний в проекте разработки сервера библиотек онтологий ЭЗОП (abstract)(slides)
11:45 – 12:00 Кофе
12:00-12:45
Валентин Голев (СПбГУ) Жан-Ив Жирар и поиск имманентного в логике (abstract)(slides)
12:45-13:30
Даниил Рогозин (ГАУГН) Теория типов и формализация математических доказательств (abstract)(slides)
13:30-15:00 Обед
15:00-16:00
Константин Шишов (МГУ) Системы квантовых логик в конструктивном знании (abstract)(slides)
16:00-16:45
Андрей Родин (ИФ РАН): Модельное знание и его аксиоматическое представление (abstract)(slides)
16:45-17:15
Заключительная дискуссия