1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Логики ветвящегосявремени смультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося времени с мультиагентными отношениями временной достижимости
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ (Р 930)
Библиографическое описание: Рыбаков, Владимир Владимирович. Логики ветвящегося времени с мультиагентными отношениями временной достижимости / В. В. Рыбаков. - Текст : непосредственный // Сибирский математический журнал. - 2021. - Т. 62, № 3. - С. 619-628. - Библиогр.: с. 627-628 (20 назв.). - ISSN 0037-4474.
Аннотация: Изучается временная логика ветвящегося времени с отношениями временной достижимости для агентов, различных по протяженности и содержанию. Найден алгоритм для разрешения проблемы выполнимости и разрешимости самой логики через описание конечных выполняющих моделей вычислимого размера. Сняты ограничения на величину всех интервалов временной достижимости для агентов: они могут быть произвольными. Сформулированы некоторые открытые проблемы.
Год издания: 2021
Авторы: Рыбаков Владимир Владимирович
Источник: Сибирский математический журнал
Выпуск: Т. 62, № 3
Номера страниц: 619-628
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Логики ветвящегосявременисмультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2021 год
Многоагентныевременные логики,проблемы унификации идопустимости Рыбаков Владимир Владимирович2022 год

Многоагентные временные логики, проблемы унификации и допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Мультиагентныевременныенетранзитивныелинейные логики,проблема допустимости Рыбаков Владимир Владимирович2020 год

Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2020 год
Динамическиевременные операции вмультиагентныхлогиках Рыбаков Владимир Владимирович2022 год

Динамические временные операции в мультиагентных логиках : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Временныемультиагентные логикис мультиозначиваниями Рыбаков Владимир Владимирович2018 год

Временные мультиагентные логики с мультиозначиваниями : научное издание

  • Рыбаков Владимир Владимирович
  • 2018 год
Интранзитивныевременныемногоагентные логики,информация и знание,разрешимость Рыбаков Владимир Владимирович2017 год

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

  • Рыбаков Владимир Владимирович
  • 2017 год
Допустимые правилавывода линейнойлогики знания ивремени LTK r синтранзитивнымотношением времени Лукьянчук АлександраНиколаевнаРыбаков Владимир Владимирович2015 год

Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени : статья из журнала

  • Лукьянчук Александра Николаевна и др.
  • 2015 год
Аксиоматизациялинейной логикизнания и времени LTKr с интранзитивнымотношением времени Лукьянчук АлександраНиколаевнаРимацкий Виталий Валентинович2013 год

Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени : статья из журнала

  • Лукьянчук Александра Николаевна и др.
  • 2013 год

Показать ещё

Satisfiability in a Temporal Multi-valueted Logic Based on Z : статья из журнала

  • Kiyatkin Vladimir и др.
  • 2022 год

Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledge : статья из журнала

  • Rybakov Vladimir
  • 2022 год
Верификацияразграничения доступав системах большихданных сиспользованиемвременных логик Полтавцева М. А.Подоров А. А.2024 год

Верификация разграничения доступа в системах больших данных с использованием временных логик : статья из журнала

  • Полтавцева М. А. и др.
  • 2024 год
Интенсиональныелогики, временные,многоагентные и ихиспользование винформатике, иверификацииинформации в… 2025 год

Интенсиональные логики, временные, многоагентные и их использование в информатике, и верификации… : описание проекта

  • 2025 год

Interval Multi-agent Logic with Reliability Operator : статья из журнала

  • Kiyatkin Vladimir и др.
  • 2024 год
Пространственно-временные марковскиемодели воценочно-корреляционно-компенсационнойобработке сигналов вдискретном… Костров В. В.Паршин Ю. Н.2024 год

Пространственно-временные марковские модели в оценочно-корреляционно-компенсационной обработке… : статья из журнала

  • Костров В. В. и др.
  • 2024 год
ЛИНЕЙНАЯ ВРЕМЕННАЯЛОГИКА ЗНАНИЯ LTK.SL:СЕМАНТИКА И ФИНИТНАЯАППРОКСИМИРУЕМОСТЬ Зверева Т.Ю.Башмаков С.И.2023 год

ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада

  • Зверева Т.Ю. и др.
  • 2023 год

Non-standard Logic and Reliability of Information : статья из журнала

  • Rybakov Vladimir и др.
  • 2025 год