СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

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