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

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

V. V. Rybakov
Multiagent Temporal Logics with Multivaluations

We study multiagent logics and use temporal relational models with multivaluations. The key distinction from the standard relational models is the introduction of a particular valuation for each agent and the computation of the global valuation using all agents’ valuations. We discuss this approach, illustrate it with examples, and demonstrate that this is not a mechanical combination of standard models, but a much more subtle and sophisticated modeling of the computation of truth values in multiagent environments. To express the properties of these models we define a logical language with temporal formulas and introduce the logics based at classes of such models. The main mathematical problem under study is the satisfiability problem. We solve it and find deciding algorithms. Also we discuss some interesting open problems and trends of possible further investigations.

DOI 10.17377/smzh.2018.59.413
Ключевые слова: мультиагентные логики, информация, знания, временные логики, мультиозначивания, проблема выполнимости, разрешающие алгоритмы.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации