Проверка SMA

Свойства эмерджентности

Глобальные характеристики системы, возникающие из локальных взаимодействий между агентами, но не явно запрограммированные. Их формальная верификация представляет собой основную проблему в валидации МАС.

← Назад