Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»

Анна Овчинникова
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:

«Эпистемическая логика предпочтений» 

Аннотация:
Представьте, что вы идете в магазин, чтобы купить фрукты, например яблоки, бананы и дыни. Что вы предпочтете? Яблоки бананам или бананы яблокам? А может быть, дыни - ваш приоритет по сравнению с другими фруктами? 

Каков бы ни был ваш ответ, вы сможете формализовать его с помощью одной из логических систем, описывающих свойства предпочтений агента. Однако часто предпочтения не абсолютны, а зависят от имеющегося у агента знания, скажем, о том, сколько стоят фрукты. Чтобы формализовать подобные предпочтения в условиях неполной информации, авторы статьи “Эпистемическая Логика Предпочтений” (англ. “An Epistemic Logic of Preferences”) предлагают одноименную логическую систему. В ее рамках авторы вводят новый класс предпочтений агента – эпистемически информированные предпочтения (англ. “knowledge-informed preferences”), которые схватываются самостоятельной модальностью.

В ходе доклада один из авторов работы – стажер-исследователь Овчинникова Анна – формализует мотивационный пример, введет формальную семантику логической системы и проиллюстрирует возможности последней с помощью дополнительных примеров, включая тот, который не вошел в финальную редакцию статьи. Анна обсудит аксиомы и докажет корректность представленной логической системы. Особое внимание Анна уделит нетривиальному доказательству полноты – основному техническому результату статьи. Предварительно ознакомиться с текстом статьи можно по ссылке.