Доклад Дениса Федянина «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов»
16 июня в 18:10 состоится заседание исследовательского семинара "From the Logical Point of View".
Денис Федянин
Научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступит с докладом:
«Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов»
Аннотация:
В докладе будет показан метод генерации и проверки заданий (на контрольных) вида: "Задана модель M=(W,R_1,R_2,V). Найти все миры, где верна формула K_1 K_2 p". Предложенный метод отличает простота программирования, а также естественное обобщение на случай когда модель является случайной величиной. Например, в случае, когда известны вероятности истинности переменных в мирах и вероятности существования ребер, а требуется найти вероятность того, что формула K_2 K_1 p окажется верна в заданном мире. Метод предназачен в первую очередь для случаев небольшого уровня вложенности модальностей (что характерно для утверждений, которыми оперируют реальные люди) или небольшого количества агентов. Также будет показано как с помощью этого подхода записать операцию применения модальности в виде нейронной сети.
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория А-121, с параллельной трансляцией в Zoom.
Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на Zoom, пожалуйста, заполните форму.
При возникновении вопросов пишите по адресу llfp@hse.ru