Abstract: В докладе будут обсуждены современные логические проблемы в вычислительной математики и создании систем искусственного интеллекта на основе машинного обучения и проблемы, в основе которых лежат современные проблемы математической логики и теории вычислимости такие как вычислимые представления моделей для построения обоснованных решений и алгоритмов. Будут обсуждены проблемы P=NP, полиномиальности вычислений и связанные с ними проблема гарантированной точности по Годунову и проблема гарантированного времени для выполнения программ и комплексов программ.

Cite: Гончаров С.С.
Логическая методология и методы доверенного искусственного интеллекта
Международная конференция «Марчуковские научные чтения 2025», посвященные 100-летию со дня рождения Г.И. Марчука 30 Jun - 4 Jul 2025