Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 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

Место издания: Иркутск

Издатель: Иркутский государственный университет

• Башмаков Степан Игоревич (Сибирский федеральный университет)
• Смелых Кирилл Александрович (Сибирский федеральный университет)

• Ядро РИНЦ (eLIBRARY.RU)