Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
Аннотация:
В докладе будет показан метод генерации и проверки заданий (на контрольных) вида: "Задана модель M=(W,R_1,R_2,V). Найти все миры, где верна формула K_1 K_2 p". Предложенный метод отличает простота программирования, а также естественное обобщение на случай когда модель является случайной величиной. Например, в случае, когда известны вероятности истинности переменных в мирах и вероятности существования ребер, а требуется найти вероятность того, что формула K_2 K_1 p окажется верна в заданном мире. Метод предназачен в первую очередь для случаев небольшого уровня вложенности модальностей (что характерно для утверждений, которыми оперируют реальные люди) или небольшого количества агентов. Также будет показано как с помощью этого подхода записать операцию применения модальности в виде нейронной сети.
