У статті наведено ключові ідеї нового наукового напряму, що сформувався внаслідок об’єднання досліджень проблем розпізнавання образів і проблем несуперечності обмежень. Ці наукові напрями традиційно відносяться до проблематики штучного інтелекту, але формалізують відмінні один від одного аспекти інтелектуальної активності. Створення спільної формальної схеми, що об’єднує обидва напрями, розширює і конкретизує поняття машинного мислення, на формалізацію якого ці напрями спрямовані, і викликає необхідність розроблення нових і вдосконалення відомих математичних методів оптимізації.