Logo Università degli Studi di Milano



 
 
Notizie  

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

Seminars of Logic Logo

Logic Lunch Seminar Series on line a cura del Logic Group del Dipartimento di Filosofia "Piero Martinetti"

Mark Law (Imperial College London)

Logic-based Learning of Answer Set Programs


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

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

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.


La conferenza si terrà in inglese.

La partecipazione alla conferenza è fortemente consigliata agli allievi della Scuola di Dottorato in Filosofia e Scienze dell’Uomo e della Scuola di Dottorato di Mente, Cervello e Ragionamento.

La partecipazione è aperta a tutti gli interessati. 

ORGANIZERS
The Logic Group, Department of Philosophy, University of Milan
www.filosofia.unimi.it/logic

08 aprile 2021
Torna ad inizio pagina