БОЛЬШИХ ГРУПП ИНТЕЛЛЕКТУАЛЬНЫХ
АГЕНТОВ
Автор: Дмитрий Юрьевич Максимов
Аннотация:
В подходе Artificial General Intelligence (Universal AI) интеллект рассматривается как информационный процессор, потребляющий и выдающий
информацию, которой и определяется поведение системы. В рамках этого подхода M. Hutter получил способ выбора оптимальной траектории
агента в среде. Однако этот способ требовал численных оценок вознаграждения при том или ином движении, способ получения которых оставался открытым. Также этот метод не подходит для оценок движения группы агентов. В этой работе оценки вознаграждений предоставляются
самой средой и предложен способ выбора траектории, который применим для группы агентов. Параллельное выполнение группой интеллектуальных агентов ряда задач, представляется тензорным произведением
соответствующих процессов в категории игр (games) Конвея, которая сопоставлена среде и движениям агентов. Оптимальный маршрут группы определяется как игра (play) с наибольшим суммарным выигрышем в этой категории. Выигрыш представлен степенью определенности (видимости) цели агента, т.е. некоторым множеством, а не числом. Доказано,что такое определение выигрыша может быть использовано в категорной конструкции для игр Конвея. В этой категории тензорное произведение
является операцией линейной логики. Также линейная логика применяется для выбора целей, которые система может достичь, из всего множества видимых целей. Для этого все множество целей представляется в виде решетки, на которой задана структура линейной логики. Решетка целей, в этом случае, становится множеством истинностных значений логики. Целям, которые достигаются параллельно, опять соответствует тензорное произведение, но только теперь элементов решетки целей. Цели выбираются по наибольшей степени истинности элемента решетки,который соответствует их параллельному достижению. В результате получена формула для оценки наиболее выигрышного маршрута в среде для группы агентов.
Ключевые слова:
интеллектуальные агенты, выбор маршрута, решетка целей, игровая семантика