|
Алгебро-логические методы в информатике и искусственный интеллект
The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
[Проблема выполнимости в линейной мультиагентной логике знаний, основанной на $\mathbb{N}$]
N. A. Protsenko, V. V. Rybakov Siberian Federal University, Krasnoyarsk, Russian Federation
Аннотация:
Исследуется линейная мультиагентная логика знаний с использованием моделей с мультиозначиванием. Язык логики содержит унарные операторы: $K_{j}$ — $j$-й агент знает, $ULK_{G}$ — нестабильные локальные знания, $E_{G}$ — стабильные локальные знания в группе, бинарный логический оператор $AP_{G}$ — мнение большинства. Показаны несколько примеров, демонстрирующих разнообразие этого языка и его возможности. Технически доказана разрешимость проблемы выполнимости в результирующих моделях для нашей многоагентной логики, разработана методика проверки и приведено несколько примеров.
Ключевые слова:
модальная логика, темпоральная логика, общеизвестные знания, разрешающие алгоритмы, мультиагентная логика.
Поступила в редакцию: 27.02.2024 Исправленный вариант: 20.05.2024 Принята в печать: 21.05.2024
Образец цитирования:
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024), 124–134
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum579 https://www.mathnet.ru/rus/iigum/v49/p124
|
Статистика просмотров: |
Страница аннотации: | 66 | PDF полного текста: | 10 | Список литературы: | 11 |
|