Мультиагентные Временные Нетранзитивные Линейные Логики, Проблема Допустимости; Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
Скачать файл:
URI (для ссылок/цитирований):
http://www.math.nsc.ru/~alglog/51-60/59/59N1.htmlhttps://elib.sfu-kras.ru/handle/2311/142304
Автор:
Рыбаков, Владимир Владимирович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2020-03Журнал:
Алгебра и ЛогикаКвартиль журнала в Scopus:
Q3Квартиль журнала в Web of Science:
Q3Библиографическое описание:
Рыбаков, Владимир Владимирович. Мультиагентные Временные Нетранзитивные Линейные Логики, Проблема Допустимости; Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem [Текст] / Владимир Владимирович Рыбаков // Алгебра и Логика. — 2020. — Т. 59 (№ 1). — С. 123--141Аннотация:
Мы изучаем расширение временной логики – мультиагентную
логику на моделях с нетранзитивным линейным временем (в некотором смысле
расширение интервальной логики). Предлагаемые реляционные модели допус-
кают пробелы в отношениях достижимости агентов - и эти отношения в прин-
ципе различны – то есть информация достижимая для одного из агентов может
быть недостижима для других. Логический язык использует временные опера-
торы UNTIL и Next (для каждого из агентов), через которые могут вводится
модальные операции возможно и необходимо. Главная изучаемая проблема для
вводимой логики это проблема распознавания допустимости правил вывода. Ра-
нее эта проблема исследовалась нами для логики с равномерной фиксированной
длинной интервалов транзитивности. Данная работа не предполагает равномер-
ной длины и расширяет логику индивидуальными временными операторами для
различных агентов. Находится алгоритм решающий проблему допустимости в
данной логике – а именно – распознающий допустимые правила вывода.
Коллекции:
Метаданные:
Показать полную информациюСвязанные материалы
Показаны похожие ресурсы по названию, автору или тематике.
-
АЛГЕБРА ЛОГИКИ И ЕЕ ПРИЛОЖЕНИЕ
Кулиев, Е. В. (Сибирский федеральный университет, 2013) -
Временные многоагентные логики и проблема унификации.
Башмаков, Степан Игоревич (Сибирский федеральный университет, Красноярск, 2018) -
СИСТЕМА АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ ПРОЦЕССОМ УПЛОТНЕНИЯ АСФАЛЬТОБЕТОННОЙ СМЕСИ С ПРИМЕНЕНИЕМ НЕЧЕТКОЙ ЛОГИКИ
Петров, А. Д. (Сибирский федеральный университет, 2011)