Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Learning Logical Definitions from Relations
Machine Learning
A Bounded Search Space of Clausal Theories
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Refinement Operators Can Be (Weakly) Perfect
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Refining Complete Hypotheses in ILP
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics
Fundamenta Informaticae - Advances in Mining Graphs, Trees and Sequences
Hi-index | 0.00 |
Most implemented ILP systems construct hypotheses clause by clause using a refinement operator for clauses. To avoid the problems faced by such greedy covering algorithms, more flexible refinement operators for theories are needed. In this paper we construct a syntactically monotonic, finite and solution-complete refinement operator for theories, which eliminates certain annoying redundancies (due to clause deletions), while also addressing the limitations faced by HYPER's refinement operator (which are mainly due to keeping the number of clauses constant during refinement). We also show how to eliminate the redundancies due to the commutativity of refinement operations while preserving weak completeness as well as a limited form of flexibility. The refinement operator presented in this paper represents a first step towards constructing more efficient and flexible ILP systems with precise theoretical guarantees.