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

Abstract

Данная работа изучает много-агентные не классические модальные логики, порождаемые реляционными Крипке--подобными моделями, описывающими передачу информации Мы вводим Крипке-подобные модели существенно расширяющие обычные модели Крипке. Исследуются алгоритмические проблемы возникающие в таких логиках. Решается проблема разрешимости для таких логик, находятся алгоритмы, проверяющие выполнимость формул. Решается проблема допустимости в таких логиках на основе техники проективности формул и унификации.