Исследование мультиагентных систем, действующих в условиях неполной определенности

Построен алгоритм моделирования нечетких мультиагентных систем (МАС) нечеткими марковскими процессами принятия решений (нечеткими МДП). Для нескольких вариантов проблемы верификации динамических свойств нечетких МДП построены алгоритмы, решающие эти проблемы, и получены достаточно точные верхние оценки вычислительной сложности этих алгоритмов. Объединение этих результатов позволило получить алгоритмы верификации для нечетких МАС и оценки сложности этих алгоритмов. Разработана экспериментальная система верификации динамических свойств вероятностных МАС. В настоящее время продолжается работа по расширению этой системы в направлении верификации нечетких МАС. Проведены некоторые эксперименты по верификации формул вероятностных и нечетких темпоральных логик на вероятностных и нечетких МАС. Рассмотрена задача проверки моделей для логики общих знаний и неподвижных точек mu-PLCn в хорошо структурированных МАС с абсолютной памятью. В частности, показано, что проверка моделей для дизъюнктивного фрагмента mu-PLCn разрешима. Выполнена систематизация и уточнены (ручные) доказательства завершаемости полученных ранее мультиагентных алгоритмов доступа к пулу дискретных ресурсов. Проанализированы варианты обобщения данных алгоритмов на мультиагентный вариант задачи о балансировке нагрузки в облачном хостинге. Разработан и обоснован подход к формальной верификации алгоритмов мультиагентного анализа произвольно структурированных данных для пополнения онтологий.