Induction as a search procedure

• Author(s): Stasinos Konstantopoulos ; Rui Camacho ; Nuno A. Foseca ; Vítor Santos Costa
• Date: 2008
• Persistent ID: http://hdl.handle.net/10216/67123
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Ciências Tecnológicas; Tecnologia; Tecnologia de computadores
• Document Type: Part of book or chapter of book
• Language: English

Description

This chapter introduces Inductive Logic Programming (ILP) from the perspective of search algorithms in Computer Science. It first briefly considers the Version Spaces approach to induction, and then focuses on Inductive Logic Programming: from its formal definition and main techniques and strategies, to priors used to restrict the search space and optimized sequential, parallel, and stochastic algorithms. The authors hope that this presentation of the theory and applications of Inductive Logic Programming will help the reader understand the theoretical underpinnings of ILP, and also provide a helpful overview of the State-of-the-Art in the domain.