Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: ДИНАМИЧЕСКИЕ СИСТЕМЫ И КОМПЬЮТЕРНЫЕ НАУКИ: ТЕОРИЯ И ПРИЛОЖЕНИЯ (DYSC 2023); Иркутск; Иркутск
Год издания: 2023
Ключевые слова: многоагентная логика, ветвящаяся временная логика, реляционная семантика Кринке, метод фильтрации, финитная аппроксимируемость
Аннотация: Рассматривается многоагентная логика деревьев вычислений, известная как CTLK (Computation Tree Logic with Knowledge). Каждый агент представляет свой собственный путь вычислений для исходной задачи, и каждое повое ветвление потенциальных путей порождает новых агентов. Логика CTLK является расширением CTL с дополнительными операторамПоказать полностьюи знания. Предлагается альтернативная реляционная семантика для CTLK, основанная на автоматах. Также описываются свойства фреймов CTLK и доказывается финитная аппроксимируемость
Журнал: ДИНАМИЧЕСКИЕ СИСТЕМЫ И КОМПЬЮТЕРНЫЕ НАУКИ: ТЕОРИЯ И ПРИЛОЖЕНИЯ (DYSC 2023)
Номера страниц: 147-148
Место издания: Иркутск