Induction of logical relations based on specific generalization of strings

摘要

Learning logical relations from examples expressed as first order facts has been studied extensively by the inductive logic programming research. Learning with positive-only data may cause over generalization of examples leading to inconsistent resulting