4.2.1.3: Induktiv erzeugter Kategorisierungsalgorithmus:

Sei U eine Menge von Tupeln über den Attributen A_i:D->R_i  , i=0,...,n . Die Menge der Attribute sei in zwei Teilmengen

A_i:D->R_i  , iZ{0,...,n}

die vorherzusagenden Attribute ( predicted attributes) und

A_i:D->R_i  , i{0,...,n}\Z

die vorhersagenden Attribute ( predicting attributes) unterteilt, wobei die vorherzusagenden Attribute alle endliche Wertebereiche haben. Ein Algorithmus, der aus den Elementen des Trainingssets U Regeln oder Regelwerke - wie Entscheidungsbäume - erzeugt, mit denen für jedes tU aus den Werten der vorhersagenden Attribute A_i, i{0,...,n}\Z Werte für die vorherzusagenden Attribute A_i, iZ bestimmt werden können, heißt induktiv erzeugter Kategorisierungsalgorithmus.