Формирование стратегии решения задач когнитивным агентом в режиме жёсткого реального времени.

Проект направлен на создание системы моделирования процесса метарассуждений интеллектуального (когнитивного) агента при решении задачи в режиме «жёсткого» реального времени. При работе в этом режиме характерно существование критического временного порога, установленного для решения стоящей перед агентом задачи. Превышение порога чревато тяжёлыми, подчас катастрофическими последствиями и для агента является неприемлемым. Формальной основой системы моделирования является логическая система, объединяющая концепции т.н. активной логики и логического программирования.Актуальность проекта обусловлена тем, что в настоящее время в рамках фундаментальной проблемы обеспечения устойчивости к аномалиям интеллектуальных систем жёсткого реального времени недостаточно проработаны методы формирования стратегий решения задач в ответ на возникновение непредвиденных ситуаций.Проект является развитием исследований по данной проблематике, начатых в проектах РФФИ 12-07-00083 и 14-07-00913. В проекте будут использованы методы искусственного интеллекта, системного анализа, абстрактной алгебры, математической логики, прикладной семиотики, активных логик , логического программирования, теории вычислительной сложности.Среди полученных при выполнении предлагаемого проекта научных результатов следует выделить:- метод раннего выявлению аномального развития процесса рассуждений при решении задачи в режиме жёсткого реального времени;- метод построения модульной структуры логической системы, имеющей в своей основе объединение концепций активной логики и логического программирования (далее, шаговых теорий активной логики);- паранепротиворечивая аргументационная семантика шаговых теорий активной логики, имеющих модульную структуру;- метод упорядочивания подзадач при решении задачи средствами шаговых теорий активной логики, имеющих модульную структуру;- метод решения задач средствами шаговых теорий активной логики с последовательным уточнением полученного результата;- метод формирования стратегии решения задач в режиме жёсткого реального времени средствами шаговых теорий активной логики, имеющих модульную структуру.