О сложности верификации поведения взаимодействующих агентов
Аннотация:
В статье изучается сложность поведения мультиагентных систем. Свойства поведения формулируются, используя классические языки временной логики, и проверяются на системах переходов, индуцируемых определениями мультиагентной системы. Устанавливаются различные точные сложностные оценки для проверки таких свойств при некоторых естественных структурных и семантических ограничениях на вид рассматриваемых агентов и мультиагентных систем.
Ключевые слова:
Мультиагентные системы, временные логики, мю-исчисление, проверка на моделях, вычислительная сложность
