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

Проект посвящён разработке фундаментальных проблем формализации и моделирования рассуждений когнитивного агента, в том числе при существенных временных ограничениях, с целью применения полученных результатов в перспективных интеллектуальных системах, в частности, интеллектуальных системах поддержки принятия решений реального времени (ИСППР РВ).Логические системы, основанные на концепции активной логики, формализуют немонотонные рассуждения мета-уровня, специализированные для решения задач в режиме жёсткого реального времени. Для этого режима характерно, что превышение отведённого на решение задачи лимита времени влечёт за собой катастрофические последствия и потому неприемлемо. В тоже время теория немонотонного вывода получила практическое воплощение благодаря существованию процедур, основанных на концепции логического программирования, поэтому создание логической системы для формализации мета-рассуждений, объединяющей эти две концепции, имеет большое теоретическое и практическое значение.В целом, предлагаемые подходы и методы создают концептуальные и алгоритмические основы для построения перспективных интеллектуальных систем реального времени нового поколения.