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

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание / В. В. Рыбаков. - Текст : непосредственный // Сибирский математический журнал. - 2021. - Т. 62, № 3. - С. 619-628. - ISSN 0037-4474, DOI 10.33048/smzh.2021.62.313.
Аннотация: Изучается временная логика ветвящегося времени с отношениями временной достижимости для агентов, различных по протяженности и содержанию. Найден алгоритм для разрешения проблемы выполнимости и разрешимости самой логики через описание конечных выполняющих моделей вычислимого размера (через размер входных формул). Сняты ограничения на величину всех интервалов временной достижимости для агентов (быть всем внутри общего интервалавременной достижимости для любой локальной точки времени): они могут быть произвольными. Сформулированы некоторые открытые проблемы.
Under study are the branching time temporal logics with temporal accessibility relations for the agents different in length and content. We find an algorithm for solving the problems of satisfiability and decidability of the logic through describing finite satisfiable models of computable size (through the size of the input formulas). We remove the constraints on the size of all temporal accessibility intervals for the agents (to be all inside a common temporal accessibility interval at any local time point); i.e., all constraints can be arbitrary. Also, we formulate some open problems.
Год издания: 2021
Авторы: Рыбаков Владимир Владимирович
Издательство: Сибирское отделение РАН, Институт математики им. С.Л. Соболева СО РАН, Новосибирск
Источник: Сибирский математический журнал
Выпуск: Т. 62, № 3
Номера страниц: 619-628
Держатель оригинала документа: Институт систем информатики РАН, Сибирский федеральный университет
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Рыбаков Владимир Владимирович
  • 2017 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

Разрешимость многоагентной логики деревьев вычислений CTLKRel : научное издание

  • Башмаков Степан Игоревич и др.
  • 2026 год
Реляционная версиямногоагентной логикидеревьев вычисленийCTLK Башмаков Степан ИгоревичСмелых Кирилл Александрович2024 год

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

  • Башмаков Степан Игоревич и др.
  • 2024 год

Показать ещё

ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание

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

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

  • Зверева Т.Ю. и др.
  • 2023 год
Interval Multi-agentLogic withReliability Operator Kiyatkin Vladimir R.Rybakov Vladimir V.2024 год

Interval Multi-agent Logic with Reliability Operator : научное издание

  • Kiyatkin Vladimir R. и др.
  • 2024 год
The SatisfiabilityProblem in LinearMulti-agent KnowledgeLogic Based on N Protsenko Nikita A.Rybakov Vladimir V.2024 год

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N : научное издание

  • Protsenko Nikita A. и др.
  • 2024 год
Formulas ExpressingTotally NonstableTruth Values ofFormulas Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2023 год

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание

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

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

  • Полтавцева М. А. и др.
  • 2024 год
Intransitive TemporalMulti-agent Logicwith Agents’Multi-valuations.Decidability Grekovich Konstantin V.Rybakov Vladimir V.Rimatskiy Vitaliy V.2025 год

Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability : научное издание

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

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

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