Тип публикации: статья из журнала
Год издания: 2024
Идентификатор DOI: 10.26516/1997-7670.2024.47.78
Ключевые слова: multi-agent logic, branching temporal logic, Kripke relational semantics, filtration method, finite approximability, многоагентная логика, ветвящаяся временная логика, реляционная семантика Крипке, метод фильтрации, финитная аппроксимируемость
Аннотация: Рассматривается многоагентная логика деревьев вычислений - <i>CTLK</i> (Computation Tree Logic with Knowledge). Каждый агент представляет свой собственный вычислительный маршрут исходной задачи, а каждое новое ветвление возможных вычислительных маршрутов порождает новых агентов. Логика <i>CTLK</i> представляет собой естественное обогащение языка <i>CTL</i> дополнительными операторами знания. Предложена реляционная - альтернативная автоматной - семантика логики, описаны свойства <i>CTLK</i>Rel-фреймов, доказана финитная аппроксимируемость. This paper deals with multi-agent computation tree logic - <i>CTLK</i> (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new agents. The logic <i>CTLK</i> is a natural enrichment of <i>CTL</i> by new knowledge operators. We introduce alternative to automata Kripke’s relational semantics, describes properties of <i>CTLK</i>Rel-frame and proves finite approximability.
Журнал: Известия Иркутского государственного университета. Серия: Математика
Выпуск журнала: Т.47
Номера страниц: 78-92
ISSN журнала: 19977670
Место издания: Иркутск
Издатель: Иркутский государственный университет