Мультиагентные Временные Нетранзитивные Линейные Логики, Проблема Допустимости; Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem

Abstract

Мы изучаем расширение временной логики – мультиагентную логику на моделях с нетранзитивным линейным временем (в некотором смысле расширение интервальной логики). Предлагаемые реляционные модели допус- кают пробелы в отношениях достижимости агентов - и эти отношения в прин- ципе различны – то есть информация достижимая для одного из агентов может быть недостижима для других. Логический язык использует временные опера- торы UNTIL и Next (для каждого из агентов), через которые могут вводится модальные операции возможно и необходимо. Главная изучаемая проблема для вводимой логики это проблема распознавания допустимости правил вывода. Ра- нее эта проблема исследовалась нами для логики с равномерной фиксированной длинной интервалов транзитивности. Данная работа не предполагает равномер- ной длины и расширяет логику индивидуальными временными операторами для различных агентов. Находится алгоритм решающий проблему допустимости в данной логике – а именно – распознающий допустимые правила вывода.