Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».
Аннотация:
Представьте, что вы идете в магазин, чтобы купить фрукты, например яблоки, бананы и дыни. Что вы предпочтете? Яблоки бананам или бананы яблокам? А может быть, дыни - ваш приоритет по сравнению с другими фруктами?
Каков бы ни был ваш ответ, вы сможете формализовать его с помощью одной из логических систем, описывающих свойства предпочтений агента. Однако часто предпочтения не абсолютны, а зависят от имеющегося у агента знания, скажем, о том, сколько стоят фрукты. Чтобы формализовать подобные предпочтения в условиях неполной информации, авторы статьи “Эпистемическая Логика Предпочтений” (англ. “An Epistemic Logic of Preferences”) предлагают одноименную логическую систему. В ее рамках авторы вводят новый класс предпочтений агента – эпистемически информированные предпочтения (англ. “knowledge-informed preferences”), которые схватываются самостоятельной модальностью.
В ходе доклада один из авторов работы – стажер-исследователь Овчинникова Анна – формализует мотивационный пример, введет формальную семантику логической системы и проиллюстрирует возможности последней с помощью дополнительных примеров, включая тот, который не вошел в финальную редакцию статьи. Анна обсудит аксиомы и докажет корректность представленной логической системы. Особое внимание Анна уделит нетривиальному доказательству полноты – основному техническому результату статьи.
Ознакомиться с текстом статьи можно по ссылке.
