Автор:
Рыбаков, Владимир Владимирович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Аннотация:
Мы изучаем расширение временной логики – мультиагентнуюлогику на моделях с нетранзитивным линейным временем (в некотором смыслерасширение интервальной логики). Предлагаемые реляционные модели допус-кают пробелы в отношениях достижимости агентов - и эти отношения в прин-ципе различны – то есть информация достижимая для одного из агентов можетбыть недостижима для других. Логический язык использует временные опера-直到下一天(第二天)модальные операции возможно и необходимо. Главная изучаемая проблема длявводимой логики это проблема распознавания допустимости правил вывода. Ра-нее эта проблема исследовалась нами для логики с равномерной фиксированнойдлинной интервалов транзитивности. Данная работа не предполагает равномер-ной длины и расширяет логику индивидуальными временными операторами дляразличных агентов. Находится алгоритм решающий проблему допустимости вданной логике – а именно – распознающий допустимые правила вывода.