Logo Università degli Studi di Milano


April 8, 2021: Mark Law: Logic-based Learning of Answer Set Programs

Seminars of Logic Logo

Logic Lunch Seminar Series on line by the Logic Group del Dipartimento di Filosofia "Piero Martinetti"

Mark Law (Imperial College London)

Logic-based Learning of Answer Set Programs

April 8, 2021, h. 12:30-14:30.

Link Zoom: https://zoom.us/j/94924616634?pwd=WENwWHRDUkxTWXJMUm1JdWlvcVJhQT09


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.

Everyone interested is welcome to attend.

Participation is strongly recommended to students of the Doctoral School in Philosophy and Human Sciences and of the Doctoral School in Brain, Mind, and Reasoning.

The Logic Group, Department of Philosophy, University of Milan

08 April 2021
Back to top