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

Перевод названия: SEMANTICS OF CTLK

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Системы управления, информационные технологии и математическое моделирование; Омск; Омск

Год издания: 2023

Ключевые слова: multi-agent logic, branching temporal logic, Kripke relational semantics, многоагентная логика, ветвящаяся временная логика, реляционная семантика Крипке

Аннотация: В данной статье рассматривается многоагентная логика деревьев вычислений - CTLK (Computation Tree Logic with Knowledge). Каждый агент представляет свой собственный вычислительный маршрут задачи, а новые ветвления возможных вычислительных маршрутов порождают новых агентов. Структура деревьев и операторы наследуются из CTL . Формульная характеризация свойств логики позволит установить фундаментальные принципы, на основе которых делаются логические выводы. В статье также представлена реляционная семантика Крипке, описаны свойства отношений CTLK -фрейма. This paper deals with multi-agent computation tree logic - CTLK (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the problem, and new branches of possible computational routes spawn new agents. The tree structure and operators are inherited from CTL . A formulaic characterization of the main logical properties will establish the fundamental principles on the basis of which logical inferences are made. The paper also introduces Kripke's relational semantics, describes properties of CTLK -frame relations.

Журнал: Системы управления, информационные технологии и математическое моделирование

Номера страниц: 31-36

Место издания: Омск

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

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

• РИНЦ (eLIBRARY.RU)