Труды V Международной научно-практической конференции.'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1. М., Физматлит, 2009, 198-206
Сложность верификации мультиагентных систем
с вероятностными состояниями и программами
Аннотация:
Результаты предыдущих работ о моделировании поведения систем взаимодействующих вероятностных агентов, управляемых логическими программами,обобщаются на системы агентов, у которых вероятностными являются не только каналы связи и действия, но и состояния и управляющие логические программы.Соответственно, это приводит и к обобщению прежних результатов о сложности верификации вероятностных мультиагентных систем.