A Genetic Algorithms Approach to ILP

In a previous paper we introduced a framework for combining Genetic Algorithms with ILP which included a novel representation for clauses and relevant operators. In this paper we complete the proposed framework by introducing a fast evaluation mechanism. In this evaluation mechanism individuals can be evaluated at genotype level (i.e. bit-strings) without mapping them into corresponding clauses. This is intended to replace the complex task of evaluating clauses (which usually needs repeated theorem proving) with simple bitwise operations. In this paper we also provide an experimental evaluation of the proposed framework. The results suggest that this framework could lead to significantly increased efficiency in problems involving complex target theories.

[1]  Christophe Giraud-Carrier,et al.  An Evolutionary Approach to Concept Learning with Structured Data , 1999, ICANNGA.

[2]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

[3]  Ivan Bratko,et al.  Learning Qualitative Models of Dynamic Systems , 1994, ML.

[4]  Shan-Hwei Nienhuys-Cheng,et al.  Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

[5]  Ryszard S. Michalski,et al.  Pattern Recognition as Rule-Guided Inductive Inference , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[6]  Joachim Stender,et al.  Parallel Genetic Algorithms: Theory and Applications , 1993 .

[7]  Philip G. K. Reiser,et al.  Evolving Logic Programs to Classify Chess-Endgame Positions , 1998, SEAL.

[8]  C. Feng,et al.  Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board , 2003, J. Artif. Intell. Res..

[9]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[10]  Stephen Muggleton,et al.  Protein secondary structure prediction using logic-based machine learning , 1992 .

[11]  Attilio Giordana,et al.  Learning Structured Concepts Using Genetic Algorithms , 1992, ML.

[12]  Stephen Muggleton,et al.  Searching the Subsumption Lattice by a Genetic Algorithm , 2000, ILP.

[13]  John R. Koza,et al.  Genetic programming (videotape): the movie , 1992 .

[14]  Stephen F. Smith,et al.  Flexible Learning of Problem Solving Heuristics Through Adaptive Search , 1983, IJCAI.

[15]  Kenneth A. De Jong,et al.  Using genetic algorithms for concept learning , 1993, Machine Learning.

[16]  Jukka Hekanaho.  DOGMA: A GA-Based Relational Learner , 1998, ILP.

[17]  Cezary Z. Janikow,et al.  A knowledge-intensive genetic algorithm for supervised learning , 1993, Machine Learning.

[18]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[19]  Cosimo Anglano,et al.  An Experimental Evaluation of Coevolutive Concept Learning , 1998, ICML.

[20]  Man Leung Wong,et al.  Evolutionary Program Induction Directed by Logic Grammars , 1997, Evolutionary Computation.

[21]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[22]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[23]  Kwong-Sak Leung,et al.  Inducing Logic Programs With Genetic Algorithms: The Genetic Logic Programming System , 1995, IEEE Expert.

[24]  D. E. Goldberg,et al.  Genetic Algorithms in Search , 1989 .

[25]  Filippo Neri,et al.  Search-Intensive Concept Induction , 1995, Evolutionary Computation.