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

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

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


Журн. СФУ. Сер. Матем. и физ.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Журнал Сибирского федерального университета. Серия «Математика и физика», 2022, том 15, выпуск 1, страницы 114–124
DOI: https://doi.org/10.17516/1997-1397-2022-15-1-114-124 (Mi jsfu981) 		 
Multi-agents' temporal logic using operations of static agents' knowledge
[Мультиагентная временная логика с операциями статистического знания агентов]

Vladimir V. Rybakovabc

a Siberian Federal University, Krasnoyarsk, Russian Federation
b HSE University, Moscow, Russian Federation
c A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation
PDF полного текста (134 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17516/1997-1397-2022-15-1-114-124
Аннотация: Исследуется мультиагентная временная логика с нестандартными нетранзитивными отношениями временной достижимости и операциями статического знания агентов. Находится алгоритм, решающий проблему выполнимости и разрешимости.
Ключевые слова: временная логика, мультиагентность, неклассические логики, информация, представление знаний, разрешающие алгоритмы, разрешимость, выполнимость.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
Министерство науки и высшего образования Российской Федерации 075-02-2020-1534/1
Научный фонд НИУ ВШЭ
This research is supported by RFFI (-RFBR) and Krasnoyarsk Regional Fund of Science, research project 18-41-240005; supported by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation (Grant no. 075-02-2020-1534/1), Supported By HSE, Moscow.
Получена: 31.05.2021
Исправленный вариант: 10.09.2021
Принята: 21.10.2021
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.54
Язык публикации: английский
Образец цитирования: Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 114–124
Цитирование в формате AMSBIB
\RBibitem{Ryb22}
\by Vladimir~V.~Rybakov
\paper Multi-agents' temporal logic using operations of static agents' knowledge
\jour Журн. СФУ. Сер. Матем. и физ.
\yr 2022
\vol 15
\issue 1
\pages 114--124
\mathnet{http://mi.mathnet.ru/jsfu981}
\crossref{https://doi.org/10.17516/1997-1397-2022-15-1-114-124}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000749873300009}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jsfu981
  • https://www.mathnet.ru/rus/jsfu/v15/i1/p114
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Журнал Сибирского федерального университета. Серия "Математика и физика"
    Статистика просмотров:
    Страница аннотации:97
    PDF полного текста:31
    Список литературы:22
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024