Logic Separation Pattern Recognition model was introduced in 1975, in parallel to the Testor’s model, KORA and Voting algorithms of classification. Toady LS is essential part of Machine Learning theory that involves PAC learning, Neural Nets, Boosting, SVM, as well as logic-algebraic models invented in Russian scientific school.

Logic Separation uses Reduced Disjunctive Normal Form type constructions /Boolean functions/ to better use of the knowledge of a learning set. In its current state Logic Separation provides a hierarchy of models in Pattern Recognition to help determining best algorithm by the given raw data/learning set.