Аннотация:
В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек $\mu$PLC$_n$ в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с абсолютной памятью, порожденная хорошо структурированной средой и снабженная специальным PRS-порядком, образует хорошо структурированную среду. Из этого следует, что проверка моделей для дизъюнктивного фрагмента $\mu$PLC$_n$ разрешима.
Ключевые слова:логика общих знаний, мультиагентные системы с абсолютной памятью, хорошо структурированные системы, проверка моделей.
Полный текст:
PDF файл (456 kB)