TY - UNPB

T1 - Разработка и реализация методов формально-логической специфика­ции самонастраивающихся мультиагентных систем с времен­ными ограничениями

AU - Бугайченко, Д.Ю.

PY - 2007

Y1 - 2007

N2 - В рамках диссертации получены следующие результаты. 1. Разработана математическая модель интеллектуального агента, описывающая такие аспекты деятельности агента, как взаимодействие с внешней средой, неполнота информации, способность к анализу и накоплению опыта, ограничения на время реакции, управляемое целями поведение и планирование действий. 2. Разработана математическая модель мультиагентной системы, включающая такие аспекты деятельности сообщества интеллектуальных агентов, как коммуникация, координация и кооперация агентов. 3. Разработан логический формализм для спецификации свойств интеллектуального агента, позволяющий описывать свойства математической модели интеллектуального агента. 4. Разработан логический формализм для спецификации мультиагентной системы с временными ограничениями MASL, включающий логику спецификации интеллектуального агента и расширяющий её средствами описания свойств определенных групп агентов (коалиций). 5. Разработаны и реализованы алгоритмы верификации ("проверки модели", mode

AB - В рамках диссертации получены следующие результаты. 1. Разработана математическая модель интеллектуального агента, описывающая такие аспекты деятельности агента, как взаимодействие с внешней средой, неполнота информации, способность к анализу и накоплению опыта, ограничения на время реакции, управляемое целями поведение и планирование действий. 2. Разработана математическая модель мультиагентной системы, включающая такие аспекты деятельности сообщества интеллектуальных агентов, как коммуникация, координация и кооперация агентов. 3. Разработан логический формализм для спецификации свойств интеллектуального агента, позволяющий описывать свойства математической модели интеллектуального агента. 4. Разработан логический формализм для спецификации мультиагентной системы с временными ограничениями MASL, включающий логику спецификации интеллектуального агента и расширяющий её средствами описания свойств определенных групп агентов (коалиций). 5. Разработаны и реализованы алгоритмы верификации ("проверки модели", mode

KW - мультагентные системы

KW - формально-логическая спецификация и верификация

KW - символическое планирование

KW - накопление знаний.

M3 - рабочие материалы

BT - Разработка и реализация методов формально-логической специфика­ции самонастраивающихся мультиагентных систем с времен­ными ограничениями

ER -