Generalization of Clauses under Implication

P. Idestam-Almquist

In the area of inductive learning, generalization is a main operation, and the usual definition of induction is based on logical implication. Recently there has been a rising inter…