Breeding Algebraic Structures - An Evolutionary Approach To 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. In this paper we explore inductive logic programming with equational logic as the representation language and genetic programming as the underlying search paradigm. Equational logic is the logic of substituting equals for equals with algebras as models and term rewriting as operational semantics.
منابع مشابه
An Inductive Programming Approach to Algebraic Specification
Inductive machine learning suggests an alternative approach to the algebraic specification of software systems: rather than using test cases to validate an existing specification we use the test cases to induce a specification. In the algebraic setting test cases are ground equations that represent specific aspects of the desired system behavior or, in the case of negative test cases, represent...
متن کاملP ROCEEDINGS OF THE W ORKSHOP ON A PPROACHES AND A PPLICATIONS OF I NDUCTIVE P ROGRAMMING AAIP ’ 07 September 17 , 2007 Warsaw , Poland
Inductive machine learning suggests an alternative approach to the algebraic specification of software systems: rather than using test cases to validate an existing specification we use the test cases to induce a specification. In the algebraic setting test cases are ground equations that represent specific aspects of the desired system behavior or, in the case of negative test cases, represent...
متن کامل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 th...
متن کاملEvolutionary Concept Learning in Equational Logic by Chi Shen a Thesis Submitted in Partial Fulfillment of the Requirements of Master of Science in Computer Science University of Rhode Island
Concept learning is a branch of machine learning concerned with learning how to discriminate and categorize things based on positive and negative examples. More specifically, the learning algorithm induces a description of the concept (in some representation language) from a set of positive and negative facts. Inductive logic programming can be considered a subcategory of concept learning where...
متن کاملDeductive and Inductive Synthesis of Equational Programs |Draft|
An equational approach to the synthesis of functional and logic program is taken. Typically, the synthesis task involves nding equations which make the given speci cation an inductive theorem. To synthesize such programs, induction is necessary. We formulate e cient procedures for inductive proof as well as program synthesis using the framework of ordered rewriting. We also propose heuristics f...
متن کامل