1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Interval Multi-agentLogic withReliability Operator: научное издание Kiyatkin Vladimir R.Rybakov Vladimir V.2024 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Interval Multi-agent Logic with Reliability Operator : научное издание / Vladimir R. Kiyatkin, Vladimir V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Серия: Математика и физика. - 2024. - Т. 17, № 5. - P. 679-683. - This work is supported by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation (Agreement No. 075-02-2024-1429). - ISSN 1997-1397. - ISSN 2313-6022.
Аннотация: We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables. We propose a background for such approach and a technique for computation truth values of formulas. Main results concerns solvability problem, we prove that the resulting logic is decidable.
В предлагаемой статье мы изучаем нетранзитивную временную многоагентную логику с мультиозначиванием агентов и реляционные модели, представляющие надёжные состояния. Эти логики определяются семантически, как множества формул, истинных на линейных моделях с мультиозначиванием. В работе мы предложили основу для такого подхода и разработали технику для вычисления истинностных значений формул. Основной результат касается проблемы разрешимости. Доказано, что рассматриваемая логика разрешима.
Год издания: 2024
Авторы: Kiyatkin Vladimir R. , Rybakov Vladimir V.
Издательство: Сибирский федеральный университет, Красноярск
Источник: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск: Т. 17, № 5
Номера страниц: 679-683
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

  • Kiyatkin Vladimir и др.
  • 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 год
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 год
Non-standard Logicand Reliability ofInformation Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2025 год

Non-standard Logic and Reliability of Information : научное издание

  • Rybakov Vladimir V. и др.
  • 2025 год
SatisfiabilityProblem in IntervalFP-logic Protsenko Nikita A.Rybakov Vladimir V.Rimatskiy Vitaliy V.2023 год

Satisfiability Problem in Interval FP-logic : научное издание

  • Protsenko Nikita A. и др.
  • 2023 год
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 год
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 год

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

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

Показать ещё

NON-UNIFIABILITY INLINEAR TEMPORAL LOGICOF KNOWLEDGE WITHMULTI-AGENT RELATIONS Bashmakov S.I.Kosheleva A.V.Rybakov V.2016 год

NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание

  • Bashmakov S.I. и др.
  • 2016 год
Multilinearmultimodal logic withsemi-reliableinformation operator Protsenko NikitaAleksandrovichRybakov Vladimir Vladimirovich2025 год

Multilinear multimodal logic with semi-reliable information operator : научное издание

  • Protsenko Nikita Aleksandrovich и др.
  • 2025 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

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

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

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

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

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : статья из журнала

  • Rimatsky Vitaliy и др.
  • 2024 год
Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

Criterion of Global Admissibility for Logic IPC : научное издание

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

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

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

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

  • Рыбаков Владимир Владимирович
  • 2024 год