andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

March 1, 2018

Конструктивное знание – 5 : представление знаний

Filed under: — Andrei Rodin @ 4:27 pm

Когда: среда 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:0016:30

ОБЩЕЕ ОБСУЖДЕНИЕ

 


 

 

 

 

 

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress