УДК 519.813.7 МОДЕЛИ ОЦЕНКИ СТРАТЕГИЙ ИГР В МУЛЬТИАГЕНТНЫХ СИСТЕМАХ В. А. <...> Бобина Воронежский государственный университет Поступила в редакцию 17.02.2016 г. Аннотация. <...> В данной статье представлена методология мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. <...> В связи с этим, исследуется содержание ATL и эпистемологические формулы для различных классов экспертных систем, представлен алгоритм верификации моделей, их реализация, а также экспериментальные результаты. <...> Ключевые слова: верификация, алгоритмы, логика альтернированного времени, верификация моделей мультиагентных систем (MAS). <...> In this paper we consider methodology for verifying time, game strategies and knowledge in multi-agent systems with the aid of mathematical implementation for interpreted system. <...> ВВЕДЕНИЕ Верификация моделей была изначально предложена для проверки установленных требований, на момент существования темпоральной логики. <...> Темпоральные логики являются языком, на котором удобно формулировать утверждения, использующие понятия времени, таким образом, истинность формулы зависит от момента. <...> Недавно, однако, исследователи расширили техники верификации моделей до других модальных логик, включая некоторую специфичную логику MAS, таким образом, позволяя проверить формально в пределах MAS относительно временных, эпистемологических и других характеристик. <...> Эти работы разделяют подход к верификации моделей, но различаются в многообразии языков описания требований и в особенностях использованного метода проверки модели. <...> В случае параллельной разработки (внедренной в ATL) это логические рассуждения о стратегии в многопользова© Бобина В. А., 2016 тельских играх. <...> Были разработаны методы проверки моделей касательно такой логики. <...> Позднее Хук и Вулдридж предложили логику ATEL, расширяющую логику альтернированного времени с эпистемологическими операторами, чья семантика была определена через модели многоантенных систем. <...> Однако, эта <...>