Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics

## Контекст Многоагентная эпистемическая планирования (MEP) — это фреймворк для автономного планирования, который способен оценивать как физический мир, так и восприятие этого мира агентами. Эта область имеет практическое применение в ситуациях, где важно учитывать взаимодействие между агентами, включая обмен информацией и уровень осведомленности. Однако, сложность MEP возникает из-за того, что состояния представляются в виде Kripke-структур (направленных графов с метками). Эта форма представления ограничивает возможности использования традиционных методов, таких как стратегии хинтинга, что приводит к ограниченной скалярности эпистемических планировщиков. Таким образом, агенты часто сталкиваются с проблемами целостности и управляемости в решении задач, особенно в условиях большого числа взаимодействующих субъектов. ## Метод Для улучшения скалярности эпистемических планировщиков мы используем графовые нейронные сети (GNN). Метод построен на том, чтобы использовать структуру Kripke-графов для получения априорной информации о состояниях планирования. GNN предназначена для статистического анализа и извлечения семантической информации из эпистемических структур. Это позволяет научиться предсказывать расстояния до целей или другие метрики в качестве оценок значимости состояния. Интегрируя эти оценки в эпистемическую систему, мы стремимся обеспечить эффективное и направленное планирование, снижая требования к вычислительным ресурсам. ## Результаты Мы проводили эксперименты с использованием различных симуляционных сценариев, включая задачи с несколькими агентами и различными уровнями сложности. Наши результаты показывают, что применение GNN-основых оценок позволяет значительно уменьшить время работы планировщика и повысить качество решений в сравнении с базовыми методами, такими как идеальные и дефолтные хинты. Мы также провели анализ того, насколько GNN помогает уменьшить проблему отсутствия глобальной информации, которая часто является ограничением для эффективности использования эпистемических методов. ## Значимость Наше решение может быть применено в различных областях, таких как робототехника, игровые системы, управление сетями и даже системы управления транспортом. Главное преимущество — повышение скалярности и эффективности эпистемического планирования благодаря использованию статистических методов, которые учитывают характерные для Kripke-структур связи и логические зависимости. Это может привести к более быстрым и устойчивым решениям в сложных многоагентных сре