Extending EBG to term-rewriting systems

  • Authors:
  • Philip Laird;Evan Gamble

  • Affiliations:
  • AI Research Branch, NASA Ames Research Center, Moffett Field, CA;Sterling Federal Systems, Inc., NASA Ames Research Center, Moffett Field, CA

  • Venue:
  • AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that the familiar explanation-based generalization (EBG) procedure is applicable to a large family of programming languages, including three families of importance to AI: logic programming (such as Prolog); lambda calculus (such as LISP); and combinator languages (such as FP). The main application of this result is to extend the algorithm to domains for which predicate calculus is a poor representation. In addition, many issues in analytical learning become clearer and easier to reason about.