Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья, Амстердам,Нидерланды, 2006
Издание:
Elsevier Science, Annals of Pure and Applied Logic, №141
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
О сложности верификации поведения взаимодействующих агентов
Аннотация:
В статье изучается сложность поведения мультиагентных систем. Свойства поведения формулируются, используя классические языки временной логики, и проверяются на системах переходов, индуцируемых определениями мультиагентной системы. Устанавливаются различные точные сложностные оценки для проверки таких свойств при некоторых естественных структурных и семантических ограничениях на вид рассматриваемых агентов и мультиагентных систем.
Ключевые слова:
Мультиагентные системы, временные логики, мю-исчисление, проверка на моделях, вычислительная сложность
Язык публикации: английский, страниц: 46
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст:
  (PDF)
Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.
  • Диковский А.Я.