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

, Москва, 2008
Источник:
журнал 'Вестник Тверского гос. Университета. Серия: Прикладная математика', № 35(95), 2008,выпуск 4(11), 9-22, Москва, 2008
Авторы: Валиев М.К., Дехтярь М.И.
Вероятностные мультиагентные системы: семантика и верификация
Аннотация:
Рассматриваются системы взаимодействующих вероятностных интеллектуальных агентов. У них имеются два источника неопределенности: неопределенность времени передачи сообщений в каналах связи и неопределенность в результатах выполняемых действий. Показано, как таким системам за полиномиальное время могут быть сопоставлены конечные цепи Маркова. Это позволяет перенести известные результаты о верификации динамических свойств конечных цепей Маркова на вероятностные мультиагентные системы.
Язык публикации: русский, страниц: 18
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст:
  (PDF)
Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.