1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2024 г. Том 17. № 5

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

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Kiyatkin, Vladimir. Interval Multi-agent Logic with Reliability Operator = Интервальная многоагентная логика с оператором надежности / V. R. Kiyatkin, V. V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2024. - Т. 17, № 5. - С. 679-683. - Библиогр.: с. 682-683. - ISSN 1997-1397.
Аннотация: В предлагаемой статье мы изучаем нетранзитивную временную многоагентную логику с мультиозначиванием агентов и реляционные модели, представляющие надёжные состояния. Эти логики определяются семантически, как множества формул, истинных на линейных моделях с мультиозначиванием. В работе мы предложили основу для такого подхода и разработали технику для вычисления истинностных значений формул. Основной результат касается проблемы разрешимости. Доказано, что рассматриваемая логика разрешима
Год издания: 2024
Авторы: Kiyatkin Vladimir , Rybakov Vladimir
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 17, № 5
Номера страниц: 679-683
Количество экземпляров:

Всего свободно 3 из 3 экземпляров.

  • Информационно-библиографический отдел (пр. Свободный, 79, к. Б3-09): свободно 1 из 1 экземпляров
  • Электронный читальный зал (пер. Вузовский, 3, к. 131): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Лиды Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров