In this paper, we suggest a logic-algebraic approach to the extraction of logic rules from databases with the help of building decision trees. The main stages of rule generation have been analyzed. The suggested approach allows working with relational databases and knowledge bases in the form of logic equations. The existence quantifier operation has been considered as the main operation for non-target variable elimination.
Decision trees, CART-algorithm, ID3-algorithm, information entropy, Gain index