Тип публикации: статья из журнала
Год издания: 2024
Идентификатор DOI: 10.26516/1997-7670.2024.49.124
Ключевые слова: modal logic, temporal logic, common knowledge, Deciding algorithms, multi-agent logic, модальная логика, темпоральная логика, общеизвестные знания, разрешающие алгоритмы, мультиагентная логика
Аннотация: In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators <i>K</i>j - <i>j</i> - the agent knows, <i>ULK</i>G - unstable local knowledge, <i>E</i>G - stable local knowledge in thegroup, and the binary logical operator <i>AP</i>G - the majority opinion. We will show some examples that demonstrate the diversity of this language and its capabilities. Technicallywe prove decidability of satisfiability problem in the resulting models for our multi-agent logic, develop verification technique and provide some examples. Исследуется линейная мультиагентная логика знаний с использованием моделей с мультиозначиванием. Язык логики содержит унарные операторы: <i>K</i>j - <i>j</i>-й агент знает, <i>ULK</i>G - нестабильные локальные знания, <i>E</i>G - стабильные локальные знания в группе, бинарный логический оператор <i>AP</i>G - мнение большинства. Показаны несколько примеров, демонстрирующих разнообразие этого языка и его возможности. Технически доказана разрешимость проблемы выполнимости врезультирующих моделях для нашей многоагентной логики, разработана методика проверки и приведено несколько примеров.
Журнал: Известия Иркутского государственного университета. Серия: Математика
Выпуск журнала: Т.49
Номера страниц: 124-134
ISSN журнала: 19977670
Место издания: Иркутск
Издатель: Иркутский государственный университет