Формализация рассуждений когнитивного агента в жестком реальном времени

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