ИСТИНА

Предложена общая схема синтеза логических корректоров, голосующих по корректным предикатам. Показано, что схема логического корректора общего вида может быть использована для описания классических логических алгоритмов распознавания и ранее построенных логических корректоров. Построен практический логический корректор POLAR с поляризуемой корректирующей функцией. Разработана методика повышения качества распознавания и скорости обучения логических корректоров, основанная на построении локальных базисов классов и итеративном формировании семейств голосующих предикатов по принципу бустинга. Построены новые асимптотически оптимальные алгоритмы дуализации АО1M, АО1К, АО2М, АО2К, RUNC, RUNC-M, PUNC, в которых снижение времени счѐта достигается за счѐт уменьшения общего числа вершин дерева решений. Показано, что построенные алгоритмы достаточно быстро обрабатывают булевы матрицы большого размера.