Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete

## Контекст В исследованиях по многоагентным системам, особенно в сфере эпистемического планирования, важно понимать, как изменяется знание субъектов в зависимости от наблюдений о среде. Одна из ключевых проблем заключается в определении, как обновляются знания в реальном времени, когда группа агентов наблюдает общие события. Одним из подходов является использование Public Observation Logic (POL), в котором каждое состояние эпистемической сети связано с набором ожидаемых наблюдений. Эти состояния меняются в зависимости от того, совпали ли ожидания с фактическими наблюдениями. Несмотря на важность таких анализов, проблема точности и сложности обработки этих моделей остается открытой. ## Метод Мы рассматриваем Public Observation Logic (POL) как модель для описания изменений знаний в многоагентных системах. Для этого используется эпистемическая модель (сеть типа Kripke), в которой каждому состоянию присваивается набор ожидаемых наблюдений. Наша цель — определить, какие изменения знаний могут произойти при получении фактических наблюдений. Мы анализируем сложность проблемы формального описания, которая заключается в том, чтобы определить, может ли данная модель быть достаточно точной для заданного набора наблюдений. Для доказательства сложности мы разрабатываем методы, основанные на техниках вычислительной теории, в частности, теории комплексности. Это позволяет провести сравнение между различными моделями и выявить места, где могут возникать сложности. ## Результаты Мы показываем, что задача определения свойств логики POL (а именно, её состоятельности) является 2EXPTIME-полной задачей. Это означает, что проверка того, может ли утверждение быть доказано в логике POL, требует времени, которое растет экспоненциально по отношению к размеру входной модели. Мы доказываем это с использованием техник проверки сложности, таких как обратное ограничение времени и техники построения сложного решения. Этот результат показывает, что даже для достаточно простых моделей, задачи принятия решений в POL являются очень сложными в терминах вычислительной сложности. ## Значимость Результаты этого исследования имеют важное применение в сфере эпистемического планирования и анализа многоагентных систем. Они показывают, что принятие решений в POL является вычислительно тяжелой задачей, что направляет нас к разработке эффективных методов приближения или алгоритмов для этих задач. Благодаря этой работе, мы можем понять, какие конкретные сложности присутствуют в моделях и какие подходы могут быть применены для оптимизации анализа. Кроме того, наша работа может быть использована для развития более точных моделей, которые учитывают комплексные свойства