Временные мультиагентные логики с мультиозначиваниями

Исследованы мультиагентные логики с использованием временных реляционных моделей с мультиозначиваниями. Основное отличие от обычных реляционных моделей состоит во введении различных означиваний для различных агентов и построении глобального означивания на основе данных агентов. Обсуждается важность этого подхода и на примерах показано, что это не просто механическое соединение стандартных временных моделей, этот подход позволяет более точное моделирование вычисления истинностных значений в многоагентной окружающей среде. Для выражения свойств таких моделей вводится логический язык, использующий временные формулы, и определяются логики, базирующиеся на таких моделях. Главная проблема исследования – проблема выполнимости. При ее решении найден разрешающий алгоритм для выполнимости. Обсуждаются интересные открытые проблемы и возможные направления дальнейших исследований.