E-generalization using grammars

Jochen Burghardt
2005 Artificial Intelligence  
We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets. We present a framework to combine Inductive Logic Programming and E-generalization that includes an extension of Plotkin's lgg theorem to the equational case. We demonstrate the potential power of E-generalization by three example applications: computation of suggestions for auxiliary lemmas in equational inductive
more » ... proofs, computation of construction laws for given term sequences, and learning of screen editor command sequences.
doi:10.1016/j.artint.2005.01.008 fatcat:jookh6gakje45ljufuzytgczom