Модель неполного поиска решений при нисходящем выводе

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