Generating Numerical Literals During Refinement

Simon Anthony, Alan M. Frisch, N. Lavrac, S. Dzeroski

Research output: Contribution to conferencePaper


Despite the rapid emergence and success of Inductive Logic Programming, problems still surround number handling---problems directly inherited from the choice of logic programs as the representation language. Our conjecture is that a generalisation of the representation language to Constraint Logic Programs provides an effective solution to this problem. We support this claim with the presentation of an algorithm called NUM, to which a top-down refinement operator can delegate the task of finding numerical literals. NUM can handle equations, in-equations and dis-equations in a uniform way, and, furthermore, provides more generality than competing approaches since numerical literals are not required to cover all the positive examples available.
Original languageEnglish
Number of pages16
Publication statusPublished - 1997

Cite this