![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Andrew Cropper, University of Oxford
Tuesday 13 March 2018, 14:00-15:00
Meta-interpretive learning logic programs
- đ¤ Speaker: Andrew Cropper, University of Oxford
- đ Date & Time: Tuesday 13 March 2018, 14:00 - 15:00
- đ Venue: FW26
Abstract
Meta-interpretive learning (MIL) is a form of machine learning which induces logic programs from examples. MIL is based on a Prolog meta-interpreter but additionally resolves goals with higher-order Horn clauses, and saves the higher-order substitutions to form logic programs. A basic MIL learner is only around 40 lines of Prolog and is able to learn a wide range of recursive programs, such as sorting algorithms and robot strategies. I will give an overview of MIL , including recent work on learning higher-order programs and learning minimal time-complexity programs.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
This talk is not included in any other list.
Note: Ex-directory lists are not shown.