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

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

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



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






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


Журнал Сибирского федерального университета. Серия «Математика и физика», 2022, том 15, выпуск 1, страницы 56–74
DOI: https://doi.org/10.17516/1997-1397-2022-15-1-56-74
(Mi jsfu975)
 

Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
[Выполнимость во временной логике с мультиозначиванием, основанной на $\mathbb{Z}$]

Vladimir R. Kiyatkin, Anna V. Kosheleva

Siberian Federal University, Krasnoyarsk, Russian Federation
Список литературы:
Аннотация: Статья продолжает серию работ В. В. Рыбакова, посвященных свойствам логик с мультиозначиванием и в которых предложен новый подход для моделирования знаний и рассуждений агентов в мультиагентной среде. В нашей работе доказано, что проблема выполнимости во временной логике с мультиозначиванием, основанной на $\mathbb{Z}$, разрешима.
Ключевые слова: временная логика, мультиозначивание, логика знаний, мультиагентная логика, проблема выполнимости в логике, разрешающие алгоритмы, представления знаний, мультиагентные системы.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
Министерство науки и высшего образования Российской Федерации 075-02-2020-1534/1
The research was supported by Russian Foundation for Basic Research and by Krasnoyarsk Regional Science Foundation (Grant 18-41-240005) and by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation in the framework of the establishment and development of Regional Centers for Mathematics Research and Education (Agreement no. 075-02-2020-1534/1).
Получена: 31.10.2020
Исправленный вариант: 21.02.2021
Принята: 03.05.2021
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64, 510.65, 510.66, 004.82, 004.83
Язык публикации: английский
Образец цитирования: Vladimir R. Kiyatkin, Anna V. Kosheleva, “Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 56–74
Цитирование в формате AMSBIB
\RBibitem{KiyKos22}
\by Vladimir~R.~Kiyatkin, Anna~V.~Kosheleva
\paper Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
\jour Журн. СФУ. Сер. Матем. и физ.
\yr 2022
\vol 15
\issue 1
\pages 56--74
\mathnet{http://mi.mathnet.ru/jsfu975}
\crossref{https://doi.org/10.17516/1997-1397-2022-15-1-56-74}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4383492}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jsfu975
  • https://www.mathnet.ru/rus/jsfu/v15/i1/p56
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Журнал Сибирского федерального университета. Серия "Математика и физика"
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024