Конструктивное знание-3: формализация теорий
NEW: Full Video
Когда: пятница 12 мая 2017 с 10 утра
Где: ИФ РАН, комната 416 (4-й этаж)
Описание:
Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.
Программа:
10:00 – 10:40
ВЛАДИМИР ШАЛАК (ИФ РАН)
Логическая компонента научных теорий
10:40 – 11:10
СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)
Представление инженерных знаний в электронно-цифровом макете сложного технического изделия
КОФЕ
11:30 – 12:10
ВЛАДИМИР КРУПСКИЙ
О моделировании уверенности и знания в социальных сетях
12:10 – 12:50
АНДРЕЙ РОДИН (ИФ РАН)
Правила или аксиомы? О двух стилях аксиоматизации.
12:50 – 13:30
АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)
Теоретико-категорная формализация продукционных систем представления знаний
13:30 – 15:00 – ОБЕД
15:00 – 15:40
ВЛАДИМИР ВАСЮКОВ (ИФ РАН)
Трансцендентальные модальности
15:40 – 16:10
КОНСТАНТИН ШИШОВ (МГУ)
Семантики квантовой логики
КОФЕ
16:30 – 17:10
ДАНЯ РОГОЗИН (МГУ)
Соответствие Карри-Говарда и колмогоровская сложность
17:10 – 17:50
СЕРГЕЙ ТИТОВ (ИФРАН)
Объяснительная сила информационно-емких исследований
17:50 – 18:30
ЗАЛЮЧИТЕЛЬНОЕ ОБСУЖДЕНИЕ