We are happy to announce that on April 8th, Mark Law (Imperial College London) will give the fourth talk of our Logic Lunch seminar series, starting at 12:30. Join us on Zoom at this link! And don’t forget to follow us on Twitter and Instagram to keep up to date with our news and events. Please find more information below:

Title: Logic-based Learning of Answer Set Programs

Abstract: In recent years, non-monotonic Inductive Logic Programming (ILP) has received growing interest. Specifically, several new learning frameworks and algorithms have been introduced for learning under the answer set semantics, allowing the learning of common-sense knowledge involving defaults and exceptions, which are essential aspects of human reasoning.

The first part of this seminar will present recent advances which have extended the theory of ILP and yielded a new collection of algorithms, called ILASP (Inductive Learning of Answer Set Programs), which are able to learn ASP programs consisting of normal rules, choice rules and both hard and weak constraints. Learning such programs allows ILASP to be applied in settings which had previously been outside the scope of ILP. In particular, weak constraints represent preference orderings, and so learning weak constraints allows ILASP to be used for preference learning.

The second part of the talk will present more recent work on a less general but much more scalable approach to learning ASP, called FastLAS. FastLAS is able to solve tasks with hypothesis spaces that are many orders of magnitude larger than those tolerated by ILASP, meaning that it can be applied to a greater range of real-world problems.

Zoom Link: https://zoom.us/j/97588230311?pwd=UGFiekJ0V1lGbUhnNTk5dWJhOVZOUT09