Inductive Logic Programming

• Inductive = Scientific Induction, not Mathematical

  • derivation of new theories/hypotheses/explanations
  • ILP is therefore part of Machine Learning

• ILP provides new hypotheses to explain facts

  • unusual in being based on logic programming
    • compare e.g. neural net based approaches

• ILP used in e.g. scientific knowledge discovery

  • drug design, protein structure prediction

Previous slide

Next slide

Back to first slide

View graphic version