On the use of stochastic local search techniques to revise first-order logic theories from examples

• Tipo: Artigo em Revista Científica Internacional
• Data: 2017

Autores

Paes, A (Autor) Outra; Zaverucha, G (Autor) Outra; Costa, VS (Autor) FCUP

Revista

Título: Machine Learning

Vol. 106

Páginas: 197-241

ISSN: 0885-6125

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 8 Citações

Outras Informações

ID Authenticus: P-00M-CZP

DOI: 10.1007/s10994-016-5595-3

Abstract (EN): Theory Revision from Examples is the process of repairing incorrect theories and/or improving incomplete theories from a set of examples. This process usually results in more accurate and comprehensible theories than purely inductive learning. However, so far, progress on the use of theory revision techniques has been limited by the large search space they yield. In this article, we argue that it is possible to reduce the search space of a theory revision system by introducing stochastic local search. More precisely, we introduce a number of stochastic local search components at the key steps of the revision process, and implement them on a state-of-the-art revision system that makes use of the most specific clause to constrain the search space. We show that with the use of these SLS techniques it is possible for the revision system to be executed in a feasible time, while still improving the initial theory and in a number of cases even reaching better accuracies than the deterministic revision process. Moreover, in some cases the revision process can be faster and still achieve better accuracies than an ILP system learning from an empty initial hypothesis or assuming an initial theory to be correct.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 45