Evolutionary search in inductive equational logic programming

Concept learning is the induction of a description from a set of examples. Inductive logic programming can be considered a special case of the general notion of concept learning specifically referring to the induction of first-order theories. Both concept learning and inductive logic programming can be seen as a search over all possible sentences in some representation language for sentences that correctly explain the examples and also generalize to other sentences that are part of that concept. We explore inductive logic programming with equational logic as the representation language. We present a high-level overview of the implementation of inductive equational logic using genetic programming and discuss encouraging results based on experiments that are intended to emulate real world scenarios.

[1]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

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

[3]  Lutz Hamel,et al.  Breeding Algebraic Structures - An Evolutionary Approach To Inductive Equational Logic Programming , 2002, GECCO.

[4]  Michael J. O'Donnell,et al.  Equational Logic as a Programming Language. , 1987 .

[5]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[6]  Editors , 1986, Brain Research Bulletin.

[7]  Michael Thielscher,et al.  Equational Logic Programming Actions, and Change , 1992, JICSLP.

[8]  Jan Willem Klop,et al.  Extended Term Rewriting Systems , 1990, CTRS.

[9]  David J. Montana,et al.  Strongly Typed Genetic Programming , 1995, Evolutionary Computation.

[10]  José Meseguer,et al.  Initiality, induction, and computability , 1986 .

[11]  Peter A. Flach,et al.  Strongly Typed Inductive Concept Learning , 1998, ILP.

[12]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[13]  Wolfgang Wechler,et al.  Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.

[14]  Stephen Muggleton,et al.  Scientific knowledge discovery using inductive logic programming , 1999, Commun. ACM.

[15]  Riccardo Poli,et al.  Foundations of Genetic Programming , 1999, Springer Berlin Heidelberg.

[16]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[17]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[19]  Lutz Hamel.  UCG-E: An Equational Logic Programming System , 1992, PLILP.

[20]  José Hernández-Orallo,et al.  A Strong Complete Schmema for Inductive Functional Logic Programming , 1999, ILP.

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

[22]  Joseph A. Goguen,et al.  Software Engineering with OBJ , 2000, Advances in Formal Methods.

[23]  Peter A. Flach.  The logic of learning: a brief introduction to Inductive Logic Programming , 1998 .