Изучается сложность поведения мультиагентных систем. Свойства поведения формулируются, используя классические языки временной логики, и проверяются на системах переходов, индуцируемых определениями мультиагентной системы. Показано, что существуют детерминированные или недетерминированные алгоритмы с полиномиальной временной сложностью, проверяющие эти свойства при некоторых реалистических структурных и семантических ограничениях на вид рассматриваемых агентов и мультиагентных систем.

Мультиагентные системы, временные логики, мю-исчисление, проверка на моделях, вычислительная сложность

Программирование, параллельные вычисления, мультимедиа