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

Разработаны методы грануляции времени для моделирования рассуждений когнитивных агентов, аргументационная семантика языка логической системы для формализация метарассуждений когнитивного агента с множественной грануляцией времени. Впервые в мировой практике для логических систем рассуждений рассматриваемого типа доказано, что предложенная аргументационная семантика языка логической системы для формализации метарассуждений когнитивного агента является паранепротиворечивой. Приведены методы корректировки стратегии рассуждений когнитивного агента с грануляцией времени. Разработана архитектура когнитивного агента, способного посредством метараcсуждений выявлять опасные ситуации в процессе решения задач в условиях жёстких ресурсных ограничений и корректировать стратегию познавательного процесса. Создана темпоральная иерархическая гранулярная структура для метарассуждений агентов в жёстком реальном времени. Разработаны и изучены конкретные примеры моделирования метарассуждений агентов в жёстком реальном времени при решении конкретных задач для различных типов грануляции времени. Подход, лежащий в основе разработанного в данном проекте формального аппарата, впервые в мировой практике объединяет в себе следующие ниже принципы: отказ от логического всеведения; отсчет времени и соотнесение моментов времени с текущими результатами рассуждения когнитивного агента при решении стоящей перед ним задачи; грануляция времени, являющегося внешней сущностью по отношению к многоагентной системе; негативная и позитивная интроспекция; фокусировка внимания агентов на ограниченном множестве релевантных формул, а не на всём текущем множестве формул, находящихся в рабочей памяти.