Skip to main content

Projects on logic-based machine learning (inductive logic programming)

Supervisor

Suitable for

MSc in Advanced Computer Science
Computer Science and Philosophy, Part C
Mathematics and Computer Science, Part C
Computer Science, Part C
Computer Science, Part B

Abstract

Description: Inductive logic programming (ILP) [1,2] is a form of machine learning based on mathematical logic. Given examples and background knowledge (BK), the goal of ILP is to induce a logic program (a set of logical rules) that with the BK generalises the examples. For instance, given examples of unsorted/sorted lists, the goal of ILP is to induce a sorting algorithm. I am happy to supervise projects on ILP. These projects will particularly suit students interested in constraint satisfaction, symbolic machine learning, and knowledge representation.

Prerequisites: ideally you will have taken the courses Logic and Proof, Intelligent Systems, and Knowledge Representation & Reasoning