Аннотация:
Рассмотрена возможность объяснения проявлений коллективного интеллекта наличием структуры в множестве решаемых задач. Распределенной системе ставится в соответствие решетка задач, которые система способна решать. На этой решетке определяется внешняя операция умножения элементов решетки и соответственно операции линейной логики. Операция импликации используется при выборе варианта реконфигурирования системы, т.е. выбора исполнителя новой задачи. Показано, что этот выбор во многом определяется структурой решетки задач и определением операции умножения на ней. Использование предложенного метода реконфигурирования рассмотрено на примере функционирования группы роботов-дворников.
Ключевые слова:линейная логика, решетка целей, выбор решения, управление группой роботов, многоагентные системы.
Статья представлена к публикации членом редколлегии:Ф. Т. Алескеров