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

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