В подходе Artificial General Intelligence (Universal AI) интеллект рассматривается как информационный процессор, потребляющий и выдающий
информацию, которой и определяется поведение системы. В рамках этого подхода M. Hutter получил способ выбора оптимальной траектории
агента в абстрактной среде. Однако этот способ требовал численных оценок вознаграждения при том или ином движении, способ получения которых оставался открытым. Также этот метод не подходит для оценок
движения группы агентов. В этой работе оценки вознаграждений предоставляются самой средой и предложен способ выбора траектории, который применим для группы агентов. Параллельное выполнение группой
интеллектуальных агентов ряда задач, представляется тензорным произведением соответствующих процессов в категории игр (games) Конвея,
которая сопоставлена среде и движениям агентов. Оптимальный маршрут группы определяется как игра (play) с наибольшим суммарным выигрышем в этой категории. Выигрыш представлен степенью определенности (видимости) цели агента, т.е. некоторым множеством, а не числом.
Доказано, что такое определение выигрыша может быть использовано в
категорной конструкции для игр Конвея. В этой категории тензорное
произведение является операцией линейной логики. Также линейная логика применяется для выбора целей, которые система может достичь, из
всего множества видимых целей. Для этого все множество целей представляется в виде решетки, на которой задана структура линейной логики. Решетка целей, в этом случае, становится множеством истинностных значений логики. Целям, которые достигаются параллельно, так же
соответствует тензорное произведение (как и параллельным процессам
в среде), но только теперь это произведение элементов решетки целей.
Цели выбираются по наибольшей степени истинности элемента решетки, который соответствует их параллельному достижению. В результате
получена формула для оценки наиболее выигрышного маршрута в абстрактной среде для группы агентов.