Genetic procedure for over-training control in logic mining