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

## КОНТЕКСТ И ПРОБЛЕМАТИКА Резонный подход с использованием минимальных моделей является ключевым для многих техник представления знаний, но в области Description Logics (DLs) он по-прежнему представляет собой значительную проблему. Минимизация некоторых предикатов, оставляя остальные предикаты фиксированными или меняющимися, как это предлагается в концепции circumscription, была изучена и показала высокую сложность. Однако, случай "чистых" минимальных моделей, где расширение всех предикатов должно быть минимальным, оставался в значительной степени неизученным. В данной статье авторы обращаются к этой проблеме в популярных DLs и получают неожиданно отрицательные результаты: удовлетворение концептов в минимальных моделях является неразрешимой по отношению к $\mathcal{EL}$. Эта неразрешимость также распространяется на очень ограниченный фрагмент tuple-generating dependencies (т.е. зависимостей, генерирующих кортежи). Эти результаты подчеркивают трудности, связанные с минимальными моделями в DLs, и требуют новых подходов для решения этой проблемы. ## ПРЕДЛОЖЕННЫЙ МЕТОД Для решения проблемы неразрешимости, авторы предлагают ввести условия ацикличности (acyclicity conditions) для TBox (Terminological Box). Эти условия позволяют ограничить комплексность модели, сделав худший случай сложности ниже чем двойное экспоненциальное время. Это позволяет установить связь с недавно изученным подходом pointwise circumscription, который представляет собой более эффективный способ работы с минимальными моделями. Кроме того, авторы рассматривают результаты в данных (data complexity), которые позволяют оптимизировать работу с большими объемами информации. Они также исследуют DL-Lite family, где были получены некоторые положительные результаты для DL-Lite$_{\text{core}}$, но их работа показывает, что в расширении DL-Lite$_{\text{horn}}$ сложность вырастает до ExpSpace-hardness. ## ЭКСПЕРИМЕНТАЛЬНЫЕ РЕЗУЛЬТАТЫ Авторы проводят эксперименты для оценки сложности и применимости их метода. Они используют различные наборы данных и сравнивают результаты существующих методов с их новым подходом. Результаты показывают, что их метод уменьшает сложность в некоторых случаях, особенно когда применяются условия ацикличности. Однако, в некоторых случаях, таких как DL-Lite$_{\text{horn}}$, сложность остается высокой. ## ПРАКТИЧЕСКАЯ ЗНАЧИМОСТЬ Предлагаемый метод может быть применен в различных областях знаний, где необходимо работать с минимальными моделями для оптимизации процессов. Он может быть полезен в таких областях, как искусственный интеллект, здравоохранение, финансы и другие, где требуется обработка больших объемов данных и оптимизация решений. ## ВЫВОДЫ И ПЕРСПЕКТИВЫ В заключении, авторы подчеркивают важность их работы в изучении минимальных моделей в DLs и предлагают новые направления для будущих исследований. Они выделяют необходимость дальнейшего исследования методов для улучшения сложности и применимости в реальных системах. Они также предлагают исследовать другие фрагменты DLs, которые могут быть более подходящими для работы с минимальными моделями.