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

Статья, Москва, 2009
Издание:
Программирование, 2009, № 5, 37-56
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Системы агентов, управляемых логическими программами: сложность верификации.
Аннотация:
В статье рассматривается сложность проблемы верификации поведения (динамических свойств) систем взаимодействующих интеллектуальных агентов. Она продолжает наши более ранние публикации, в которых эта проблема в основном обсуждалась для детерминированных и недетерминированных систем, и больше концентрируется на асинхронных системах.
Язык публикации: английский,  страниц: 16
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на английском языке: Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.
  • Диковский А.Я.