Probabilistically stable revision and comparative probability: a representation theorem and applications

## Контекст В области логики и математического анализа решений существуют различные подходы к определению и изменению убеждений в условиях неполного или нестабильного сведения. Одной из проблем является создание моделей, которые учитывают стабильность убеждений в процессе обновления информации. Агент может изменять свои убеждения при получении новой информации, но эти изменения должны соблюдать определенные стабильностные критерии, чтобы избежать расплывчатости или неопределенности. Мотивация для данного исследования заключается в разработке теоретической модели, которая бы учитывала эти аспекты, обеспечивая стабильность убеждений и логическую целостность в изменении взглядов. ## Метод Для достижения целей исследования был разработан метод, основанный на понятии **"probabilistically stable propositions"** — это убеждения, которые агент устойчиво считает верными с высоким уровнем уверенности. Методология включает в себя использование **теории сравнительных вероятностей** и **логики различных порядков уверенности**. Была предложена архитектура **probabilistically stable belief revision operators**, которая описывает динамику изменения убеждений с учетом стабильности. Для доказательства теорем были использованы методы теории сравнительных вероятностей, включая комбинаторные и мерные аспекты. ## Результаты Исследование привело к получению **representation theorem**, который дает полную характеризацию probabilistically stable revision operators. Была предложена **selections function semantics**, которая обеспечивает логическую целостность модели. Результаты экспериментов показали, что модель эффективно учитывает стабильность убеждений, но при этом не полностью соответствует классическим постулатам AGM ревизии убеждений. Также была показана применимость теории к **теории пропорциональных сравнений** и **теории простых голосований**. ## Значимость Результаты данного исследования имеют значительное значение для теории ревизии убеждений и сравнительных вероятностей. Они могут быть применены в **теории простого голосования**, **теории откровенных предпочтений** и других областях, где необходимо учитывать высказывания, которые имеют высокую стабильность в условиях неполного сведения. Модель предоставляет новый подход к изучению динамики убеждений и может быть использована в широком круге приложений, от моделей решений в управлении до моделей вероятностных систем в естественных науках. ## Выводы Основным достижением является установление полной характеризации probabilistically stable revision operators с помощью representation theorem. Были получены новые результаты в теории сравнительных вероятностей, которые могут быть применены в других областях. Будущие исследования будут направлены на расширение модели для уч