Моделирование рассуждений интеллектуального агента многоагентной системы при ограниченных временных ресурсах

Разработаны синтаксис и семантика для мультимодальной темпоральной эпистемической логики, позволяющей формализовать рассуждения и метарассуждения нескольких интеллектуальных агентов о собственных знаниях и знаниях других агентов применительно к стоящим перед этими агентами задачам с учетом имеющегося у каждого из агентов ограниченного ресурса времени. Существенное внимание уделено исследованию свойств предлагаемых логик знаний, разработке метакогнитивного подхода к повышению устойчивости интеллектуального агента, а также алгоритмов метарассуждений применительно к конкретным типам задач, решаемых многоагентными системами в условиях жесткого реального времени.