May 17th - José Santos


José Santos (MLDC)

Inductive Logic Programming applied to Bioinformatics

Abstract:

Inductive Logic Programming (ILP) is a Machine Learning approach with foundations in Logic Programming. The problem specification and the models discovered by ILP systems are both represented as Prolog programs allowing for great expressiveness and flexibility. However, this flexibility comes at a high computational cost and ILP systems are known for their difficulty in scaling-up. Constructing and evaluating complex concepts are two of the main problems that prevent ILP systems from tackling many of the most interesting learning problems. Large concepts cannot be constructed or evaluated simply by parallelizing existing top-down search algorithms or improving the underlying Prolog engine. Novel search strategies and cover algorithms are needed. The main focus of this talk is on how to efficiently construct and evaluate such complex hypotheses in an ILP setting. Namely, we will present an efficient theta-subsumption algorithm that improves over Prolog's SLD-resolution by several orders of magnitude. We will also show how a new bottom-up search strategy coupled with this efficient subsumption algorithm led to the discovery of a better model for a protein-binding application problem.

--

Bio: José Santos has a Ph.D. degree in Computer Science (2010) from Imperial College London. In the Ph.D., he worked on the theory and implementation of Inductive Logic Programming (ILP) systems. ILP is a first-order logic form of Machine Learning. José is now a post-doctoral fellow at the Microsoft Language Development Center where he is working on improving Bing’s query rewriting mechanisms so that the Bing backend may return more relevant documents. José also holds a Licenciatura in Informatics Engineering (2004 FCT-UNL), an MSc in Artificial Intelligence (2006 FCT-UNL) and an MSc in BioInformatics (2007 Imperial College). After graduating in 2004 José worked one year at Novabase Business Intelligence.

 



Instituto Superior Técnico