least generalization, inductive learning, symbolic machine learning, version space, training set, Bayes Rule, incremental learning, supervised learning, DLG, disjunctive class descriptor using least generalization