Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Compiling prior knowledge into an explicit basis
ML92 Proceedings of the ninth international workshop on Machine learning
PROLOG Programming for Artificial Intelligence
PROLOG Programming for Artificial Intelligence
Algorithmic Program DeBugging
Learning Logical Definitions from Relations
Machine Learning
Machine Learning
Specialization of Recursive Predicates
ECML '95 Proceedings of the 8th European Conference on Machine Learning
Separate-and-Conquer Rule Learning
Artificial Intelligence Review
Inducing classification and regression trees in first order logic
Relational Data Mining
Rule Induction for Classification of Gene Expression Array Data
PKDD '02 Proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery
Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
An approach to mining the multi-relational imbalanced database
Expert Systems with Applications: An International Journal
Evaluation Measures for Multi-class Subgroup Discovery
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I
Top-down induction of first-order logical decision trees
Artificial Intelligence
Towards the induction of terminological decision trees
Proceedings of the 2010 ACM Symposium on Applied Computing
Induction of concepts in web ontologies through terminological decision trees
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Learning rules of a card game from video
Artificial Intelligence Review
Hi-index | 0.00 |
Covering and divide-and-conquer are two well-established search techniques for top-down induction of propositional theories. However, for top-down induction of logic programs, only covering has been formalized and used extensively. In this work, the divide-and-conquer technique is formalized as well and compared to the covering technique in a logic programming framework Covering works by repeatedly specializing an overly general hypothesis, on each iteration focusing on finding a clause with a high coverage of positive examples. Divide-and-conquer works by specializing an overly general hypothesis once, focusing on discriminating positive from negative examples. Experimental results are presented demonstrating that there are cases when more accurate hypotheses can be found by divide-and-conquer than by covering. Moreover, since covering considers the same alternatives repeatedly it tends to be less efficient than divide-and-conquer, which never considers the same alternative twice. On the other hand, covering searches a larger hypothesis space, which may result in that more compact hypotheses are found by this technique than by divide-and-conquer. Furthermore, divide-and-conquer is, in contrast to covering, not applicable to learning recursive definitions.