Inductive logic programming by instance patterns

• Published in: Lecture notes in computer science pp. 230 - 244
• Main Authors: Liu, Chongbing, Pontelli, Enrico
• Format: Conference Proceeding Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag 2007; Springer Berlin / Heidelberg; Springer Berlin Heidelberg; Springer
• Series: ACM Other Conferences
• Subjects: Applied sciences; Computer science; control theory; systems; Computing methodologies; Computing methodologies > Artificial intelligence; Computing methodologies > Artificial intelligence > Knowledge representation and reasoning; Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Logic programming and answer set programming; Computing methodologies > Machine learning; Concept Instance; Exact sciences and technology; Inductive Logic Programming; Patterns; Programming languages; Software; Theory of computation; Theory of computation > Logic; Theory of computation > Logic > Constraint and logic programming; concept instance; patterns; inductive logic programming; Concept learning; Declarative language; Programming language; Theorem proving; Bottom up method; Top down method; Test coverage; Proof theory; Inductive logic programming

Effectiveness and efficiency are two most important properties of ILP approaches. For both top-down and bottom-up search-based approaches, greater efficiency is usually gained at the expense of effectiveness. In this paper, we propose a bottom-up approach, called ILP by instance patterns, for the pr...