Тип публикации: статья из журнала
Год издания: 2025
Ключевые слова: frame and Kripke model, multi-agent logics, NLM-logics, Decidability Problem, фрейм и модель Крипке, мульти-агентные логики, NLM-логики, проблемаразрешимости
Аннотация: We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulasletters. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables and clusters of states. We propose a background for such approach and a techniquefor computation truth values of forПоказать полностьюmulas. Main results concerns solvability problem, we prove that theresulting logic is decidable. Изучается нетранзитивная временная мульти-агентная логика с мульти-означиваниями агентов для переменных и формул. Ранее время и знание моделировались с помощью моделейКрипке, структура которых выглядела как простой единый кластер с множеством отношений достижимости для агентов. Здесь мы развиваем этот подход и используем модели Крипке, которыепредставляют собой линейное нетранзитивное время и состояния, представленные произвольнымивременными кластерами для мульти-отношений достижимости агентов. Эта логика определяетсясемантически, как множество формул, истинных на линейных моделях с мульти-означиваниями переменных и кластерами состояний. Мы предлагаем обоснование такого подхода и методику вычисления истинностных значений формул. Основные результаты касаются проблемы разрешимости.Мы доказываем, что полученная логика разрешима и финитно аппроксимируема.
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т. 18, № 5
Номера страниц: 680-686
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Сибирский федеральный университет