Сибирский федеральный университет

Изучается нетранзитивная временная мульти-агентная логика с мультиозначиваниями агентов для переменных и формул. Ранее время и знание моделировались с помощью моделей Крипке, структура которых выглядела как простой единый кластер с множеством отношений достижимости для агентов. Здесь мы развиваем этот подход и используем модели Крипке, которые представляют собой линейное нетранзитивное время и состояния, представленные произвольными временными кластерами для мульти-отношений достижимости агентов. Эта логика определяется семантически, как множество формул, истинных на линейных моделях с мульти-означиваниями переменных и кластерами состояний. Мы предлагаем обоснование такого подхода и методику вычисления истинностных значений формул. Основные результаты касаются проблемы разрешимости. Мы доказываем, что полученная логика разрешима и финитно аппроксимируема