RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2020, том 59, номер 1, страницы 123–141 (Mi al939)  

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

В. В. Рыбаковab

a Институт математики и информатики, Сибирский Федеральный ун-т, г. Красноярск, РОССИЯ
b Институт систем информатики РАН, г. Новосибирск, РОССИЯ

Аннотация: Изучается расширение временной логики — мультиагентная логика на моделях с нетранзитивным линейным временем (в некотором смысле расширение и интервальной логики). Предлагаемые реляционные модели допускают пробелы в отношениях достижимости агентов: информация, достижимая для одного из агентов, может быть недостижима для других. Логический язык использует временные операторы until и Next (для каждого из агентов), через которые могут вводиться модальные операции "‘возможно"’ и "‘необходимо"’. Главная изучаемая проблема для вводимой логики — это проблема распознавания допустимости правил вывода. Ранее эта проблема исследовалась автором для логики с равномерной фиксированной длиной интервалов транзитивности. Здесь не предполагается равномерность длины, и логика расширяется индивидуальными временными операторами для различных агентов. Находится алгоритм, решающий проблему допустимости в данной логике, т. е. он распознаёт допустимые правила вывода.

Ключевые слова: временные логики, мультиагентные логики, информация, проблема допустимости правил, разрешающие алгоритмы.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
Работа выполнена при финансовой поддержке РФФИ и Красноярского научного регионального фонда, проект № 18-41-240005.


DOI: https://doi.org/10.33048/alglog.2020.59.108

Полный текст: PDF файл (291 kB)
Первая страница: PDF файл

Тип публикации: Статья
УДК: 510.64:510.65:510.66
Поступило: 16.12.2018
Окончательный вариант: 30.04.2020

Образец цитирования: В. В. Рыбаков, “Мультиагентные временные нетранзитивные линейные логики, проблема допустимости”, Алгебра и логика, 59:1 (2020), 123–141

Цитирование в формате AMSBIB
\RBibitem{Ryb20}
\by В.~В.~Рыбаков
\paper Мультиагентные временные нетранзитивные линейные логики, проблема допустимости
\jour Алгебра и логика
\yr 2020
\vol 59
\issue 1
\pages 123--141
\mathnet{http://mi.mathnet.ru/al939}
\crossref{https://doi.org/10.33048/alglog.2020.59.108}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al939
  • http://mi.mathnet.ru/rus/al/v59/i1/p123

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:12
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020