Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
При низкой оригинальности работы "О верификации динамических свойств систем взаимодействующих агентов", Вы можете повысить уникальность этой работы до 80-100%
Состояния отдельных агентов в таких системах могут быть достаточно сложными, и эти состояния изменяются агентами по достаточно сложным правилам в зависимости от сообщений, получаемых ими от других агентов и внешней среды. Агенты общаются между собой посредством передачи сообщений вида msg(Sender, Receiver, Msg), где Sender и Receiver - имена агентов (источника и адресата), a Msg - (передаваемый) базисный атом. A посылает сообщения другим агентам системы, передавая их агенту P, и получает сообщения от агента P в свой почтовый ящик. При этом можно рассматривать два способа работы: 1) синхронный, когда предполагается, что P передает сообщение адресату сразу (в этом случае агент P фактически можно исключить из системы), и 2) асинхронный, когда передача сообщения от P к агентам может занять произвольное количество времени. При указанных условиях любая деонтическая (как и обычная) программа определяет однозначно множество Facts, состоящее из фактов о действиях, которые выводятся по ее правилам из фактов локального состояния агента.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
