Логическая система для формализации мета-рассуждений когнитивного агента, решающего задачи в условиях жёстких временных ограничений, объединяющая концепции активной логики и логического программирования

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