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