Выступление С.А. Объедкова на тему "Консервативная семантика для параметризованных предпочтений при прочих равных на атомарных конъюнкциях"

15 марта 2017 г. в НИУ ВШЭ состоялось очередное заседание общемосковского научного семинара "МАТЕМАТИЧЕСКИЕ МЕТОДЫ АНАЛИЗА РЕШЕНИЙ  В ЭКОНОМИКЕ, БИЗНЕСЕ И ПОЛИТИКЕ".

Докладчик: Объедков Сергей Александрович (НИУ ВШЭ)

Краткое описание доклада
В докладе рассматривается пропозициональный язык для описания параметризованных предпочтений при прочих равных (ceteris paribus) на атомарных конъюнкциях. Такие предпочтения должны выполняться, только если сравниваемые альтернативы характеризуются одинаковыми значениями пропозициональных переменных из некоторого указанного подмножества. Доказано, что параметризованное высказывание о предпочтениях эквивалентно конъюнкции экспоненциального числа классических (непараметризованных) высказываний о предпочтениях при прочих равных. Предложена система вывода для параметризованных высказываний, и доказано, что задача проверки отношения семантического следствия для таких высказываний является coNP-полной.