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

详细信息    查看全文

• 作者：Aline Paes ; Gerson Zaverucha ; Vítor Santos Costa
• 关键词：Inductive logic programming ; Theory revision from examples ; Stochastic local search
• 刊名：Machine Learning
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：106
• 期：2
• 页码：197-241
• 全文大小：
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence (incl. Robotics); Control, Robotics, Mechatronics; Computing Methodologies; Simulation and Modeling; Language Translation and Linguistics;
• 出版者：Springer US
• ISSN：1573-0565
• 卷排序：106

文摘

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.