Известия Иркутского государственного университета. Серия «Математика»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Известия Иркутского государственного университета. Серия «Математика», 2024, том 49, страницы 124–134
DOI: https://doi.org/10.26516/1997-7670.2024.49.124
(Mi iigum579)
 

Алгебро-логические методы в информатике и искусственный интеллект

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}$ — мнение большинства. Показаны несколько примеров, демонстрирующих разнообразие этого языка и его возможности. Технически доказана разрешимость проблемы выполнимости в результирующих моделях для нашей многоагентной логики, разработана методика проверки и приведено несколько примеров.
Ключевые слова: модальная логика, темпоральная логика, общеизвестные знания, разрешающие алгоритмы, мультиагентная логика.
Финансовая поддержка Номер гранта
Российский научный фонд 23–21–00213
Работа выполнена при финансовой поддержке Российского научного фонда (проект 23–21–00213).
Поступила в редакцию: 27.02.2024
Исправленный вариант: 20.05.2024
Принята в печать: 21.05.2024
Тип публикации: Статья
УДК: 510.665, 510.643
MSC: 03B45, 03H05
Язык публикации: английский
Образец цитирования: N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024), 124–134
Цитирование в формате AMSBIB
\RBibitem{ProRyb24}
\by N.~A.~Protsenko, V.~V.~Rybakov
\paper The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2024
\vol 49
\pages 124--134
\mathnet{http://mi.mathnet.ru/iigum579}
\crossref{https://doi.org/10.26516/1997-7670.2024.49.124}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum579
  • https://www.mathnet.ru/rus/iigum/v49/p124
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:66
    PDF полного текста:10
    Список литературы:11
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024