Процедура направленного поиска корректных операций над алгоритмами

В данной работе рассматривается логический подход к теоретическому обоснованию построения корректных алгоритмов, расширяющих область получаемых решений на базе существующих алгоритмов. Предложенный метод позволяет на основе заданного множества алгоритмов распознавания выявить дополнительные знания заданной предметной области и построить минимальное правило, обеспечивающее дообучение данных алгоритмов.