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