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