|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Мультиагентные временные нетранзитивные линейные логики, проблема допустимости
В. В. Рыбаковab a Институт математики и информатики, Сибирский Федеральный ун-т, г. Красноярск, РОССИЯ
b Институт систем информатики РАН, г. Новосибирск, РОССИЯ
Аннотация:
Изучается расширение временной логики — мультиагентная логика на моделях
с нетранзитивным линейным временем (в некотором смысле расширение и
интервальной логики). Предлагаемые реляционные модели допускают пробелы в
отношениях достижимости агентов: информация, достижимая
для одного из агентов, может быть недостижима для других. Логический
язык использует временные операторы until и Next (для каждого из
агентов), через которые могут вводиться модальные операции
"‘возможно"’ и "‘необходимо"’. Главная изучаемая проблема для
вводимой логики — это проблема распознавания допустимости правил
вывода. Ранее эта проблема исследовалась автором для логики с
равномерной фиксированной длиной интервалов транзитивности. Здесь не
предполагается равномерность длины, и логика расширяется
индивидуальными временными операторами для различных агентов.
Находится алгоритм, решающий проблему допустимости в данной логике,
т. е. он распознаёт допустимые правила вывода.
Ключевые слова:
временные логики, мультиагентные логики, информация, проблема допустимости
правил, разрешающие алгоритмы.
Поступило: 16.12.2018 Окончательный вариант: 30.04.2020
Образец цитирования:
В. В. Рыбаков, “Мультиагентные временные нетранзитивные линейные логики, проблема допустимости”, Алгебра и логика, 59:1 (2020), 123–141; Algebra and Logic, 59:1 (2020), 87–100
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al939 https://www.mathnet.ru/rus/al/v59/i1/p123
|
Статистика просмотров: |
Страница аннотации: | 270 | PDF полного текста: | 20 | Список литературы: | 32 | Первая страница: | 11 |
|