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

Статья, Москва, 2009
Издание:
Труды V Международной научно-практической конференции.'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1. М., Физматлит, 2009, 198-206
Авторы: Валиев М.К., Дехтярь М.И.
Сложность верификации мультиагентных систем с вероятностными состояниями и программами
Аннотация:
Результаты предыдущих работ о моделировании поведения систем взаимодействующих вероятностных агентов, управляемых логическими программами,обобщаются на системы агентов, у которых вероятностными являются не только каналы связи и действия, но и состояния и управляющие логические программы.Соответственно, это приводит и к обобщению прежних результатов о сложности верификации вероятностных мультиагентных систем.
Язык публикации: русский,  страниц: 10
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Валиев Марс Котдусович,  valiev@keldysh.ruИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.