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

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

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



Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Сиб. матем. журн., 2017, том 58, номер 5, страницы 1128–1143 (Mi smj2924)  

Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Интранзитивные временные многоагентные логики, информация и знание, разрешимость

В. В. Рыбаков

Сибирский федеральный университет, Институт математики, пр. Свободный, 79, Красноярск 660041

Аннотация: Многоагентные и временные логики образуют активную область в науках об информации и искуcственном интеллекте. Преимущественно внимание уделялось временным логикам с транзитивным отношением времени. Но это не выглядит как очень надежное допущение, так как нетранзитивность отношения передачи информации легко может быть продемонстрирована примерами. В данной статье вводятся и изучаются многоагентные временные логики, базирующиеся на нетранзитивном времени. Другое новшество состоит в рассмотрении течения времени с пробелами с неполной информацией. Найдены разрешающие алгоритмы для технически наиболее важной части, состоящей в решении проблем выполнимости и разрешимости. Приводится список интересных открытых проблем.

Ключевые слова: временная логика, вычислимость, информация, многоагентные логики, выполнимость разрешимость, не транзитивное время.

DOI: https://doi.org/10.17377/smzh.2017.58.514

Полный текст: PDF файл (349 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Siberian Mathematical Journal, 2017, 58:5, 875–886

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.64+510.65+510.66
MSC: 35R30
Статья поступила: 12.12.2016

Образец цитирования: В. В. Рыбаков, “Интранзитивные временные многоагентные логики, информация и знание, разрешимость”, Сиб. матем. журн., 58:5 (2017), 1128–1143; Siberian Math. J., 58:5 (2017), 875–886

Цитирование в формате AMSBIB
\RBibitem{Ryb17}
\by В.~В.~Рыбаков
\paper Интранзитивные временные многоагентные логики, информация и~знание, разрешимость
\jour Сиб. матем. журн.
\yr 2017
\vol 58
\issue 5
\pages 1128--1143
\mathnet{http://mi.mathnet.ru/smj2924}
\crossref{https://doi.org/10.17377/smzh.2017.58.514}
\elib{https://elibrary.ru/item.asp?id=29947477}
\transl
\jour Siberian Math. J.
\yr 2017
\vol 58
\issue 5
\pages 875--886
\crossref{https://doi.org/10.1134/S0037446617050147}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000413438200014}
\elib{https://elibrary.ru/item.asp?id=31126927}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85032003639}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/smj2924
  • http://mi.mathnet.ru/rus/smj/v58/i5/p1128

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Сиб. электрон. матем. изв., 16 (2019), 1158–1170  mathnet  crossref
    2. В. В. Рыбаков, “Мультиагентные временные нетранзитивные линейные логики, проблема допустимости”, Алгебра и логика, 59:1 (2020), 123–141  mathnet  crossref; V. V. Rybakov, “Multi-agent temporal nontransitive linear logics and the admissibility problem”, Algebra and Logic, 59:1 (2020), 87–100  crossref  isi
    3. А. В. Горбунова, А. В. Лебедев, “Эффекты стохастической нетранзитивности в системах массового обслуживания”, УБС, 85 (2020), 23–50  mathnet  crossref
    4. V. V. Rybakov, “Temporal logic with overlap temporal relations generated by time states themselves”, Сиб. электрон. матем. изв., 17 (2020), 923–932  mathnet  crossref
    5. В. В. Рыбаков, “Логики ветвящегося времени с мультиагентными отношениями временной достижимости”, Сиб. матем. журн., 62:3 (2021), 619–628  mathnet  crossref
  • Сибирский математический журнал Siberian Mathematical Journal
    Просмотров:
    Эта страница:93
    Полный текст:28
    Литература:18
    Первая стр.:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021